Analysis of Dependencies to Improve the Behaviour of Logic Programs. - Maurice Bruynooghe (CADE, 1980)

Solving Combinatorial Search Problems by Intelligent Backtracking. - Maurice Bruynooghe (Inf. Process. Lett., 1981)

A Note on Garbage-Collection in Prolog Interpreters. - Maurice Bruynooghe (ICLP, 1982)

Adding Redundancy to Obtain more Reliable and Readable Prolog Programs. - Maurice Bruynooghe (ICLP, 1982)

Some Reflexions on Implementation Issues of Prolog. - Maurice Bruynooghe (Logic Programming Workshop, 1983)

Garbage Collection in Prolog Interpreters. - Maurice Bruynooghe (Implementations of Prolog, 1984)

Deduction Revision by Intelligent Backtracking. - Maurice Bruynooghe; Luís Moniz Pereira (Implementations of Prolog, 1984)

Towards a Real-Time Garbage Collector for Prolog. - Edwin Pittomvils; Maurice Bruynooghe; Yves D. Willems (SLP, 1985)

The Centralized Scheduler vs. the Distributed Specialists: Towards a Flexible Controller in Prolog for Expert Systems. - Raf Venken; Maurice Bruynooghe; Luc Dekeyser; Bruno Krekels (Wissensbasierte Systeme, 1985)

Is Logic Programming "Real" Programming? - Maurice Bruynooghe (AIMSA, 1986)

Empirical Study of some Constraints Satisfaction Algorithms. - Willem Rosiers; Maurice Bruynooghe (AIMSA, 1986)

Abstract Interpretation: Towards the Global Optimization of Prolog Programs. - Maurice Bruynooghe; Gerda Janssens; Alain Callebaut; Bart Demoen (SLP, 1987)

On Interactive Concept-Learning and Assimilation. - Luc De Raedt; Maurice Bruynooghe (EWSL, 1988)

Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph. - Bern Martens; Maurice Bruynooghe (Expert Database Conf., 1988)

On Implementing Logic Programming Languages on a Dataflow Architecture. - Patrick Weemeeuw; Maurice Bruynooghe; Marleen De Haondt (ESOP, 1988)

An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. - Maurice Bruynooghe; Gerda Janssens (ICLP/SLP, 1988)

The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation. - Danny De Schreye; Maurice Bruynooghe (META, 1988)

An Application of Abstract Interpretation in Source Level Program Transformation. - Danny De Schreye; Maurice Bruynooghe (PLILP, 1988)

Some Thoughts on the Role of Examples in Program Transformation and its Relevance for Explanation-based Learning. - Maurice Bruynooghe; Danny De Schreye (AII, 1989)

Generalizing Multiple Examples in Explanation Based Learning. - Gunther Sablon; Luc De Raedt; Maurice Bruynooghe (AII, 1989)

The Impact of Abstract Interpretation: An Experiment in Code Generation. - André Mariën; Gerda Janssens; Anne Mulkers; Maurice Bruynooghe (ICLP, 1989)

Constructive Induction by Analogy. - Luc De Raedt; Maurice Bruynooghe (ML, 1989)

Explanation Based Program Transformation. - Maurice Bruynooghe; Luc De Raedt; Danny De Schreye (IJCAI, 1989)

Towards Friendly Concept-Learners. - Luc De Raedt; Maurice Bruynooghe (IJCAI, 1989)

On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses. - Danny De Schreye; Maurice Bruynooghe; Kristof Verschaetse (Artif. Intell., 1989)

Compiling Control. - Maurice Bruynooghe; Danny De Schreye; Bruno Krekels (J. Log. Program., 1989)

On the Transformation of Logic Programs with Instantiation Based Computation Rules. - Danny De Schreye; Maurice Bruynooghe (J. Symb. Comput., 1989)

On Negation and Three-Valued Logic in Interactive Concept-Learning. - Luc De Raedt; Maurice Bruynooghe (ECAI, 1990)

Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism. - Danny De Schreye; Dirk Pollet; Johan Ronsyn; Maurice Bruynooghe (ESOP, 1990)

Analysis of Shared Data Structures for Compile-Time Garbage. - Anne Mulkers; William H. Winsborough; Maurice Bruynooghe (ICLP, 1990)

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 (ICLP, 1990)

Generation and Compilation of Efficient Computation Rules. - Kristof Verschaetse; Danny De Schreye; Maurice Bruynooghe (ICLP, 1990)

