Publications
Export 102 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is P [Clear All Filters]
“Abduction As A Strategy For Concept Formation In Mathematics: Cardano Postulating A Negative.” . Abduction and the process of scientific discovery: 179–194.
. 2007. “Abduction Logics Illustrating Pitfalls Of Defeasible Methods” . Applications of formal philosophy: the road less travelled 14: 169–193.
. 2017. “Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs”. Theoria 22/3: 295–304.
. 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. “An Adaptive Logic For Compassionate Relevantism”. In Computational Models of Scientific Reasoning and Applications, Computational Models of Scientific Reasoning and Applications, . CENTRIA.
. 2005. “An Adaptive Logic Framework For Conditional Obligations And Deontic Dilemmas” . Logic and logical philosophy 19: 95–128.
. 2010. “Adaptive Logics For Abduction And The Explication Of Explanation-Seeking Processes” . Abduction and the Process of Scientific Discovery: 97–119.
. 2007. “Alleged Assassins: Realist And Constructivist Semantics For Modal Modification”. Logic, Language, and Computation 7758: 94–114.
. 2013. “Ampliative Adaptive Logics And The Foundation Of Logic-Based Approaches To Abduction”. Logical and Computational Aspects of Model-Based Reasoning: 39–71.
. 2002. “Are There Ontological Explanations?” . Essays in Logic and Ontology 91: 277–283.
. 2006. “Assessing The Explanatory Power Of Causal Explanations.” . Rethinking Explanation: 109–118.
. 2007. “An Atlas For The Social World: What Should It (Not) Look Like? Interdisciplinarity And Pluralism In The Social Sciences” . Worldviews, Science and Us: Interdisciplinary Perspectives on Worlds, Cultures and Society.: 43–72.
. 2011. “Belief Merging Based On Adaptive Interaction”. In A Meeting of the Minds, proceedings of the workshop on Logic, Rationality and Interaction, A Meeting of the Minds, proceedings of the workshop on Logic, Rationality and Interaction, . College Publications.
. 2007. “Belief Revision In Constructive Type Theory”. In Logica 2005 Yearbook, Logica 2005 Yearbook, . Filosofia Publisher.
. 2006. “Bloody Analogical Reasoning” . Logic, Reasoning, and Rationality: 217–232.
. 2014. “The Body In Renaissance Arithmetic: From Mnemonics To Embodied Cognition”. In Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation, Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation, . The Society for the Study of Artificial Intelligence and the Simulation of Behaviour.
. 2010. “On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, . Filosofia Publisher.
. 2007. “"clear Moon, Frost Soon". An Introduction To The Study Of Meteorological Practices In The Low Countries (1550-1850)”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, . {Koninklijke Vlaamse Academie van België.
. 2009. “The Concept Of Disease And Our Responsibility For Children” . Diagnostic Dilemmas in Child and Adolescent Psychiatry: 35–55.
. 2014. “Constructive Contextual Modal Judgments For Reasoning From Open Assumptions”. In Proceedings of the Computability in Europe 2010 Conference, Proceedings of the Computability in Europe 2010 Conference, . Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.
. 2010. “A Constructive Modal Semantics For Contextual Verification”. In Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, CEUR-Workshop Proceedings. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/.
. 2009. “Content Guidance In Formal Problem Solving Processes” . Abduction and the Process of Scientific Discovery: 121–156.
. 2007. “A Contextual Type Theory With Judgemental Modalities For Reasoning From Open Assumptions”. Logique et Analyse 55: 579–600.
. 2012. “Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.
. 2004.