Publications
“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. “On The Nature And Origin Of Algebraic Symbolism”. In New Perspectives on Mathematical Practices. Essays in Philosophy and History of Mathematics., New Perspectives on Mathematical Practices. Essays in Philosophy and History of Mathematics., . World Scientific Publishing. http://www.worldscibooks.com/etextbook/6810/6810\_chap01.pdf.
. 2009. “Negative Numbers As An Epistemic Difficult Concept. Some Lessons From History.”. In History and Pedagogy of Mathematics. Satellite Meeting of International Congress on Mathematical Education 11, 14 - 18 July 2008., History and Pedagogy of Mathematics. Satellite Meeting of International Congress on Mathematical Education 11, 14 - 18 July 2008., . Centro Cultural del México Contemporanéo.
. 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. “A Pragmatist Approach To The Plurality Of Explanations In International Relations Theory”. In 6th Pan-European conference on international relations, Proceedings, 6th Pan-European conference on international relations, Proceedings, The Standing Group of International Relations of the ECPR. http://turin.sgir.eu/uploads/De%20Langhe-SGIR%20Rogier%20De%20Langhe%20-%20Erik%20Weber%20-%20Jeroen%20Van%20Bouwel.pdf.
. 2007. “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. “Strong Paraconsistency By Separating Composition And Decomposition In Classical Logic”. In WoLLIC 2011 Proceedings LNAI Series, WoLLIC 2011 Proceedings LNAI Series, . Springer. http://dx.doi.org/10.1007/978-3-642-20920-8\_26.
. 2011. “Study Of Limits Of Solvability In Tag Systems”. In Lecture Notes in Computer Science, Lecture Notes in Computer Science, . Springer.
. 2007. “Time Travel And Conditional Logics”. In Logica 2007 Yearbook, Logica 2007 Yearbook,.
. 2007. “Trading Off Explanatory Virtues”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days, . {Koninklijke Vlaamse Academie van België.
. 2009. “A Week-End Off: The First Extensive Number-Theoretical Computation On The Eniac”. In Logic and Theory of Algorithms, Logic and Theory of Algorithms, . Springer Verlag.
. 2008. “Who Guards The Guardians/experts? Philosophers?”. In 32e Vlaams-Nederlandse Filosofiedag, Proceedings, 32e Vlaams-Nederlandse Filosofiedag, Proceedings, Ghent University, Department of Philosophy and moral sciences.
. 2011. “Why Social Emergence? Discussing The Use Of Analytical Metaphysics In Social Theory”. In Worldviews, science and us : studies of analytical metaphysics, Worldviews, science and us : studies of analytical metaphysics, . World Scientific Publishing Company. http://dx.doi.org/10.1142/9789814299053\_0010.
. 2010. “An Adaptive Logic Based Approach To Abduction In Ai”. Ninth International Workshop on Non-Monotonic Reasoning, Action and Change: 1-6.
. 2011. “Dynamic Derivations For Sequent-Based Deductive Argumentation” . COMMA 2014 Computational Models of Argument: 89–100.
. 2014. “A Formal Approach To Vague Expressions With Indexicals”. Logic and Engineering of Natural Language Semantics 9 (LENLS 9-2012): 37-51.
. 2012. “From Problem Solving To The Teaching Of Algebra: The Genesis Of The Algebra Textbook” . 11th international IHPST and 6th Greek history, philosophy and science teaching joint conference, Proceedings: 344-347.
. 2011. “How To Take Heroin (If At All). A New Approach To Detachment In Deontic Logic” . Deontic Logic and Normative Systems: 14th International Conference: 317-335.
. 2018. “An Andersonian Deontic Logic With Contextualized Sanctions” . 11th International Conference on Deontic Logic in Computer Science, DEON2012: 151-169.
. 2012. “Non-Truth-Functional Fibred Semantics” . Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001) 2: 841–847.
. 2001. “A Paraconsistent Multi-Agent Framework For Dealing With Normative Conflicts” . 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII): 312-329. http://dx.doi.org/10.1007/978-3-642-22359-4.
. 2011. “The Problem Of Multiple Explanatory Hypotheses” . PhDs in Logic III: 45-53.
. 2012. “Reasoning With Computer-Assisted Experiments In Mathematics” . Third Workshop in the Philosophy of Information: 80-92.
. 2012. “The Role Of Unification In Explanations Of Facts” . EPSA Philosophy of Science 2009: 403-413.
. 2012.