Publications
Export 102 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is P [Clear All Filters]
. 2006. “Belief Revision In Constructive Type Theory”. In Logica 2005 Yearbook, Logica 2005 Yearbook, . Filosofia Publisher.

. 2006. “Discussive Adaptive Logics: Handling Internal And External Inconsistencies” . Essays in Logic and Ontology 91: 211-223.

. 2006. “Narrowing Down Suspicion In Inconsistent Premise Sets” . Essays in Logic and Ontology. 91: 185–209.

. 2006. “A World Of Experiences, An Adequate Language, And Self-Reference Revised” . Essays in Logic and Ontology 91: 243–256.
. 2007. “Abduction As A Strategy For Concept Formation In Mathematics: Cardano Postulating A Negative.” . Abduction and the process of scientific discovery: 179–194.

. 2007. “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. “Assessing The Explanatory Power Of Causal Explanations.” . Rethinking Explanation: 109–118.

. 2007. “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. “On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, . Filosofia Publisher.

. 2007. “Content Guidance In Formal Problem Solving Processes” . Abduction and the Process of Scientific Discovery: 121–156.

. 2008. “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. “Entry "helmont, Johannes (Joan) Baptista Van"” . New Dictionary of Scientific Biography III: 277-281.
. 2008. “Graham Priest And Diderik Batens Interview Each Other”. The Reasoner 2: 2–4.

. 2008. “Majority Merging By Adaptive Counting”. Synthese (KRA Serie) 165: 203–223.

. 2008. A Model For Processing Updates With Inconsistent Information On Propositional Databases. College Publications.
. 2008. “Ockhams Theorie Van Evidente Kennis En Het Epistemologisch Externalisme” . Us and Them. Essays over filosofie, politiek, religie en cultuur van de Antieke Oudheid tot Islam in Europa ter ere van Herman De Ley: 227–239.

. 2008. “Protagoras En Het Kennistheoretisch Relativisme” . Us and Them. Essays over filosofie, politiek, religie en cultuur van de Antieke Oudheid tot Islam in Europa ter ere van Herman De Ley: 181–192.

. 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. “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. “The Role Of Logic In Philosophy Of Science” . The Routledge Companion to Philosophy of Science: 47–57.

. 2009. “"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. “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. “An Epistemic Logic For Becoming Informed”. Synthese (KRA Serie) 167: 363-389. http://dx.doi.org/10.1007/s11229-008-9413-8.

