| 2024 | AAAI | Using Symmetries to Lift Satisfiability Checking. | Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker |
| 2024 | ISAIM | Towards a Unifying View on Monotone Constructive Definitions. | Linde Vanbesien, Samuele Pollaci, Bart Bogaerts, Marc Denecker |
| 2024 | LPNMR | A Sequent Calculus for Generalized Inductive Definitions. | Robbe Van den Eede, Robbe Van Biervliet, Marc Denecker |
| 2024 | LPNMR | A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. | Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts |
| 2024 | SAC | An epistemic logic for modeling decisions in the context of incomplete knowledge. | Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker |
| 2023 | JELIA | Towards Systematic Treatment of Partial Functions in Knowledge Representation. | Djordje Markovic, Maurice Bruynooghe, Marc Denecker |
| 2021 | IJCAI | On the Relation Between Approximation Fixpoint Theory and Justification Theory. | Simon Marynissen, Bart Bogaerts, Marc Denecker |
| 2020 | VMCAI | Improving Parity Game Solvers with Justifications. | Ruben Lapauw, Maurice Bruynooghe, Marc Denecker |
| 2019 | JELIA | Explaining Actual Causation in Terms of Possible Causal Processes. | Marc Denecker, Bart Bogaerts, Joost Vennekens |
| 2017 | IJCAI | Safe Inductions: An Algebraic Study. | Bart Bogaerts, Joost Vennekens, Marc Denecker |
| 2016 | CaiSE | Consistent Integration of Decision (DMN) and Process (BPMN) Models. | Laurent Janssens, Ekaterina Bazhenova, Johannes De Smedt, Jan Vanthienen, Marc Denecker |
| 2016 | ICLP | A Compositional Typed Higher-Order Logic with Definitions. | Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker |
| 2016 | IJCAI | Distributed Autoepistemic Logic and its Application to Access Control. | Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker |
| 2016 | IJCAI | Relevance for SAT(ID). | Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker |
| 2016 | PADL | The KB Paradigm and Its Application to Interactive Configuration. | Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker |
| 2016 | SAT | Improved Static Symmetry Breaking for SAT. | Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker |
| 2015 | AAAI | Grounded Fixpoints. | Bart Bogaerts, Joost Vennekens, Marc Denecker |
| 2015 | IJCAI | Partial Grounded Fixpoints. | Bart Bogaerts, Joost Vennekens, Marc Denecker |
| 2015 | ILP | An Exercise in Declarative Modeling for Relational Query Mining. | Sergey Paramonov, Matthijs van Leeuwen, Marc Denecker, Luc De Raedt |
| 2015 | LPNMR | A Formal Theory of Justifications. | Marc Denecker, Gerhard Brewka, Hannes Strass |
| 2014 | ECAI | Inference in the FO(C) Modelling Language. | Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche |
| 2014 | KR | The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. | Marc Denecker, Joost Vennekens |
| 2013 | ICTAI | Model Expansion in the Presence of Function Symbols Using Constraint Programming. | Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker |
| 2012 | ICLP | Modeling Machine Learning and Data Mining Problems with FO(·). | Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer |
| 2012 | ICLP | Lazy Model Expansion by Incremental Grounding. | Broes De Cat, Marc Denecker, Peter J. Stuckey |
| 2012 | ICLP | A Tarskian Informal Semantics for Answer Set Programming. | Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens |
| 2012 | ICTAI | Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. | Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears |
| 2012 | KR | Ordered Epistemic Logic: Semantics, Complexity and Applications. | Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
| 2010 | JELIA | Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. | Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
| 2010 | JELIA | An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. | Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
| 2009 | ICLP | A Knowledge Base System Project for FO(.). | Marc Denecker |
| 2009 | ICLP | Debugging for Model Expansion. | Johan Wittocx, Hanne Vlaeminck, Marc Denecker |
| 2009 | LPNMR | Using Lightweight Inference to Solve Lightweight Problems. | Marc Denecker, Joost Vennekens |
| 2009 | LPNMR | The Second Answer Set Programming Competition. | Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski |
| 2009 | LPNMR | A Deductive System for FO(ID) Based on Least Fixpoint Logic. | Ping Hou, Marc Denecker |
| 2009 | PPDP | A logical framework for configuration software. | Hanne Vlaeminck, Joost Vennekens, Marc Denecker |
| 2008 | AAAI | Grounding with Bounds. | Johan Wittocx, Maarten Marin, Marc Denecker |
| 2008 | ICLP | Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. | Marc Denecker, Joost Vennekens |
| 2008 | ISAIM | Complexity of First Order ID-Logic. | John S. Schlipf, Marc Denecker |
| 2008 | KR | Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. | Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2008 | KR | Approximate Reasoning in First-Order Logic Theories. | Johan Wittocx, Maarten Marin, Marc Denecker |
| 2008 | SAT | SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. | Maarten Marin, Johan Wittocx, Marc Denecker, Maurice Bruynooghe |
| 2007 | AAAI | Approximate Query Answering in Locally Closed Databases. | Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2007 | LPAR | Integrating Inductive Definitions in SAT. | Maarten Marin, Johan Wittocx, Marc Denecker |
| 2007 | LPNMR | Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. | Marc Denecker, Joost Vennekens |
| 2007 | LPNMR | A Deductive System for PC(ID). | Ping Hou, Johan Wittocx, Marc Denecker |
| 2006 | ICLP | Predicate Introduction Under Stable and Well-Founded Semantics. | Johan Wittocx, Joost Vennekens, Maarten Marin, Marc Denecker, Maurice Bruynooghe |
| 2006 | JELIA | Distance-Based Repairs of Databases. | Ofer Arieli, Marc Denecker, Maurice Bruynooghe |
| 2006 | JELIA | Representing Causal Information About a Probabilistic Process. | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
| 2006 | LPAR | Representation of Partial Knowledge and Query Answering in Locally Complete Databases. | Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2005 | LPAR | Satisfiability Checking for PC(ID). | Maarten Marin, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe |
| 2005 | LPNMR | On the Local Closed-World Assumption of Data-Sources. | Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe |
| 2005 | LPNMR | An Algebraic Account of Modularity in ID-Logic. | Joost Vennekens, Marc Denecker |
| 2004 | CaiSE | Data Integration Using ID-Logic. | Bert Van Nuffelen, Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2004 | ICLP | Splitting an Operator. | Joost Vennekens, David Gilis, Marc Denecker |
| 2004 | JELIA | On the Relation Between ID-Logic and Answer Set Programming. | Maarten Marin, David Gilis, Marc Denecker |
| 2004 | KR | What's in a Model? Epistemological Analysis of Logic Programming. | Marc Denecker |
| 2004 | KR | Inductive Situation Calculus. | Marc Denecker, Eugenia Ternovska |
| 2004 | LPNMR | A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. | Marc Denecker, Eugenia Ternovska |
| 2004 | LPNMR | Partial Stable Models for Logic Programs with Aggregates. | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
| 2002 | ER | On the Transformation of Object-Oriented Conceptual Models to Logical Theories. | Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker |
| 2002 | KR | Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 2001 | ICLP | Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. | Marc Denecker, Nikolay Pelov, Maurice Bruynooghe |
| 2001 | IJCAI | A-System: Problem Solving through Abduction. | Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker |
| 2001 | LPAR | Coherent Composition of Distributed Knowledge-Bases Through Abduction. | Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe |
| 2000 | KR | Uniform semantic treatment of default and autoepistemic logic. | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 2000 | LPAR | Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison. | Nikolay Pelov, Emmanuel De Mot, Marc Denecker |
| 1998 | AAAI | Fixpoint 3-Valued Semantics for Autoepistemic Logic. | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 1998 | JELIA | The Well-Founded Semantics Is the Principle of Inductive Definition. | Marc Denecker |
| 1997 | ICLP | A Strong Correspondence between Description Logics and Open Logic Programming. | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1996 | ICLP | A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. | Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye |
| 1996 | SAS | A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. | Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers |
| 1995 | ICLP | Combining Situation Calculus and Event Calculus. | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1995 | IJCAI | AILP: Abductive Inductive Logic Programming. | Hilde Ad, Marc Denecker |
| 1995 | LPNMR | A Terminological Interpretation of (Abductive) Logic Programming. | Marc Denecker |
| 1994 | ICLP | Representing Continuous Change in the Abductive Event Calculus. | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1993 | LPNMR | Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. | Marc Denecker, Danny De Schreye |
| 1992 | ECAI | Temporal Reasoning with Abductive Event Calculus. | Marc Denecker, Lode Missiaen, Maurice Bruynooghe |
| 1992 | ICLP | SLDNFA: An Abductive Procedure for Normal Abductive Programs. | Marc Denecker, Danny De Schreye |