Publications
Export 42 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is P [Clear All Filters]
“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,
. 2002. “The Generation Of Abductive Explanations From Inconsistent Theories”. Logic Journal of the IGPL 20: 400–416.
. 2012. “Bloody Analogical Reasoning” . Logic, Reasoning, and Rationality: 217–232.
. 2014. “Direct Dynamic Proofs For Compatibility.” . Computer modeling of scientific reasoning: 179–187.
. 2003. “Is Er Een Diepe Kloof Tussen De Heuristiek En De Inferentieregels Van Een Bewijstheorie? Een Poging Tot Integratie.”. In Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Universiteit Amsterdam.
. 2002. “Strategies: What's In A Name?” . The Many Sides of Logic 21: 287–306.
. 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. “Epistemic Modalities” . Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
. 2009. “A Contextual Type Theory With Judgemental Modalities For Reasoning From Open Assumptions”. Logique et Analyse 55: 579–600.
. 2012. “The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.
. In Press. “Prioritized Dynamic Retraction Function On Non-Monotonic Information Updates” . The Many Sides of Logic: 443-463.
. 2009. “Proceeding In Abstraction: From Concepts To Types And The Recent Perspective On Information”. History and Philosophy of Logic 30: 257–282. http://dx.doi.org/10.1080/01445340902872630.
. 2009. “A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.
. 2012. “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 Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.
. 2013. “Two Type-Theoretical Approaches To Privative Modification” . New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
. 2009. “On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, . Filosofia Publisher.
. 2007. “A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.”. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.
. 2010. “Majority Merging By Adaptive Counting”. Synthese (KRA Serie) 165: 203–223.
. 2008. “A Note On Constructive Modalities For Information”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, . Brussel: Koninklijke Vlaamse Academie van België.
. 2009. “Offline And Online Data: On Upgrading Functional Information To Knowledge”. Philosophical Studies 164: 371–392.
. 2013. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012.