| 2024 | AAAI | Using Symmetries to Lift Satisfiability Checking. | Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker |
| 2023 | JELIA | Towards Systematic Treatment of Partial Functions in Knowledge Representation. | Djordje Markovic, Maurice Bruynooghe, Marc Denecker |
| 2020 | VMCAI | Improving Parity Game Solvers with Justifications. | Ruben Lapauw, Maurice Bruynooghe, Marc Denecker |
| 2017 | SAT | Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. | Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe |
| 2016 | SAT | Improved Static Symmetry Breaking for SAT. | Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker |
| 2013 | ACML | Guided Monte Carlo Tree Search for Planning in Learned Environments. | Jelle Van Eyck, Jan Ramon, Fabian Giza Grandas, Geert Meyfroidt, Maurice Bruynooghe, Greta Van den Berghe |
| 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 | KR | Ordered Epistemic Logic: Semantics, Complexity and Applications. | Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
| 2010 | ECAI | ProbLog Technology for Inference in a Probabilistic First Order Logic. | Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt |
| 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 | CAV | Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. | Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe |
| 2009 | LOPSTR | A Transformational Approach for Proving Properties of the CHR Constraint Store. | Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe |
| 2008 | DIS | An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules. | Leander Schietgat, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel |
| 2008 | ECAI | Sub Node Extraction with Tree Based Wrappers. | Stefan Raeymaekers, Maurice Bruynooghe |
| 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 | LOPSTR | From Monomorphic to Polymorphic Well-Typings and Beyond. | Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher |
| 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 | IJCAI | Online Learning and Exploiting Relational Models in Reinforcement Learning. | Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe |
| 2007 | ILP | Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning. | Tom Croonenborghs, Kurt Driessens, Maurice Bruynooghe |
| 2007 | ILP | Learning Directed Probabilistic Logical Models Using Ordering-Search. | Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel |
| 2006 | ICLP | Predicate Introduction Under Stable and Well-Founded Semantics. | Johan Wittocx, Joost Vennekens, Maarten Marin, Marc Denecker, Maurice Bruynooghe |
| 2006 | ILP | Generalized Ordering-Search for Learning Directed Probabilistic Logical Models. | Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, 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 |
| 2006 | PPDP | Polymorphic algebraic data type reconstruction. | Tom Schrijvers, Maurice Bruynooghe |
| 2005 | APLAS | Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. | Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor |
| 2005 | CC | Verification of Source Code Transformations by Program Equivalence Checking. | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
| 2005 | CC | Experiences with Enumeration of Integer Projections of Parametric Polytopes. | Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor |
| 2005 | DATE | Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
| 2005 | ILP | Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models. | Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe, Jan Ramon |
| 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 ID-Logic Formalization of the Composition of Autonomous Databases. | Bert Van Nuffelen, Ofer Arieli, Alvaro Corts-Calabuig, Maurice Bruynooghe |
| 2005 | SAS | Inference of Well-Typings for Logic Programs with Application to Termination Analysis. | Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck |
| 2004 | CaiSE | Data Integration Using ID-Logic. | Bert Van Nuffelen, Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2004 | CASES | Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations. | Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe |
| 2004 | ICLP | Logic Programs with Annotated Disjunctions. | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
| 2004 | LPNMR | Partial Stable Models for Logic Programs with Aggregates. | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
| 2003 | IJCAI | Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference. | Raymond Kosala, Maurice Bruynooghe, Jan Van den Bussche, Hendrik Blockeel |
| 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 | LOPSTR | A Fixed Point Semantics for Logic Programs Extended with Cuts. | Wim Vanhoof, Remko Tronon, Maurice Bruynooghe |
| 2002 | SAS | Reuse of Results in Termination Analysis of Typed Logic Programs. | Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof |
| 2002 | VMCAI | Storage Size Reduction by In-place Mapping of Arrays. | Remko Tronon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
| 2001 | ICLP | Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. | Marc Denecker, Nikolay Pelov, Maurice Bruynooghe |
| 2001 | ICLP | Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. | Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe |
| 2001 | LOPSTR | When Size Does Matter. | Wim Vanhoof, Maurice Bruynooghe |
| 2001 | LPAR | Coherent Composition of Distributed Knowledge-Bases Through Abduction. | Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe |
| 2001 | LPAR | Binding-Time Annotations Without Binding-Time Analysis. | Wim Vanhoof, Maurice Bruynooghe |
| 2000 | LOPSTR | Towards a modular binding-time analysis for higher-order Mercury. | Wim Vanhoof, Maurice Bruynooghe |
| 2000 | PPDP | Extending constraint logic programming with open functions. | Nikolay Pelov, Maurice Bruynooghe |
| 1999 | ICLP | Binding-time Analysis for Mercury. | Wim Vanhoof, Maurice Bruynooghe |
| 1999 | LPAR | Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. | Nikolay Pelov, Maurice Bruynooghe |
| 1998 | ESOP | A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. | Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas |
| 1998 | ILP | A Framework for Defining Distances Between First-Order Logic Objects. | Jan Ramon, Maurice Bruynooghe |
| 1997 | ICLP | Live-Structure Analysis for Logic Programming Languages with Declarations. | Maurice Bruynooghe, Gerda Janssens, Andreas Kgedal |
| 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 | On the Practicality of Abstract Equation Systems. | Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe |
| 1994 | ICLP | Abstract Domains: a Model-Theoretic approach. | Dmitri Boulanger, Maurice Bruynooghe |
| 1994 | ICLP | Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables. | Maurice Bruynooghe, Michael Codish, Anne Mulkers |
| 1994 | LOPSTR | Using Call/Exit Analysis for Logic Program Transformation. | Dmitri Boulanger, Maurice Bruynooghe |
| 1994 | LPAR | Goal Dependent versus Goal Independent Analysis of Logic Programs. | Michael Codish, Maria J. Garca de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo |
| 1994 | SAS | A Systematic Construction of Abstract Domains | Dmitri Boulanger, Maurice Bruynooghe |
| 1993 | ICLP | Freeness Analysis for Logic Programs - And Correctness? | Michael Codish, Dennis Dams, Gilberto Fil, Maurice Bruynooghe |
| 1993 | ICLP | Freeness Analysis in the Presence of Numerical Constraints. | Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish |
| 1993 | IJCAI | A Theory of Clausal Discovery. | Luc De Raedt, Maurice Bruynooghe |
| 1993 | LOPSTR | Using Abstract Interpretation for Goal Replacement. | Dmitri Boulanger, Maurice Bruynooghe |
| 1993 | PEPM | Improving Abstract Interpretations by Combining Domains. | Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1993 | SAS | Freeness, Sharing, Linearity and Correctness - All at Once. | Maurice Bruynooghe, Michael Codish |
| 1992 | ECAI | Inverse Resolution in an Integrated Inductive-Deductive Learning System. | Hilde Ad, Luc De Raedt, Maurice Bruynooghe |
| 1992 | ECAI | Temporal Reasoning with Abductive Event Calculus. | Marc Denecker, Lode Missiaen, Maurice Bruynooghe |
| 1992 | LOPSTR | Deriving Transformations for Logic Programs Using Abstract Interpretation. | Dmitri Boulanger, Maurice Bruynooghe |
| 1991 | ICML | Integrity Constraints and Interactive Concept-Learning. | Luc De Raedt, Maurice Bruynooghe, Bern Martens |
| 1991 | LPAR | On Abstracting the Procedural Behaviour of Logic Programs. | Gerda Janssens, Maurice Bruynooghe |
| 1990 | ECAI | On Negation and Three-Valued Logic in Interactive Concept-Learning. | Luc De Raedt, Maurice Bruynooghe |
| 1990 | ESOP | Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism. | Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe |
| 1990 | ICLP | The Derivation of an Algorithm for Program Specialisation. | John P. Gallagher, Maurice Bruynooghe |
| 1990 | ICLP | Analysis of Shared Data Structures for Compile-Time Garbage. | Anne Mulkers, William H. Winsborough, Maurice Bruynooghe |
| 1990 | ICLP | A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs. | Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe |
| 1990 | ICLP | Generation and Compilation of Efficient Computation Rules. | Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe |
| 1989 | ICLP | The Impact of Abstract Interpretation: An Experiment in Code Generation. | Andr Marin, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe |
| 1989 | ICML | Constructive Induction by Analogy. | Luc De Raedt, Maurice Bruynooghe |
| 1989 | IJCAI | Explanation Based Program Transformation. | Maurice Bruynooghe, Luc De Raedt, Danny De Schreye |
| 1989 | IJCAI | Towards Friendly Concept-Learners. | Luc De Raedt, Maurice Bruynooghe |
| 1988 | ESOP | On Implementing Logic Programming Languages on a Dataflow Architecture. | Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Haondt |
| 1988 | ICLP | An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. | Maurice Bruynooghe, Gerda Janssens |
| 1986 | AIMSA | Is Logic Programming "Real" Programming? | Maurice Bruynooghe |
| 1986 | AIMSA | Empirical Study of some Constraints Satisfaction Algorithms. | Willem Rosiers, Maurice Bruynooghe |
| 1985 | WI | The Centralized Scheduler vs. the Distributed Specialists: Towards a Flexible Controller in Prolog for Expert Systems. | Raf Venken, Maurice Bruynooghe, Luc Dekeyser, Bruno Krekels |
| 1983 | ICLP | Some Reflexions on Implementation Issues of Prolog. | Maurice Bruynooghe |
| 1982 | ICLP | A Note on Garbage-Collection in Prolog Interpreters. | Maurice Bruynooghe |
| 1982 | ICLP | Adding Redundancy to Obtain more Reliable and Readable Prolog Programs. | Maurice Bruynooghe |
| 1980 | CADE | Analysis of Dependencies to Improve the Behaviour of Logic Programs. | Maurice Bruynooghe |