Publications
“Ampliative Adaptive Logics And The Foundation Of Logic-Based Approaches To Abduction”. Logical and Computational Aspects of Model-Based Reasoning: 39–71.
. 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. “Why The Logic Of Explanation Is Inconsistency-Adaptive.” . Inconsistency in science: 165–184.
. 2002. “Do We Need Paraconsistency In Commonsense Reasoning?” . Computer Modeling of Scientific Reasoning: 135–146.
. 2003. “Inconsistencies And The Dynamics Of Science”. Logic and Logical Philosophy 11/12: 129–148.
. 2003. “Paraconsistent Compatibility”. Logique et Analyse 46: 251–287.
. 2003. “Some Adaptive Logics For Diagnosis”. Logic and Logical Philosophy 11/12: 39–65.
. 2003. “Adaptive Logics And The Integration Of Induction And Deduction” . Induction and Deduction in the Sciences: 93–120.
. 2004. “Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.
. 2004. “Empirical Progress And Ampliative Adaptive Logics” . Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1 83: 193–217.
. 2005. “An Adaptive Logic Based On Jaśkowski's Approach To Paraconsistency”. Journal of Philosophical Logic 35: 539–567.
. 2006. “Discussive Adaptive Logics: Handling Internal And External Inconsistencies” . Essays in Logic and Ontology 91: 211-223.
. 2006. “A Formal Logic For Abductive Reasoning”. Logic Journal of the IGPL 14: 221–236.
. 2006. “Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs”. Theoria 22/3: 295–304.
. 2007. “Adaptive Logics For Abduction And The Explication Of Explanation-Seeking Processes” . Abduction and the Process of Scientific Discovery: 97–119.
. 2007. “Adaptive Arbitration By Variant Counting On Commutative Bases With Weights”. In Fusion 2008: Proceedings of the 11th International Conference on Information Fusion, Fusion 2008: Proceedings of the 11th International Conference on Information Fusion, IEEE.
. 2008. “Majority Merging By Adaptive Counting”. Synthese (KRA Serie) 165: 203–223.
. 2008. “Quasi-Merging And Pure-Arbitration On Information For The Family Of Adaptive Logics Adm”. In Proceedings of the Workshop on Logic and Intelligent Interaction, Proceedings of the Workshop on Logic and Intelligent Interaction, .
. 2008. “Goal-Directed Tableaux” . The Many Sides of Logic 21: 241–256.
. 2009. “Yes Fellows, Most Human Reasoning Is Complex”. Synthese 166: 113–131. http://dx.doi.org/10.1007/s11229-007-9268-4.
. 2009. “Avoiding Deontic Explosion By Contextually Restricting Aggregation”. In Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), . Dordrecht: Springer.
. 2010. “A Formal Logic For The Abduction Of Singular Hypotheses” . Explanation, Prediction, and Confirmation: 93–108.
. 2011.