On the Automatic Generation of Events in Delta Prolog. - Veroniek Dumortier; Maurice Bruynooghe (PLILP, 1990)

Indirect relevance and bias in inductive concept-learning. - Luc De Raedt; Maurice Bruynooghe (Knowl. Acquis., 1990)

Intelligent Backtracking Revisted. - Maurice Bruynooghe (Computational Logic - Essays in Honor of Alan Robinson, 1991)

Acquiring Object-Knowledge for Learning Systems. - Luc De Raedt; Johan Feyaerts; Maurice Bruynooghe (EWSL, 1991)

Integrity Constraints and Interactive Concept-Learning. - Luc De Raedt; Maurice Bruynooghe; Bern Martens (ML, 1991)

On Abstracting the Procedural Behaviour of Logic Programs. - Gerda Janssens; Maurice Bruynooghe (RCLP, 1991)

Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. - Maurice Bruynooghe; Veroniek Dumortier; Gerda Janssens (PDK, 1991)

A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs. - Maurice Bruynooghe; Danny De Schreye; Bern Martens (ISLP, 1991)

Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs. - Danny De Schreye; Bern Martens; Gunther Sablon; Maurice Bruynooghe (J. Autom. Reason., 1991)

A Practical Framework for the Abstract Interpretation of Logic Programs. - Maurice Bruynooghe (J. Log. Program., 1991)

The Derivation of an Algorithm for Program Specialisation. - John P. Gallagher; Maurice Bruynooghe (New Gener. Comput., 1991)

Inverse Resolution in an Integrated Inductive-Deductive Learning System. - Hilde Adé; Luc De Raedt; Maurice Bruynooghe (ECAI, 1992)

Temporal Reasoning with Abductive Event Calculus. - Marc Denecker; Lode Missiaen; Maurice Bruynooghe (ECAI, 1992)

Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. - Bern Martens; Danny De Schreye; Maurice Bruynooghe (FGCS, 1992)

A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns. - Danny De Schreye; Kristof Verschaetse; Maurice Bruynooghe (FGCS, 1992)

Abstract interpretation for constraint logic programming. - Maurice Bruynooghe (JFPL, 1992)

Deriving Transformations for Logic Programs Using Abstract Interpretation. - Dmitri Boulanger; Maurice Bruynooghe (LOPSTR, 1992)

Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. - Maurice Bruynooghe; Gerda Janssens (META, 1992)

Belief Updating from Integrity Constraints and Queries. - Luc De Raedt; Maurice Bruynooghe (Artif. Intell., 1992)

Acquiring object-knowledge. - Luc De Raedt; Johan Feyaerts; Maurice Bruynooghe (J. Exp. Theor. Artif. Intell., 1992)

Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. - Gerda Janssens; Maurice Bruynooghe (J. Log. Program., 1992)

A unifying framework for concept-learning algorithms. - Luc De Raedt; Maurice Bruynooghe (Knowl. Eng. Rev., 1992)

Interactive Concept-Learning and Constructive Induction by Analogy. - Luc De Raedt; Maurice Bruynooghe (Mach. Learn., 1992)

A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. - Maurice Bruynooghe; Danny De Schreye; Bern Martens (New Gener. Comput., 1992)

Freeness Analysis for Logic Programs - And Correctness? - Michael Codish; Dennis Dams; Gilberto Filé; Maurice Bruynooghe (ICLP, 1993)

Freeness Analysis in the Presence of Numerical Constraints. - Veroniek Dumortier; Gerda Janssens; Maurice Bruynooghe; Michael Codish (ICLP, 1993)

A Theory of Clausal Discovery. - Luc De Raedt; Maurice Bruynooghe (IJCAI, 1993)

Using Abstract Interpretation for Goal Replacement. - Dmitri Boulanger; Maurice Bruynooghe (LOPSTR, 1993)

Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. - Dmitri Boulanger; Maurice Bruynooghe; Danny De Schreye (LPE, 1993)

Abstract Interpretation for (Constraint) Logic Programming. - Maurice Bruynooghe; Dmitri Boulanger (NATO ASI CP, 1993)

Freeness, Sharing, Linearity and Correctness - All at Once. - Maurice Bruynooghe; Michael Codish (WSA, 1993)

Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation. - Dmitri Boulanger; Maurice Bruynooghe (J. Symb. Comput., 1993)

