De Mol, Liesbeth, and Maarten Bullynck. 2008. “A Week-End Off: The First Extensive Number-Theoretical Computation On The Eniac”. In Logic and Theory of Algorithms, Logic and Theory of Algorithms, Arnold Beckmann, Dimitracopoulos, Costas, and Löwe, Benedikt. Springer Verlag.

De Mol, Liesbeth, and Maarten Bullynck. 2008. “A Week-End Off: The First Extensive Number-Theoretical Computation On The Eniac”. In Logic and Theory of Algorithms, Logic and Theory of Algorithms, Arnold Beckmann, Dimitracopoulos, Costas, and Löwe, Benedikt. Springer Verlag.

Batens, Diderik. 2007. “Content Guidance In Formal Problem Solving Processes” Olga Pombo and Gerner, Alexander. Abduction and the Process of Scientific Discovery: 121–156.

Batens, Diderik. 2007. “A Universal Logic Approach To Adaptive Logics”. Logica Universalis 1: 221-242.

Batens, Diderik, Joke Meheus, and Dagmar Provijn. 2006. An Adaptive Characterization Of Signed Systems For Paraconsistent Reasoning.

Primiero, Giuseppe. 2006. “Belief Revision In Constructive Type Theory”. In Logica 2005 Yearbook, Logica 2005 Yearbook, M Bilkova and Tomala, O. Filosofia Publisher.

Batens, Diderik. 2006. “A Diagrammatic Proof Search Procedure As Part Of A Formal Approach To Problem Solving” Lorenzo Magnani. Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic: 265–284.

Meheus, Joke, and Diderik Batens. 2006. “A Formal Logic For Abductive Reasoning”. Logic Journal of the IGPL 14: 221–236.

Batens, Diderik. 2006. “On A Logic Of Induction”. Logic and Philosophy of Science IV: 3–32.

Heeffer, Albrecht. 2006. “The Methodological Relevance Of The History Of Mathematics For Mathematics Education”. In Proceedings of the International Conference on 21st Century Information Technology in Mathematics Education, Proceedings of the International Conference on 21st Century Information Technology in Mathematics Education, G Dhompongsa, Bhatti, F, and Kitson, Q.

Batens, Diderik. 2006. “Narrowing Down Suspicion In Inconsistent Premise Sets” Jacek Malinowski and Pietruszczak, Andrzej. Essays in Logic and Ontology. 91: 185–209.

Batens, Diderik. 2005. “A Procedural Criterion For Final Derivability In Inconsistency-Adaptive Logics”. Journal of Applied Logic 3: 221–250.

Batens, Diderik. 2005. “The Theory Of The Process Of Explanation Generalized To Include The Inconsistent Case”. Synthese 143: 63–88.

Batens, Diderik. 2004. “The Basic Inductive Schema, Inductive Truisms, And The Research-Guiding Capacities Of The Logic Of Inductive Generalization”. Logique et Analyse 47: 53–84.

Batens, Diderik. 2004. “The Need For Adaptive Logics In Epistemology” Shahid Rahman, Symons, John, Gabbay, Dov M, and Van Bendegem, Jean Paul. Logic, Epistemology, and the Unity of Science: 459–485.

Batens, Diderik, and Kristof De Clercq. 2004. “A Rich Paraconsistent Extension Of Full Positive Logic”. Logique et Analyse 47: 227–257.

Batens, Diderik. 2003. “Adaptieve Logica's. Een Precieze Benadering Van Vertrouwde Maar Door Logici Verwaarloosde Redeneervormen”. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 95: 174–189.

Batens, Diderik. 2003. “Criteria Causing Inconsistencies. General Gluts As Opposed To Negation Gluts”. Logic and Logical Philosophy 11/12: 5–37.

Batens, Diderik. 2003. “A Formal Approach To Problem Solving” Claudio Delrieux and Legris, Javier. Computer Modeling of Scientific Reasoning: 15–26.

Batens, Diderik. 2003. A Paraconsistent Proof Procedure Based On Classical Logic.

Batens, Diderik, Joke Meheus, Dagmar Provijn, and Liza Verhoeven. 2003. “Some Adaptive Logics For Diagnosis”. Logic and Logical Philosophy 11/12: 39–65.

Batens, Diderik. 2003. “A Strengthening Of The Rescher–Manor Consequence Relations”. Logique et Analyse 46: 289–313.

Batens, Diderik, and Timothy Vermeir. 2002. “Direct Dynamic Proofs For The Rescher–Manor Consequence Relations: The Flat Case”. Journal of Applied Non-Classical Logics 12: 63–84.

Provijn, Dagmar. 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, H. Blockeel and Denecker, M.

Batens, Diderik. 2002. “In Defence Of A Programme For Handling Inconsistencies” Joke Meheus. Inconsistency in Science: 129–150.