Publications
“Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs”. Theoria 22/3: 295–304.
. 2007. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“Ampliative Adaptive Logics And The Foundation Of Logic-Based Approaches To Abduction”. Logical and Computational Aspects of Model-Based Reasoning: 39–71.
. 2002. ![](/sites/default/themes/logica/images/biblio.png)
“Bloody Analogical Reasoning” . Logic, Reasoning, and Rationality: 217–232.
. 2014. ![](/sites/default/themes/logica/images/biblio.png)
“Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.
. 2004. ![](/sites/default/themes/logica/images/biblio.png)
“Direct Dynamic Proofs For Compatibility.” . Computer modeling of scientific reasoning: 179–187.
. 2003. ![](/sites/default/themes/logica/images/biblio.png)
“Is Er Een Diepe Kloof Tussen De Heuristiek En De Inferentieregels Van Een Bewijstheorie? Een Poging Tot Integratie.”. In Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Universiteit Amsterdam.
. 2002. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“A Formal Analysis Of Diagnosis And Diagnostic Reasoning”. Logique et Analyse 42: 161–180.
. 1999. ![](/sites/default/themes/logica/images/biblio.png)
“The Generation Of Abductive Explanations From Inconsistent Theories”. Logic Journal of the IGPL 20: 400–416.
. 2012. ![](/sites/default/themes/logica/images/biblio.png)
“How To Obtain Elegant Fitch-Style Proofs From Goal Directed Ones.”. In Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002,
. 2002. ![](/sites/default/themes/logica/images/biblio.png)
“Pushing The Search Paths In The Proofs. A Study In Proof Heuristics”. Logique et Analyse 44: 113–134.
. 2001. ![](/sites/default/themes/logica/images/biblio.png)
“Some Adaptive Logics For Diagnosis”. Logic and Logical Philosophy 11/12: 39–65.
. 2003. ![](/sites/default/themes/logica/images/biblio.png)
“Strategies: What's In A Name?” . The Many Sides of Logic 21: 287–306.
. 2009. ![](/sites/default/themes/logica/images/biblio.png)
“William Harvey En De Ontdekking Van De Bloedsomloop.” . Fascinerend Leven. Markante Figuren en Ideeën uit de Geschiedenis van de Biologie.
. 2010.