Maurice Bruynooghe

251 papers A* 10A 15B 46C 13Misc 3Journal 94Unranked 60
YearRankTypeTitle / Venue / Authors
2024 A* conf
Using Symmetries to Lift Satisfiability Checking.
AAAI
Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
2023 — conf
Justifications and a Reconstruction of Parity Game Solving Algorithms.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
2023 B conf
Towards Systematic Treatment of Partial Functions in Knowledge Representation.
JELIA
Djordje Markovic, Maurice Bruynooghe, Marc Denecker
2023 J jnl
Using Symmetries to Lift Satisfiability Checking.
CoRR
Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
2022 J jnl
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory.
Theory Pract. Log. Program.
Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
2021 J jnl
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory.
CoRR
Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
2021 J jnl
Justifications and a Reconstruction of Parity Game Solving Algorithms.
CoRR
Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
2020 B conf
Improving Parity Game Solvers with Justifications.
VMCAI
Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
2018 — ch.
Predicate logic as a modeling language: the IDP system.
Declarative Logic Programming
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker
2017 A conf
Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT.
SAT
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe
2016 J jnl
A MIP Backend for the IDP System.
CoRR
San Tu Pham, Jo Devriendt, Maurice Bruynooghe, Patrick De Causmaecker
2016 J jnl
Bootstrapping Inference in the IDP Knowledge Base System.
New Gener. Comput.
Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
2016 J jnl
First Order Logic with Inductive Definitions for Model-Based Problem Solving.
AI Mag.
Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski
2016 A conf
Improved Static Symmetry Breaking for SAT.
SAT
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2016 J jnl
Mining rooted ordered trees under subtree homeomorphism.
Data Min. Knowl. Discov.
Mostafa Haghir Chehreghani, Maurice Bruynooghe
2016 J jnl
On Local Domain Symmetry for Model Expansion.
CoRR
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2016 J jnl
On local domain symmetry for model expansion.
Theory Pract. Log. Program.
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2015 J jnl
Lazy Model Expansion: Interleaving Grounding with Search.
J. Artif. Intell. Res.
Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey
2015 J jnl
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with
Theory Pract. Log. Program.
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
2014 J jnl
Lazy Model Expansion: Interleaving Grounding with Search.
CoRR
Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe
2014 J jnl
Mining Rooted Ordered Trees under Homeomorphism.
CoRR
Mostafa Haghir Chehreghani, Maurice Bruynooghe
2014 J jnl
Predicate Logic as a Modelling Language: The IDP System.
CoRR
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
2014 J jnl
Simulating Dynamic Systems Using Linear Time Calculus Theories.
Theory Pract. Log. Program.
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2014 J jnl
Simulating dynamic systems using Linear Time Calculus theories.
CoRR
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2013 J jnl
A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics.
Ann. Math. Artif. Intell.
Leander Schietgat, Jan Ramon, Maurice Bruynooghe
2013 J jnl
Constraint Propagation for First-Order Logic and Inductive Definitions.
ACM Trans. Comput. Log.
Johan Wittocx, Marc Denecker, Maurice Bruynooghe
2013 J jnl
Detection and exploitation of functional dependencies for model generation.
Theory Pract. Log. Program.
Broes De Cat, Maurice Bruynooghe
2013 C conf
Guided Monte Carlo Tree Search for Planning in Learned Environments.
ACML
Jelle Van Eyck, Jan Ramon, Fabian Güiza Grandas, Geert Meyfroidt, Maurice Bruynooghe, Greta Van den Berghe
2013 J jnl
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3.
CoRR
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
2012 J jnl
An approximative inference method for solving ∃∀SO satisfiability problems.
J. Artif. Intell. Res.
Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2012 — conf
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs.
Correct Reasoning
Marc Denecker, Maurice Bruynooghe, Joost Vennekens
2012 J jnl
Equivalence checking of static affine programs using widening to handle recurrences.
ACM Trans. Program. Lang. Syst.
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
2012 — conf
Modeling Machine Learning and Data Mining Problems with FO(·).
ICLP (Technical Communications)
Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer
2012 A* conf
Ordered Epistemic Logic: Semantics, Complexity and Applications.
KR
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
2011 — conf
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
2011 J jnl
Coherent Integration of Databases by Abductive Logic Programming
CoRR
Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen
2011 J jnl
Computerized prediction of intensive care unit discharge after cardiac surgery: development and validation of a Gaussian processes model.
BMC Medical Informatics Decis. Mak.
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
2011 J jnl
The Magic of Logical Inference in Probabilistic Programming
CoRR
Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt
2011 J jnl
The magic of logical inference in probabilistic programming.
Theory Pract. Log. Program.
Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt
2010 J jnl
A comparison of pruning criteria for probability trees.
Mach. Learn.
Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe
2010 B conf
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems.
JELIA
Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2010 J jnl
Constraint Propagation for Extended First-Order Logic
CoRR
Johan Wittocx, Marc Denecker, Maurice Bruynooghe
2010 B conf
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic.
JELIA
Joost Vennekens, Maurice Bruynooghe, Marc Denecker
2010 J jnl
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems.
J. Electron. Test.
Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
2010 J jnl
FO(ID) as an extension of DL with rules.
Ann. Math. Artif. Intell.
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2010 J jnl
Prediction of Clinical Conditions after Coronary Bypass Surgery using Dynamic Data Analysis.
J. Medical Syst.
Kristien Van Loon, Fabian Güiza Grandas, Geert Meyfroidt, Jean-Marie Aerts, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe, Greta Van den Berghe, Daniel Berckmans
2010 A conf
ProbLog Technology for Inference in a Probabilistic First Order Logic.
ECAI
Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt
2010 J jnl
Towards a logical reconstruction of a theory for locally closed databases.
ACM Trans. Database Syst.
Marc Denecker, Alvaro Cortés-Calabuig, Maurice Bruynooghe, Ofer Arieli
2009 C conf
A Transformational Approach for Proving Properties of the CHR Constraint Store.
LOPSTR
Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe
2009 — conf
An Exercise with Statistical Relational Learning Systems.
MLG/SRL@ILP
Maurice Bruynooghe, Daan Fierens, Bernd Gutmann, Angelika Kimmig, Niels Landwehr, Wannes Meert, Ingo Thon, Luc De Raedt
2009 J jnl
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming
CoRR
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2009 J jnl
CP-logic: A language of causal probabilistic events and its relation to logic programming.
Theory Pract. Log. Program.
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2009 — conf
Dynamic Data Analysis and Data Mining for Prediction of Clinical Stability.
MIE
Kristien Van Loon, Fabian Güiza Grandas, Geert Meyfroidt, Jean-Marie Aerts, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe, Greta Van den Berghe, Daniel Berckmans
2009 A* conf
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences.
CAV
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
2009 — conf
Experience with widening based equivalence checking in realistic multimedia systems.
HLDVT
Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
2009 — conf
From ProbLog to First Order Logic: A First Exploration.
MLG/SRL@ILP
Joost Vennekens, Angelika Kimmig, Theofrastos Mantadelis, Bernd Gutmann, Luc De Raedt, Maurice Bruynooghe
2008 A* conf
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases.
KR
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2008 — conf
Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison.
ITSL
Sven Verdoolaege, Maurice Bruynooghe
2008 B conf
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules.
Discovery Science
Leander Schietgat, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel
2008 C conf
From Monomorphic to Polymorphic Well-Typings and Beyond.
LOPSTR
Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher
2008 J jnl
Generalized ordering-search for learning directed probabilistic logical models.
Mach. Learn.
Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe
2008 J jnl
Learning (
Mach. Learn.
Stefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche
2008 J jnl
Learning directed probabilistic logical models: ordering-search versus structure-search.
Ann. Math. Artif. Intell.
Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel
2008 A conf
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.
SAT
Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe
2008 A conf
Sub Node Extraction with Tree Based Wrappers.
ECAI
Stefan Raeymaekers, Maurice Bruynooghe
2007 — conf
A Polynomial-time Metric for Outerplanar Graphs.
MLG
Leander Schietgat, Jan Ramon, Maurice Bruynooghe
2007 J jnl
A practical dynamic single assignment transformation.
ACM Trans. Design Autom. Electr. Syst.
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor
2007 A* conf
Approximate Query Answering in Locally Closed Databases.
AAAI
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2007 J jnl
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions.
Algorithmica
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe
2007 J jnl
Distance semantics for database repair.
Ann. Math. Artif. Intell.
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
2007 J jnl
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code
CoRR
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
2007 B conf
Learning Directed Probabilistic Logical Models Using Ordering-Search.
ILP
Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel
2007 — conf
Learning Directed Probabilistic Logical Models: Ordering-Search Versus Structure-Search.
ECML
Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel
2007 B conf
Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning.
ILP
Tom Croonenborghs, Kurt Driessens, Maurice Bruynooghe
2007 J jnl
Mining data from intensive care patients.
Adv. Eng. Informatics
Jan Ramon, Daan Fierens, Fabian Güiza Grandas, Geert Meyfroidt, Hendrik Blockeel, Maurice Bruynooghe, Greta Van den Berghe
2007 A* conf
Online Learning and Exploiting Relational Models in Reinforcement Learning.
IJCAI
Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe
2007 J jnl
Termination analysis of logic programs through combination of type-based norms.
ACM Trans. Program. Lang. Syst.
Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof
2007 J jnl
Well-founded and stable semantics of logic programs with aggregates.
Theory Pract. Log. Program.
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2006 J jnl
Computational methods for database repair by signed formulae.
Ann. Math. Artif. Intell.
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2006 B conf
Distance-Based Repairs of Databases.
JELIA
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
2006 B conf
Generalized Ordering-Search for Learning Directed Probabilistic Logical Models.
ILP
Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe
2006 J jnl
Information extraction from structured documents using
Data Knowl. Eng.
Raymond Kosala, Hendrik Blockeel, Maurice Bruynooghe, Jan Van den Bussche
2006 C conf
Polymorphic algebraic data type reconstruction.
PPDP
Tom Schrijvers, Maurice Bruynooghe
2006 B conf
Predicate Introduction Under Stable and Well-Founded Semantics.
ICLP
Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe
2006 B conf
Representation of Partial Knowledge and Query Answering in Locally Complete Databases.
LPAR
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2006 B conf
Representing Causal Information About a Probabilistic Process.
JELIA
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2005 — conf
A Comparison of Approaches for Learning Probability Trees.
ECML
Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe
2005 B conf
An ID-Logic Formalization of the Composition of Autonomous Databases.
LPNMR
Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe
2005 B conf
Experiences with Enumeration of Integer Projections of Parametric Polytopes.
CC
Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor
2005 A conf
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code.
DATE
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
2005 B conf
Inference of Well-Typings for Logic Programs with Application to Termination Analysis.
SAS
Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck
2005 — conf
Learning (k, l)-Contextual Tree Languages for Information Extraction.
ECML
Stefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche
2005 — conf
Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models.
BNAIC
Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe, Jan Ramon
2005 B conf
Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models.
ILP
Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe, Jan Ramon
2005 — conf
Multi-agent Relational Reinforcement Learning.
LAMAS
Tom Croonenborghs, Karl Tuyls, Jan Ramon, Maurice Bruynooghe
2005 — conf
On the Local Closed-World Assumption of Data-Sources.
BNAIC
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
2005 B conf
On the Local Closed-World Assumption of Data-Sources.
LPNMR
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
2005 B conf
Satisfiability Checking for PC(ID).
LPAR
Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe
2005 B conf
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis.
APLAS
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor
2005 B conf
Verification of Source Code Transformations by Program Equivalence Checking.
CC
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
2005 J jnl
Well-founded and Stable Semantics of Logic Programs with Aggregates
CoRR
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2004 Misc conf
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations.
CASES
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe
2004 — ch.
Binding-Time Analysis for Mercury.
Program Development in Computational Logic
Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel
2004 J jnl
Coherent Integration of Databases by Abductive Logic Programming.
J. Artif. Intell. Res.
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2004 J jnl
Compact Representation of Knowledge Bases in Inductive Logic Programming.
Mach. Learn.
Jan Struyf, Jan Ramon, Maurice Bruynooghe, Sofie Verbaeten, Hendrik Blockeel
2004 A conf
Data Integration Using ID-Logic.
CAiSE
Bert Van Nuffelen, Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2004 — conf
Database Repair by Signed Formulae.
FoIKS
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2004 J jnl
Enhancing a search algorithm to perform intelligent backtracking.
Theory Pract. Log. Program.
Maurice Bruynooghe
2004 C ed.
Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
LOPSTR
Maurice Bruynooghe
2004 B conf
Logic Programs with Annotated Disjunctions.
ICLP
Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
2004 — conf
Logic programs with annotated disjunctions.
NMR
Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
2004 J jnl
Offline specialisation in Prolog using a hand-written compiler generator.
Theory Pract. Log. Program.
Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe
2004 B conf
Partial Stable Models for Logic Programs with Aggregates.
LPNMR
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2004 — book
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
Program Development in Computational Logic
Maurice Bruynooghe, Kung-Kiu Lau
2004 — ch.
Specialising Interpreters Using Offline Partial Deduction.
Program Development in Computational Logic
Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof
2003 J jnl
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs.
J. Univers. Comput. Sci.
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
2003 — conf
Automatic functional verification of memory oriented global source code transformations.
HLDVT
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
2003 J jnl
Enhancing a Search Algorithm to Perform Intelligent Backtracking
CoRR
Maurice Bruynooghe
2003 A* conf
Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference.
IJCAI
Raymond Kosala, Maurice Bruynooghe, Jan Van den Bussche, Hendrik Blockeel
2003 — conf
Multi-dimentsional Incremetal Loops Fusion for Data Locality.
ASAP
Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
2003 — conf
Translation of Aggregate Programs to Normal Logic Programs.
Answer Set Programming
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
2002 C conf
A Fixed Point Semantics for Logic Programs Extended with Cuts.
LOPSTR
Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe
2002 — conf
A Portrait of a Scientist as a Computational Logician.
Computational Logic: Logic Programming and Beyond
Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden
2002 — conf
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations.
COCV
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
2002 — conf
Information Extraction in Structured Documents Using Tree Automata Induction.
PKDD
Raymond Kosala, Jan Van den Bussche, Maurice Bruynooghe, Hendrik Blockeel
2002 J jnl
Logic program specialisation through partial deduction: Control issues
CoRR
Michael Leuschel, Maurice Bruynooghe
2002 J jnl
Logic program specialisation through partial deduction: Control issues.
Theory Pract. Log. Program.
Michael Leuschel, Maurice Bruynooghe
2002 J jnl
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
CoRR
Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe
2002 A conf
On the Transformation of Object-Oriented Conceptual Models to Logical Theories.
ER
Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker
2002 — conf
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning.
Paraconsistent Computational Logic
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2002 B conf
Reuse of Results in Termination Analysis of Typed Logic Programs.
SAS
Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof
2002 J jnl
Special Issue on Program Development, Guest Editors' Introduction.
Theory Pract. Log. Program.
Maurice Bruynooghe, Kung-Kiu Lau
2002 B conf
Storage Size Reduction by In-place Mapping of Arrays.
VMCAI
Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
2001 J jnl
A polynomial time computable metric between point sets.
Acta Informatica
Jan Ramon, Maurice Bruynooghe
2001 B conf
Binding-Time Annotations Without Binding-Time Analysis.
LPAR
Wim Vanhoof, Maurice Bruynooghe
2001 B conf
Coherent Composition of Distributed Knowledge-Bases Through Abduction.
LPAR
Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe
2001 J jnl
Logic programming revisited: Logic programs as inductive definitions.
ACM Trans. Comput. Log.
Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek
2001 — conf
Pos(T): Analyzing Dependencies in Typed Logic Programs.
Ershov Memorial Conference
Maurice Bruynooghe, Wim Vanhoof, Michael Codish
2001 J jnl
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
CoRR
Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe
2001 B conf
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury.
ICLP
Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe
2001 B conf
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.
ICLP
Marc Denecker, Nikolay Pelov, Maurice Bruynooghe
2001 C conf
When Size Does Matter.
LOPSTR
Wim Vanhoof, Maurice Bruynooghe
2000 J jnl
A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems
CoRR
Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe
2000 — conf
A Module Based Analysis for Memory Reuse in Mercury.
Computational Logic
Nancy Mazur, Gerda Janssens, Maurice Bruynooghe
2000 J jnl
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
CoRR
Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas
2000 J jnl
Benelog.
AI Commun.
Maurice Bruynooghe
2000 J jnl
Detecting Unsolvable Queries for Definite Logic Programs
CoRR
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
2000 C conf
Extending constraint logic programming with open functions.
PPDP
Nikolay Pelov, Maurice Bruynooghe
2000 J jnl
Logic Programming for Describing and Solving Planning Problems
CoRR
Maurice Bruynooghe
2000 J jnl
Project Report on LP
AI Commun.
Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens
2000 J jnl
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog
CoRR
Nikolay Pelov, Maurice Bruynooghe
2000 C conf
Towards a modular binding-time analysis for higher-order Mercury.
LOPSTR
Wim Vanhoof, Maurice Bruynooghe
1999 B conf
Binding-time Analysis for Mercury.
ICLP
Wim Vanhoof, Maurice Bruynooghe
1999 J jnl
Detecting Unsolvable Queries for Definite Logic Programs
J. Funct. Log. Program.
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
1999 B conf
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.
LPAR
Nikolay Pelov, Maurice Bruynooghe
1999 — conf
Towards Modular Binding-Time Analysis for First-order Mercury.
WOID@ICLP
Wim Vanhoof, Maurice Bruynooghe
1998 B conf
A Framework for Defining Distances Between First-Order Logic Objects.
ILP
Jan Ramon, Maurice Bruynooghe
1998 A conf
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.
ESOP
Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas
1998 — conf
Detecting Unsolvable Queries for Definite Logic Programs.
PLILP/ALP
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
1997 J jnl
Exploiting Goal Independence in the Analysis of Logic Programs.
J. Log. Program.
Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
1997 B conf
Live-Structure Analysis for Logic Programming Languages with Declarations.
ICLP
Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal
1996 B conf
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.
SAS
Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers
1996 J jnl
Global Analysis of Constraint Logic Programs.
ACM Trans. Program. Lang. Syst.
Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens
1996 J jnl
On the Design of a Correct Freeness Analysis for Logic Programs.
J. Log. Program.
Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
1995 — conf
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs.
ILPS
Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier
1995 — ch.
Abstracting Unification: A Key Step in the Design of Logic Program Analyses.
Computer Science Today
Maurice Bruynooghe, Michael Codish, Anne Mulkers
1995 J jnl
CHICA, an Abductive Planning System Based on Event Calculus.
J. Log. Comput.
Lode Missiaen, Maurice Bruynooghe, Marc Denecker
1995 J jnl
Declarative Bias for Specific-to-General ILP Systems.
Mach. Learn.
Hilde Adé, Luc De Raedt, Maurice Bruynooghe
1995 J jnl
Guest Editors' Introduction: Special Section: Ten Years of Logic Programming.
J. Log. Program.
Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher
1995 J jnl
Improving Abstract Interpretations by Combining Domains.
ACM Trans. Program. Lang. Syst.
Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
1995 B conf
On the Practicality of Abstract Equation Systems.
ICLP
Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe
1994 B conf
A Systematic Construction of Abstract Domains
SAS
Dmitri Boulanger, Maurice Bruynooghe
1994 — conf
Abstract Domains: a Model-Theoretic approach.
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
Dmitri Boulanger, Maurice Bruynooghe
1994 — conf
Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables.
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
Maurice Bruynooghe, Michael Codish, Anne Mulkers
1994 — conf
Abstracting Numerical Values in CLP(H, N).
PLILP
Gerda Janssens, Maurice Bruynooghe, Vincent Englebert
1994 — conf
Abstracting s-semantincs Using A Model-Theoretic Approach.
PLILP
Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker
1994 B conf
Goal Dependent versus Goal Independent Analysis of Logic Programs.
LPAR
Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo
1994 J jnl
Guest Editor's Introduction.
J. Log. Program.
Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher
1994 J jnl
Iterative Versionspaces.
Artif. Intell.
Gunther Sablon, Luc De Raedt, Maurice Bruynooghe
1994 J jnl
Live-Structure Dataflow Analysis for Prolog.
ACM Trans. Program. Lang. Syst.
Anne Mulkers, William H. Winsborough, Maurice Bruynooghe
1994 — ed.
Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994
ILPS
Maurice Bruynooghe
1994 C conf
Using Call/Exit Analysis for Logic Program Transformation.
LOPSTR
Dmitri Boulanger, Maurice Bruynooghe
1993 A* conf
A Theory of Clausal Discovery.
IJCAI
Luc De Raedt, Maurice Bruynooghe
1993 — conf
Abstract Interpretation for (Constraint) Logic Programming.
NATO ASI CP
Maurice Bruynooghe, Dmitri Boulanger
1993 — conf
Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs.
LPE
Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye
1993 J jnl
Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation.
J. Symb. Comput.
Dmitri Boulanger, Maurice Bruynooghe
1993 B conf
Freeness Analysis for Logic Programs - And Correctness?
ICLP
Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
1993 B conf
Freeness Analysis in the Presence of Numerical Constraints.
ICLP
Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish
1993 — conf
Freeness, Sharing, Linearity and Correctness - All at Once.
WSA
Maurice Bruynooghe, Michael Codish
1993 C conf
Improving Abstract Interpretations by Combining Domains.
PEPM
Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
1993 — ed.
Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings
PLILP
Maurice Bruynooghe, Jaan Penjam
1993 C conf
Using Abstract Interpretation for Goal Replacement.
LOPSTR
Dmitri Boulanger, Maurice Bruynooghe
1992 — conf
A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns.
FGCS
Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe
1992 J jnl
A General Criterion for Avoiding Infinite Unfolding during Partial Deduction.
New Gener. Comput.
Maurice Bruynooghe, Danny De Schreye, Bern Martens
1992 J jnl
A unifying framework for concept-learning algorithms.
Knowl. Eng. Rev.
Luc De Raedt, Maurice Bruynooghe
1992 — conf
Abstract interpretation for constraint logic programming.
JFPL
Maurice Bruynooghe
1992 J jnl
Acquiring object-knowledge.
J. Exp. Theor. Artif. Intell.
Luc De Raedt, Johan Feyaerts, Maurice Bruynooghe
1992 J jnl
Belief Updating from Integrity Constraints and Queries.
Artif. Intell.
Luc De Raedt, Maurice Bruynooghe
1992 J jnl
Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation.
J. Log. Program.
Gerda Janssens, Maurice Bruynooghe
1992 C conf
Deriving Transformations for Logic Programs Using Abstract Interpretation.
LOPSTR
Dmitri Boulanger, Maurice Bruynooghe
1992 J jnl
Interactive Concept-Learning and Constructive Induction by Analogy.
Mach. Learn.
Luc De Raedt, Maurice Bruynooghe
1992 A conf
Inverse Resolution in an Integrated Inductive-Deductive Learning System.
ECAI
Hilde Adé, Luc De Raedt, Maurice Bruynooghe
1992 — ed.
Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings
PLILP
Maurice Bruynooghe, Martin Wirsing
1992 — conf
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs.
META
Maurice Bruynooghe, Gerda Janssens
1992 — conf
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures.
FGCS
Bern Martens, Danny De Schreye, Maurice Bruynooghe
1992 A conf
Temporal Reasoning with Abductive Event Calculus.
ECAI
Marc Denecker, Lode Missiaen, Maurice Bruynooghe
1991 — conf
A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs.
ISLP
Maurice Bruynooghe, Danny De Schreye, Bern Martens
1991 J jnl
A Practical Framework for the Abstract Interpretation of Logic Programs.
J. Log. Program.
Maurice Bruynooghe
1991 — conf
Acquiring Object-Knowledge for Learning Systems.
EWSL
Luc De Raedt, Johan Feyaerts, Maurice Bruynooghe
1991 J jnl
Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs.
J. Autom. Reason.
Danny De Schreye, Bern Martens, Gunther Sablon, Maurice Bruynooghe
1991 — conf
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions.
PDK
Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens
1991 — conf
Integrity Constraints and Interactive Concept-Learning.
ML
Luc De Raedt, Maurice Bruynooghe, Bern Martens
1991 — conf
Intelligent Backtracking Revisted.
Computational Logic - Essays in Honor of Alan Robinson
Maurice Bruynooghe
1991 — conf
On Abstracting the Procedural Behaviour of Logic Programs.
RCLP
Gerda Janssens, Maurice Bruynooghe
1991 J jnl
The Derivation of an Algorithm for Program Specialisation.
New Gener. Comput.
John P. Gallagher, Maurice Bruynooghe
1990 B conf
A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs.
ICLP
Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe
1990 B conf
Analysis of Shared Data Structures for Compile-Time Garbage.
ICLP
Anne Mulkers, William H. Winsborough, Maurice Bruynooghe
1990 B conf
Generation and Compilation of Efficient Computation Rules.
ICLP
Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe
1990 A conf
Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism.
ESOP
Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe
1990 J jnl
Indirect relevance and bias in inductive concept-learning.
Knowl. Acquis.
Luc De Raedt, Maurice Bruynooghe
1990 A conf
On Negation and Three-Valued Logic in Interactive Concept-Learning.
ECAI
Luc De Raedt, Maurice Bruynooghe
1990 — conf
On the Automatic Generation of Events in Delta Prolog.
PLILP
Veroniek Dumortier, Maurice Bruynooghe
1990 B conf
The Derivation of an Algorithm for Program Specialisation.
ICLP
John P. Gallagher, Maurice Bruynooghe
1989 J jnl
Compiling Control.
J. Log. Program.
Maurice Bruynooghe, Danny De Schreye, Bruno Krekels
1989 — conf
Constructive Induction by Analogy.
ML
Luc De Raedt, Maurice Bruynooghe
1989 A* conf
Explanation Based Program Transformation.
IJCAI
Maurice Bruynooghe, Luc De Raedt, Danny De Schreye
1989 — conf
Generalizing Multiple Examples in Explanation Based Learning.
AII
Gunther Sablon, Luc De Raedt, Maurice Bruynooghe
1989 J jnl
On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses.
Artif. Intell.
Danny De Schreye, Maurice Bruynooghe, Kristof Verschaetse
1989 J jnl
On the Transformation of Logic Programs with Instantiation Based Computation Rules.
J. Symb. Comput.
Danny De Schreye, Maurice Bruynooghe
1989 — conf
Some Thoughts on the Role of Examples in Program Transformation and its Relevance for Explanation-based Learning.
AII
Maurice Bruynooghe, Danny De Schreye
1989 B conf
The Impact of Abstract Interpretation: An Experiment in Code Generation.
ICLP
André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe
1989 A* conf
Towards Friendly Concept-Learners.
IJCAI
Luc De Raedt, Maurice Bruynooghe
1988 — conf
An Application of Abstract Interpretation in Source Level Program Transformation.
PLILP
Danny De Schreye, Maurice Bruynooghe
1988 — conf
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing.
ICLP/SLP
Maurice Bruynooghe, Gerda Janssens
1988 — conf
Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph.
Expert Database Conf.
Bern Martens, Maurice Bruynooghe
1988 A conf
On Implementing Logic Programming Languages on a Dataflow Architecture.
ESOP
Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Haondt
1988 — conf
On Interactive Concept-Learning and Assimilation.
EWSL
Luc De Raedt, Maurice Bruynooghe
1988 — conf
The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation.
META
Danny De Schreye, Maurice Bruynooghe
1987 — conf
Abstract Interpretation: Towards the Global Optimization of Prolog Programs.
SLP
Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen
1986 — conf
Compiling Control.
SLP
Maurice Bruynooghe, Danny De Schreye, Bruno Krekels
1986 Misc conf
Empirical Study of some Constraints Satisfaction Algorithms.
AIMSA
Willem Rosiers, Maurice Bruynooghe
1986 Misc conf
Is Logic Programming "Real" Programming?
AIMSA
Maurice Bruynooghe
1985 — conf
The Centralized Scheduler vs. the Distributed Specialists: Towards a Flexible Controller in Prolog for Expert Systems.
Wissensbasierte Systeme
Raf Venken, Maurice Bruynooghe, Luc Dekeyser, Bruno Krekels
1985 — conf
Towards a Real-Time Garbage Collector for Prolog.
SLP
Edwin Pittomvils, Maurice Bruynooghe, Yves D. Willems
1984 — ch.
Deduction Revision by Intelligent Backtracking.
Implementations of Prolog
Maurice Bruynooghe, Luís Moniz Pereira
1984 — ch.
Garbage Collection in Prolog Interpreters.
Implementations of Prolog
Maurice Bruynooghe
1983 B conf
Some Reflexions on Implementation Issues of Prolog.
Logic Programming Workshop
Maurice Bruynooghe
1982 B conf
A Note on Garbage-Collection in Prolog Interpreters.
ICLP
Maurice Bruynooghe
1982 B conf
Adding Redundancy to Obtain more Reliable and Readable Prolog Programs.
ICLP
Maurice Bruynooghe
1981 J jnl
Solving Combinatorial Search Problems by Intelligent Backtracking.
Inf. Process. Lett.
Maurice Bruynooghe
1980 A conf
Analysis of Dependencies to Improve the Behaviour of Logic Programs.
CADE
Maurice Bruynooghe