Publications
Export 102 results:
Author Title Type [ Year
Filters: First Letter Of Last Name is P [Clear All Filters]
“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.
. 2006. “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.
. 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. 
“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.
. 2008. 
“"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.
. 2009. 