Publications
“Bloody Analogical Reasoning” . Logic, Reasoning, and Rationality: 217–232.
. 2014. ![](/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)
“Strategies: What's In A Name?” . The Many Sides of Logic 21: 287–306.
. 2009. ![](/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)
“The Generation Of Abductive Explanations From Inconsistent Theories”. Logic Journal of the IGPL 20: 400–416.
. 2012. ![](/sites/default/themes/logica/images/biblio.png)