Publications
“Preferences As Inconsistency-Resolvers: An Inconsistency-Adaptive Tool”. Logic and Logical Philosophy 8: 47–63.
. 2001. “Pushing The Search Paths In The Proofs. A Study In Proof Heuristics”. Logique et Analyse 44: 113–134.
. 2001. “Robots En Onderwijs.”. Mores 28: 249-263.
. 2001. “The Role Of Ambiguities In The Construction Of Collective Theories.”. Logique et Analyse 44: 189–214.
. 2001. “Secondary Qualities In Retrospect”. Philosophica 68: 41–59.
. 2001. “Shortcuts And Dynamic Marking In The Tableau Method For Adaptive Logics”. Studia Logica 69: 221–248.
. 2001. “Tableau Systems For Logics Of Formal Inconsistency” . Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.
. 2001. “A Taxonomy Of C-Systems” . Paraconsistency. The Logical Way to the Inconsistent: 1-94.
. 2001. . 2001.
“A Universally Abnormality-Adaptive Logic”. Logical Investigations 8: 256–265.
. 2001. “The Use Of Metaphors In Scientific Development: A Logical Approach”. Logique et analyse 44: 215–235.
. 2001. “An Adaptive Logic For Pragmatic Truth” . Paraconsistency. The Logical Way to the Inconsistent: 167–185.
. 2002. “Ampliative Adaptive Logics And The Foundation Of Logic-Based Approaches To Abduction”. Logical and Computational Aspects of Model-Based Reasoning: 39–71.
. 2002. “Direct Dynamic Proofs For The Rescher–Manor Consequence Relations: The Flat Case”. Journal of Applied Non-Classical Logics 12: 63–84.
. 2002. “Dispositional Explanations Of Behavior.”. Behavior and Philosophy 30: 43–59.
. 2002. “Een Adaptieve Logica Voor Het Beschrijven Van Inductie”. In Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Universiteit Amsterdam.
. 2002. . 2002.
“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. “Explanatory Proofs In Mathematics”. Logique et Analyse 45: 299–307.
. 2002. “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. “In Defence Of A Programme For Handling Inconsistencies” . Inconsistency in Science: 129–150.
. 2002. “Inconsistencies In Scientific Discovery. Clausius's Remarkable Derivation Of Carnot's Theorem” . History of Modern Physics. Acta of the XXth International Congress of History of Science: 143–154.
. 2002. “Inconsistencies In The History Of Mathematics: The Case Of Infinitesimals.” . Inconsistency in Science 2: 43–57. http://dx.doi.org/10.1007/978-94-017-0085-6_3.
. 2002. “An Inconsistency-Adaptive Proof Procedure For Logic Programming” . Paraconsistency. The Logical Way to the Inconsistent: 323-340.
. 2002.