Search results for: Johannes Heidema
Discussiones Mathematicae Graph Theory > 2016 > 36 > 2 > 479-500
Lecture Notes in Computer Science > AI 2003: Advances in Artificial Intelligence > Belief Revisioii and Theorem Proving > 364-376
Lecture Notes in Computer Science > PRICAI 2000 Topics in Artificial Intelligence > Beliefs and Intentions in Agents > 275-285
Lecture Notes in Computer Science > AI 2009: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 506-516
Lecture Notes in Computer Science > AI 2003: Advances in Artificial Intelligence > Reasoning and Logic > 402-413
Discussiones Mathematicae Graph Theory > 2013 > 33 > 3 > 477-492
Discussiones Mathematicae Graph Theory > 2013 > 33 > 1 > 33-47
Mathematica Slovaca > 2013 > 63 > 2 > 191-200
Graphs and Combinatorics > 2013 > 29 > 5 > 1193-1206
Logica Universalis > 2011 > 5 > 2 > 327-350
Journal of Philosophical Logic > 2009 > 38 > 4 > 433-446
Theoretical Computer Science > 2008 > 403 > 1 > 121-129
Food Quality and Preference > 2005 > 16 > 5 > 413-423
Journal of Philosophical Logic > 2002 > 31 > 5 > 415-443
Journal of Logic, Language and Information > 2000 > 9 > 3 > 353-377
Journal of Logic, Language and Information > 2000 > 9 > 2 > 237-259
Food Quality and Preference > 1998 > 9 > 3 > 111-114
Food Quality and Preference > 1998 > 9 > 3 > 115-118