Abstract Domains: a Model-Theoretic approach. - Dmitri Boulanger; Maurice Bruynooghe (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables. - Maurice Bruynooghe; Michael Codish; Anne Mulkers (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Using Call/Exit Analysis for Logic Program Transformation. - Dmitri Boulanger; Maurice Bruynooghe (LOPSTR, 1994)

Goal Dependent versus Goal Independent Analysis of Logic Programs. - Michael Codish; Maria J. García de la Banda; Maurice Bruynooghe; Manuel V. Hermenegildo (LPAR, 1994)

Abstracting s-semantincs Using A Model-Theoretic Approach. - Dmitri Boulanger; Maurice Bruynooghe; Marc Denecker (PLILP, 1994)

Abstracting Numerical Values in CLP(H, N). - Gerda Janssens; Maurice Bruynooghe; Vincent Englebert (PLILP, 1994)

A Systematic Construction of Abstract Domains - Dmitri Boulanger; Maurice Bruynooghe (SAS, 1994)

Iterative Versionspaces. - Gunther Sablon; Luc De Raedt; Maurice Bruynooghe (Artif. Intell., 1994)

Guest Editor's Introduction. - Maurice Bruynooghe; Saumya K. Debray; Manuel V. Hermenegildo; Michael J. Maher (J. Log. Program., 1994)

Live-Structure Dataflow Analysis for Prolog. - Anne Mulkers; William H. Winsborough; Maurice Bruynooghe (ACM Trans. Program. Lang. Syst., 1994)

Abstracting Unification: A Key Step in the Design of Logic Program Analyses. - Maurice Bruynooghe; Michael Codish; Anne Mulkers (Computer Science Today, 1995)

On the Practicality of Abstract Equation Systems. - Anne Mulkers; Wim Simoens; Gerda Janssens; Maurice Bruynooghe (ICLP, 1995)

A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. - Gerda Janssens; Maurice Bruynooghe; Veroniek Dumortier (ILPS, 1995)

Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. - Maurice Bruynooghe; Saumya K. Debray; Manuel V. Hermenegildo; Michael J. Maher (J. Log. Program., 1995)

CHICA, an Abductive Planning System Based on Event Calculus. - Lode Missiaen; Maurice Bruynooghe; Marc Denecker (J. Log. Comput., 1995)

Declarative Bias for Specific-to-General ILP Systems. - Hilde Adé; Luc De Raedt; Maurice Bruynooghe (Mach. Learn., 1995)

Improving Abstract Interpretations by Combining Domains. - Michael Codish; Anne Mulkers; Maurice Bruynooghe; Maria J. García de la Banda; Manuel V. Hermenegildo (ACM Trans. Program. Lang. Syst., 1995)

A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. - Maurice Bruynooghe; Bart Demoen; Dmitri Boulanger; Marc Denecker; Anne Mulkers (SAS, 1996)

On the Design of a Correct Freeness Analysis for Logic Programs. - Michael Codish; Dennis Dams; Gilberto Filé; Maurice Bruynooghe (J. Log. Program., 1996)

Global Analysis of Constraint Logic Programs. - Maria J. García de la Banda; Manuel V. Hermenegildo; Maurice Bruynooghe; Veroniek Dumortier; Gerda Janssens; Wim Simoens (ACM Trans. Program. Lang. Syst., 1996)

Live-Structure Analysis for Logic Programming Languages with Declarations. - Maurice Bruynooghe; Gerda Janssens; Andreas Kågedal (ICLP, 1997)

Exploiting Goal Independence in the Analysis of Logic Programs. - Michael Codish; Maurice Bruynooghe; Maria J. García de la Banda; Manuel V. Hermenegildo (J. Log. Program., 1997)

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. - Maurice Bruynooghe; Michael Leuschel; Konstantinos Sagonas (ESOP, 1998)

A Framework for Defining Distances Between First-Order Logic Objects. - Jan Ramon; Maurice Bruynooghe (ILP, 1998)

Binding-time Analysis for Mercury. - Wim Vanhoof; Maurice Bruynooghe (ICLP, 1999)

Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. - Nikolay Pelov; Maurice Bruynooghe (LPAR, 1999)

Detecting Unsolvable Queries for Definite Logic Programs - Maurice Bruynooghe; Henk Vandecasteele; D. Andre de Waal; Marc Denecker (J. Funct. Log. Program., 1999)

Towards Modular Binding-Time Analysis for First-order Mercury. - Wim Vanhoof; Maurice Bruynooghe (WOID@ICLP, 1999)

A Module Based Analysis for Memory Reuse in Mercury. - Nancy Mazur; Gerda Janssens; Maurice Bruynooghe (Computational Logic, 2000)

Towards a modular binding-time analysis for higher-order Mercury. - Wim Vanhoof; Maurice Bruynooghe (LOPSTR, 2000)

Extending constraint logic programming with open functions. - Nikolay Pelov; Maurice Bruynooghe (PPDP, 2000)

Benelog. - Maurice Bruynooghe (AI Commun., 2000)

Project Report on LP+: A Second Generation Logic Programming Language. - Danny De Schreye; Maurice Bruynooghe; Bart Demoen; Marc Denecker; Gerda Janssens; Bern Martens (AI Commun., 2000)

Logic Programming for Describing and Solving Planning Problems - Maurice Bruynooghe (CoRR, 2000)

A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems - Nikolay Pelov; Emmanuel De Mot; Maurice Bruynooghe (CoRR, 2000)

Pos(T): Analyzing Dependencies in Typed Logic Programs. - Maurice Bruynooghe; Wim Vanhoof; Michael Codish (Ershov Memorial Conference, 2001)

Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. - Marc Denecker; Nikolay Pelov; Maurice Bruynooghe (ICLP, 2001)

Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. - Nancy Mazur; Peter Ross; Gerda Janssens; Maurice Bruynooghe (ICLP, 2001)

When Size Does Matter. - Wim Vanhoof; Maurice Bruynooghe (LOPSTR, 2001)

Coherent Composition of Distributed Knowledge-Bases Through Abduction. - Ofer Arieli; Bert Van Nuffelen; Marc Denecker; Maurice Bruynooghe (LPAR, 2001)

Binding-Time Annotations Without Binding-Time Analysis. - Wim Vanhoof; Maurice Bruynooghe (LPAR, 2001)

A polynomial time computable metric between point sets. - Jan Ramon; Maurice Bruynooghe (Acta Informatica, 2001)

Logic programming revisited: Logic programs as inductive definitions. - Marc Denecker; Maurice Bruynooghe; V. Wiktor Marek (ACM Trans. Comput. Log., 2001)

A Portrait of a Scientist as a Computational Logician. - Maurice Bruynooghe; Luís Moniz Pereira; Jörg H. Siekmann; Maarten H. van Emden (Computational Logic: Logic Programming and Beyond, 2002)

On the Transformation of Object-Oriented Conceptual Models to Logical Theories. - Pieter Bekaert; Bert Van Nuffelen; Maurice Bruynooghe; David Gilis; Marc Denecker (ER, 2002)

A Fixed Point Semantics for Logic Programs Extended with Cuts. - Wim Vanhoof; Remko Tronçon; Maurice Bruynooghe (LOPSTR, 2002)

Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. - Ofer Arieli; Marc Denecker; Bert Van Nuffelen; Maurice Bruynooghe (Paraconsistent Computational Logic, 2002)

Information Extraction in Structured Documents Using Tree Automata Induction. - Raymond Kosala; Jan Van den Bussche; Maurice Bruynooghe; Hendrik Blockeel (PKDD, 2002)

Reuse of Results in Termination Analysis of Typed Logic Programs. - Maurice Bruynooghe; Michael Codish; Samir Genaim; Wim Vanhoof (SAS, 2002)

Storage Size Reduction by In-place Mapping of Arrays. - Remko Tronçon; Maurice Bruynooghe; Gerda Janssens; Francky Catthoor (VMCAI, 2002)

Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (COCV@ETAPS, 2002)

Special Issue on Program Development, Guest Editors' Introduction. - Maurice Bruynooghe; Kung-Kiu Lau (Theory Pract. Log. Program., 2002)

Logic program specialisation through partial deduction: Control issues. - Michael Leuschel; Maurice Bruynooghe (Theory Pract. Log. Program., 2002)

Multi-dimentsional Incremetal Loops Fusion for Data Locality. - Sven Verdoolaege; Maurice Bruynooghe; Gerda Janssens; Francky Catthoor (ASAP, 2003)

Translation of Aggregate Programs to Normal Logic Programs. - Nikolay Pelov; Marc Denecker; Maurice Bruynooghe (Answer Set Programming, 2003)

Automatic functional verification of memory oriented global source code transformations. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (HLDVT, 2003)

Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference. - Raymond Kosala; Maurice Bruynooghe; Jan Van den Bussche; Hendrik Blockeel (IJCAI, 2003)

An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (J. Univers. Comput. Sci., 2003)

Data Integration Using ID-Logic. - Bert Van Nuffelen; Alvaro Cortés-Calabuig; Marc Denecker; Ofer Arieli; Maurice Bruynooghe (CAiSE, 2004)

Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations. - Sven Verdoolaege; Rachid Seghir; Kristof Beyls; Vincent Loechner; Maurice Bruynooghe (CASES, 2004)

Database Repair by Signed Formulae. - Ofer Arieli; Marc Denecker; Bert Van Nuffelen; Maurice Bruynooghe (FoIKS, 2004)

Logic Programs with Annotated Disjunctions. - Joost Vennekens; Sofie Verbaeten; Maurice Bruynooghe (ICLP, 2004)

Specialising Interpreters Using Offline Partial Deduction. - Michael Leuschel; Stephen-John Craig; Maurice Bruynooghe; Wim Vanhoof (Program Development in Computational Logic, 2004)

Binding-Time Analysis for Mercury. - Wim Vanhoof; Maurice Bruynooghe; Michael Leuschel (Program Development in Computational Logic, 2004)

Partial Stable Models for Logic Programs with Aggregates. - Nikolay Pelov; Marc Denecker; Maurice Bruynooghe (LPNMR, 2004)

Coherent Integration of Databases by Abductive Logic Programming. - Ofer Arieli; Marc Denecker; Bert Van Nuffelen; Maurice Bruynooghe (J. Artif. Intell. Res., 2004)

Compact Representation of Knowledge Bases in Inductive Logic Programming. - Jan Struyf; Jan Ramon; Maurice Bruynooghe; Sofie Verbaeten; Hendrik Blockeel (Mach. Learn., 2004)

Enhancing a search algorithm to perform intelligent backtracking. - Maurice Bruynooghe (Theory Pract. Log. Program., 2004)

Offline specialisation in Prolog using a hand-written compiler generator. - Michael Leuschel; Jesper Jørgensen; Wim Vanhoof; Maurice Bruynooghe (Theory Pract. Log. Program., 2004)

Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. - Peter Vanbroekhoven; Gerda Janssens; Maurice Bruynooghe; Francky Catthoor (APLAS, 2005)

Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models. - Daan Fierens; Hendrik Blockeel; Maurice Bruynooghe; Jan Ramon (BNAIC, 2005)

Verification of Source Code Transformations by Program Equivalence Checking. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (CC, 2005)

Experiences with Enumeration of Integer Projections of Parametric Polytopes. - Sven Verdoolaege; Kristof Beyls; Maurice Bruynooghe; Francky Catthoor (CC, 2005)

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (DATE, 2005)

A Comparison of Approaches for Learning Probability Trees. - Daan Fierens; Jan Ramon; Hendrik Blockeel; Maurice Bruynooghe (ECML, 2005)

Learning (k, l)-Contextual Tree Languages for Information Extraction. - Stefan Raeymaekers; Maurice Bruynooghe; Jan Van den Bussche (ECML, 2005)

Multi-agent Relational Reinforcement Learning. - Tom Croonenborghs; Karl Tuyls; Jan Ramon; Maurice Bruynooghe (LAMAS, 2005)

Satisfiability Checking for PC(ID). - Maarten Mariën; Rudradeb Mitra; Marc Denecker; Maurice Bruynooghe (LPAR, 2005)

On the Local Closed-World Assumption of Data-Sources. - Alvaro Cortés-Calabuig; Marc Denecker; Ofer Arieli; Bert Van Nuffelen; Maurice Bruynooghe (LPNMR, 2005)

An ID-Logic Formalization of the Composition of Autonomous Databases. - Bert Van Nuffelen; Ofer Arieli; Alvaro Cortés-Calabuig; Maurice Bruynooghe (LPNMR, 2005)

Inference of Well-Typings for Logic Programs with Application to Termination Analysis. - Maurice Bruynooghe; John P. Gallagher; Wouter Van Humbeeck (SAS, 2005)

Predicate Introduction Under Stable and Well-Founded Semantics. - Johan Wittocx; Joost Vennekens; Maarten Mariën; Marc Denecker; Maurice Bruynooghe (ICLP, 2006)

Distance-Based Repairs of Databases. - Ofer Arieli; Marc Denecker; Maurice Bruynooghe (JELIA, 2006)

Representing Causal Information About a Probabilistic Process. - Joost Vennekens; Marc Denecker; Maurice Bruynooghe (JELIA, 2006)

Representation of Partial Knowledge and Query Answering in Locally Complete Databases. - Alvaro Cortés-Calabuig; Marc Denecker; Ofer Arieli; Maurice Bruynooghe (LPAR, 2006)

Polymorphic algebraic data type reconstruction. - Tom Schrijvers; Maurice Bruynooghe (PPDP, 2006)

Computational methods for database repair by signed formulae. - Ofer Arieli; Marc Denecker; Bert Van Nuffelen; Maurice Bruynooghe (Ann. Math. Artif. Intell., 2006)

Information extraction from structured documents using k-testable tree automaton inference. - Raymond Kosala; Hendrik Blockeel; Maurice Bruynooghe; Jan Van den Bussche (Data Knowl. Eng., 2006)

Approximate Query Answering in Locally Closed Databases. - Alvaro Cortés-Calabuig; Marc Denecker; Ofer Arieli; Maurice Bruynooghe (AAAI, 2007)

Online Learning and Exploiting Relational Models in Reinforcement Learning. - Tom Croonenborghs; Jan Ramon; Hendrik Blockeel; Maurice Bruynooghe (IJCAI, 2007)

Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning. - Tom Croonenborghs; Kurt Driessens; Maurice Bruynooghe (ILP, 2007)

Learning Directed Probabilistic Logical Models Using Ordering-Search. - Daan Fierens; Jan Ramon; Maurice Bruynooghe; Hendrik Blockeel (ILP, 2007)

A Polynomial-time Metric for Outerplanar Graphs. - Leander Schietgat; Jan Ramon; Maurice Bruynooghe (MLG, 2007)

Mining data from intensive care patients. - Jan Ramon; Daan Fierens; Fabian Güiza Grandas; Geert Meyfroidt; Hendrik Blockeel; Maurice Bruynooghe; Greta Van den Berghe (Adv. Eng. Informatics, 2007)

Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions. - Sven Verdoolaege; Rachid Seghir; Kristof Beyls; Vincent Loechner; Maurice Bruynooghe (Algorithmica, 2007)

Distance semantics for database repair. - Ofer Arieli; Marc Denecker; Maurice Bruynooghe (Ann. Math. Artif. Intell., 2007)

A practical dynamic single assignment transformation. - Peter Vanbroekhoven; Gerda Janssens; Maurice Bruynooghe; Francky Catthoor (ACM Trans. Design Autom. Electr. Syst., 2007)

Termination analysis of logic programs through combination of type-based norms. - Maurice Bruynooghe; Michael Codish; John P. Gallagher; Samir Genaim; Wim Vanhoof (ACM Trans. Program. Lang. Syst., 2007)

Well-founded and stable semantics of logic programs with aggregates. - Nikolay Pelov; Marc Denecker; Maurice Bruynooghe (Theory Pract. Log. Program., 2007)

An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules. - Leander Schietgat; Jan Ramon; Maurice Bruynooghe; Hendrik Blockeel (Discovery Science, 2008)

Sub Node Extraction with Tree Based Wrappers. - Stefan Raeymaekers; Maurice Bruynooghe (ECAI, 2008)

Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison. - Sven Verdoolaege; Maurice Bruynooghe (ITSL, 2008)

Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. - Alvaro Cortés-Calabuig; Marc Denecker; Ofer Arieli; Maurice Bruynooghe (KR, 2008)

From Monomorphic to Polymorphic Well-Typings and Beyond. - Tom Schrijvers; Maurice Bruynooghe; John P. Gallagher (LOPSTR, 2008)

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. - Maarten Mariën; Johan Wittocx; Marc Denecker; Maurice Bruynooghe (SAT, 2008)

Learning directed probabilistic logical models: ordering-search versus structure-search. - Daan Fierens; Jan Ramon; Maurice Bruynooghe; Hendrik Blockeel (Ann. Math. Artif. Intell., 2008)

Learning ( k , l )-contextual tree languages for information extraction from web pages. - Stefan Raeymaekers; Maurice Bruynooghe; Jan Van den Bussche (Mach. Learn., 2008)

Generalized ordering-search for learning directed probabilistic logical models. - Jan Ramon; Tom Croonenborghs; Daan Fierens; Hendrik Blockeel; Maurice Bruynooghe (Mach. Learn., 2008)

A Transformational Approach for Proving Properties of the CHR Constraint Store. - Paolo Pilozzi; Tom Schrijvers; Maurice Bruynooghe (LOPSTR, 2009)

Dynamic Data Analysis and Data Mining for Prediction of Clinical Stability. - Kristien Van Loon; Fabian Güiza Grandas; Geert Meyfroidt; Jean-Marie Aerts; Jan Ramon; Hendrik Blockeel; Maurice Bruynooghe; Greta Van den Berghe; Daniel Berckmans (MIE, 2009)

An Exercise with Statistical Relational Learning Systems. - Maurice Bruynooghe; Daan Fierens; Bernd Gutmann; Angelika Kimmig; Niels Landwehr; Wannes Meert; Ingo Thon; Luc De Raedt (MLG/SRL@ILP, 2009)

From ProbLog to First Order Logic: A First Exploration. - Joost Vennekens; Angelika Kimmig; Theofrastos Mantadelis; Bernd Gutmann; Luc De Raedt; Maurice Bruynooghe (MLG/SRL@ILP, 2009)

CP-logic: A language of causal probabilistic events and its relation to logic programming. - Joost Vennekens; Marc Denecker; Maurice Bruynooghe (Theory Pract. Log. Program., 2009)

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 (ECAI, 2010)

Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. - Joost Vennekens; Maurice Bruynooghe; Marc Denecker (JELIA, 2010)

An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. - Hanne Vlaeminck; Johan Wittocx; Joost Vennekens; Marc Denecker; Maurice Bruynooghe (JELIA, 2010)

FO(ID) as an extension of DL with rules. - Joost Vennekens; Marc Denecker; Maurice Bruynooghe (Ann. Math. Artif. Intell., 2010)

Constraint Propagation for Extended First-Order Logic - Johan Wittocx; Marc Denecker; Maurice Bruynooghe (CoRR, 2010)

Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. - Sven Verdoolaege; Martin Palkovic; Maurice Bruynooghe; Gerda Janssens; Francky Catthoor (J. Electron. Test., 2010)

Prediction of Clinical Conditions after Coronary Bypass Surgery using Dynamic Data Analysis. - Kristien Van Loon; Fabian Güiza Grandas; Geert Meyfroidt; Jean-Marie Aerts; Jan Ramon; Hendrik Blockeel; Maurice Bruynooghe; Greta Van den Berghe; Daniel Berckmans (J. Medical Syst., 2010)

A comparison of pruning criteria for probability trees. - Daan Fierens; Jan Ramon; Hendrik Blockeel; Maurice Bruynooghe (Mach. Learn., 2010)

Towards a logical reconstruction of a theory for locally closed databases. - Marc Denecker; Alvaro Cortés-Calabuig; Maurice Bruynooghe; Ofer Arieli (ACM Trans. Database Syst., 2010)

Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. - Marc Denecker; Joost Vennekens; Hanne Vlaeminck; Johan Wittocx; Maurice Bruynooghe (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Computerized prediction of intensive care unit discharge after cardiac surgery: development and validation of a Gaussian processes model. - Geert Meyfroidt; Fabian Güiza Grandas; Dominiek Cottem; Wilfried De Becker; Kristien Van Loon; Jean-Marie Aerts; Daniel Berckmans; Jan Ramon; Maurice Bruynooghe; Greta Van den Berghe (BMC Medical Informatics Decis. Mak., 2011)

The magic of logical inference in probabilistic programming. - Bernd Gutmann; Ingo Thon; Angelika Kimmig; Maurice Bruynooghe; Luc De Raedt (Theory Pract. Log. Program., 2011)

Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. - Marc Denecker; Maurice Bruynooghe; Joost Vennekens (Correct Reasoning, 2012)

Modeling Machine Learning and Data Mining Problems with FO(·). - Hendrik Blockeel; Bart Bogaerts 001; Maurice Bruynooghe; Broes De Cat; Stef De Pooter; Marc Denecker; Anthony Labarre; Jan Ramon; Sicco Verwer (ICLP (Technical Communications), 2012)

Ordered Epistemic Logic: Semantics, Complexity and Applications. - Hanne Vlaeminck; Joost Vennekens; Maurice Bruynooghe; Marc Denecker (KR, 2012)

An approximative inference method for solving ∃∀SO satisfiability problems. - Hanne Vlaeminck; Joost Vennekens; Marc Denecker; Maurice Bruynooghe (J. Artif. Intell. Res., 2012)

Equivalence checking of static affine programs using widening to handle recurrences. - Sven Verdoolaege; Gerda Janssens; Maurice Bruynooghe (ACM Trans. Program. Lang. Syst., 2012)

Guided Monte Carlo Tree Search for Planning in Learned Environments. - Jelle Van Eyck; Jan Ramon; Fabian Güiza Grandas; Geert Meyfroidt; Maurice Bruynooghe; Greta Van den Berghe (ACML, 2013)

A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics. - Leander Schietgat; Jan Ramon; Maurice Bruynooghe (Ann. Math. Artif. Intell., 2013)

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. - Maurice Bruynooghe; Hendrik Blockeel; Bart Bogaerts 001; Broes De Cat; Stef De Pooter; Joachim Jansen; Anthony Labarre; Jan Ramon; Marc Denecker; Sicco Verwer (CoRR, 2013)

Constraint Propagation for First-Order Logic and Inductive Definitions. - Johan Wittocx; Marc Denecker; Maurice Bruynooghe (ACM Trans. Comput. Log., 2013)

Detection and exploitation of functional dependencies for model generation. - Broes De Cat; Maurice Bruynooghe (Theory Pract. Log. Program., 2013)

Predicate Logic as a Modelling Language: The IDP System. - Broes De Cat; Bart Bogaerts 001; Maurice Bruynooghe; Marc Denecker (CoRR, 2014)

Mining Rooted Ordered Trees under Homeomorphism. - Mostafa Haghir Chehreghani; Maurice Bruynooghe (CoRR, 2014)

Simulating Dynamic Systems Using Linear Time Calculus Theories. - Bart Bogaerts 001; Joachim Jansen; Maurice Bruynooghe; Broes De Cat; Joost Vennekens; Marc Denecker (Theory Pract. Log. Program., 2014)

Lazy Model Expansion: Interleaving Grounding with Search. - Broes De Cat; Marc Denecker; Maurice Bruynooghe; Peter J. Stuckey (J. Artif. Intell. Res., 2015)

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. - Maurice Bruynooghe; Hendrik Blockeel; Bart Bogaerts 001; Broes De Cat; Stef De Pooter; Joachim Jansen; Anthony Labarre; Jan Ramon; Marc Denecker; Sicco Verwer (Theory Pract. Log. Program., 2015)

Improved Static Symmetry Breaking for SAT. - Jo Devriendt; Bart Bogaerts 001; Maurice Bruynooghe; Marc Denecker (SAT, 2016)

First Order Logic with Inductive Definitions for Model-Based Problem Solving. - Maurice Bruynooghe; Marc Denecker; Miroslaw Truszczynski (AI Mag., 2016)

A MIP Backend for the IDP System. - San Tu Pham; Jo Devriendt; Maurice Bruynooghe; Patrick De Causmaecker (CoRR, 2016)

Mining rooted ordered trees under subtree homeomorphism. - Mostafa Haghir Chehreghani; Maurice Bruynooghe (Data Min. Knowl. Discov., 2016)

Bootstrapping Inference in the IDP Knowledge Base System. - Bart Bogaerts 001; Joachim Jansen; Broes De Cat; Gerda Janssens; Maurice Bruynooghe; Marc Denecker (New Gener. Comput., 2016)

On local domain symmetry for model expansion. - Jo Devriendt; Bart Bogaerts 001; Maurice Bruynooghe; Marc Denecker (Theory Pract. Log. Program., 2016)

Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. - Jo Devriendt; Bart Bogaerts 001; Maurice Bruynooghe (SAT, 2017)

Predicate logic as a modeling language: the IDP system. - Broes De Cat; Bart Bogaerts 001; Maurice Bruynooghe; Gerda Janssens; Marc Denecker (Declarative Logic Programming, 2018)

Improving Parity Game Solvers with Justifications. - Ruben Lapauw; Maurice Bruynooghe; Marc Denecker (VMCAI, 2020)

Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. - Linde Vanbesien; Maurice Bruynooghe; Marc Denecker (Theory Pract. Log. Program., 2022)

Justifications and a Reconstruction of Parity Game Solving Algorithms. - Ruben Lapauw; Maurice Bruynooghe; Marc Denecker (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Towards Systematic Treatment of Partial Functions in Knowledge Representation. - Djordje Markovic; Maurice Bruynooghe; Marc Denecker (JELIA, 2023)

Using Symmetries to Lift Satisfiability Checking. - Pierre Carbonnelle; Gottfried Schenner; Maurice Bruynooghe; Bart Bogaerts 001; Marc Denecker (AAAI, 2024)