Maurice Bruynooghe

ORCID

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 18

Top Venues

CoRR

Theory Pract. Log. Program.

SAT

VMCAI

Publications

Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
Using Symmetries to Lift Satisfiability Checking. AAAI (2024)
Djordje Markovic, Maurice Bruynooghe, Marc Denecker
Towards Systematic Treatment of Partial Functions in Knowledge Representation. JELIA (2023)
Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
Using Symmetries to Lift Satisfiability Checking. CoRR (2023)
Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Justifications and a Reconstruction of Parity Game Solving Algorithms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. Theory Pract. Log. Program. 22 (4) (2022)
Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. CoRR (2021)
Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Justifications and a Reconstruction of Parity Game Solving Algorithms. CoRR (2021)
Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Improving Parity Game Solvers with Justifications. VMCAI (2020)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe
Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. SAT (2017)
San Tu Pham, Jo Devriendt, Maurice Bruynooghe, Patrick De Causmaecker
A MIP Backend for the IDP System. CoRR (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Improved Static Symmetry Breaking for SAT. SAT (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
On Local Domain Symmetry for Model Expansion. CoRR (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
On local domain symmetry for model expansion. Theory Pract. Log. Program. 16 (5-6) (2016)
Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski
First Order Logic with Inductive Definitions for Model-Based Problem Solving. AI Mag. 37 (3) (2016)
Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Bootstrapping Inference in the IDP Knowledge Base System. New Gener. Comput. 34 (3) (2016)
Mostafa Haghir Chehreghani, Maurice Bruynooghe
Mining rooted ordered trees under subtree homeomorphism. Data Min. Knowl. Discov. 30 (5) (2016)
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
. Theory Pract. Log. Program. 15 (6) (2015)
Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey
Lazy Model Expansion: Interleaving Grounding with Search. J. Artif. Intell. Res. 52 (2015)
Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe
Lazy Model Expansion: Interleaving Grounding with Search. CoRR (2014)
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Predicate Logic as a Modelling Language: The IDP System. CoRR (2014)
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Simulating Dynamic Systems Using Linear Time Calculus Theories. Theory Pract. Log. Program. 14 (4-5) (2014)
Mostafa Haghir Chehreghani, Maurice Bruynooghe
Mining Rooted Ordered Trees under Homeomorphism. CoRR (2014)
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Simulating dynamic systems using Linear Time Calculus theories. CoRR (2014)
Broes De Cat, Maurice Bruynooghe
Detection and exploitation of functional dependencies for model generation. Theory Pract. Log. Program. 13 (4-5) (2013)
Jelle Van Eyck, Jan Ramon, Fabian Güiza Grandas, Geert Meyfroidt, Maurice Bruynooghe, Greta Van den Berghe
Guided Monte Carlo Tree Search for Planning in Learned Environments. ACML (2013)
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. CoRR (2013)
Johan Wittocx, Marc Denecker, Maurice Bruynooghe
Constraint Propagation for First-Order Logic and Inductive Definitions. ACM Trans. Comput. Log. 14 (3) (2013)
Leander Schietgat, Jan Ramon, Maurice Bruynooghe
A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics. Ann. Math. Artif. Intell. 69 (4) (2013)
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
Equivalence checking of static affine programs using widening to handle recurrences. ACM Trans. Program. Lang. Syst. 34 (3) (2012)
Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer
Modeling Machine Learning and Data Mining Problems with FO(·). ICLP (Technical Communications) (2012)
Marc Denecker, Maurice Bruynooghe, Joost Vennekens
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. Correct Reasoning (2012)
Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
An approximative inference method for solving ∃∀SO satisfiability problems. J. Artif. Intell. Res. 45 (2012)
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
Ordered Epistemic Logic: Semantics, Complexity and Applications. KR (2012)
Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen
Coherent Integration of Databases by Abductive Logic Programming CoRR (2011)
Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt
The Magic of Logical Inference in Probabilistic Programming CoRR (2011)
Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt
The magic of logical inference in probabilistic programming. Theory Pract. Log. Program. 11 (4-5) (2011)
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
Computerized prediction of intensive care unit discharge after cardiac surgery: development and validation of a Gaussian processes model. BMC Medical Informatics Decis. Mak. 11 (2011)
Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Johan Wittocx, Marc Denecker, Maurice Bruynooghe
Constraint Propagation for Extended First-Order Logic CoRR (2010)
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
FO(ID) as an extension of DL with rules. Ann. Math. Artif. Intell. 58 (1-2) (2010)
Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. JELIA (2010)
Marc Denecker, Alvaro Cortés-Calabuig, Maurice Bruynooghe, Ofer Arieli
Towards a logical reconstruction of a theory for locally closed databases. ACM Trans. Database Syst. 35 (3) (2010)
Joost Vennekens, Maurice Bruynooghe, Marc Denecker
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. JELIA (2010)
Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe
A comparison of pruning criteria for probability trees. Mach. Learn. 78 (1-2) (2010)
Kristien Van Loon, Fabian Güiza Grandas, Geert Meyfroidt, Jean-Marie Aerts, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe, Greta Van den Berghe, Daniel Berckmans
Prediction of Clinical Conditions after Coronary Bypass Surgery using Dynamic Data Analysis. J. Medical Syst. 34 (3) (2010)
Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt
ProbLog Technology for Inference in a Probabilistic First Order Logic. ECAI (2010)
Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. J. Electron. Test. 26 (2) (2010)
Kristien Van Loon, Fabian Güiza Grandas, Geert Meyfroidt, Jean-Marie Aerts, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe, Greta Van den Berghe, Daniel Berckmans
Dynamic Data Analysis and Data Mining for Prediction of Clinical Stability. MIE (2009)
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming CoRR (2009)
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. CAV (2009)
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
CP-logic: A language of causal probabilistic events and its relation to logic programming. Theory Pract. Log. Program. 9 (3) (2009)
Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe
A Transformational Approach for Proving Properties of the CHR Constraint Store. LOPSTR (2009)
Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
Experience with widening based equivalence checking in realistic multimedia systems. HLDVT (2009)
Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe
Generalized ordering-search for learning directed probabilistic logical models. Mach. Learn. 70 (2-3) (2008)
Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher
From Monomorphic to Polymorphic Well-Typings and Beyond. LOPSTR (2008)
Stefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche
)-contextual tree languages for information extraction from web pages. Mach. Learn. 71 (2-3) (2008)
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. KR (2008)
Leander Schietgat, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules. Discovery Science (2008)
Sven Verdoolaege, Maurice Bruynooghe
Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison. ITSL (2008)
Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. SAT (2008)
Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel
Learning directed probabilistic logical models: ordering-search versus structure-search. Ann. Math. Artif. Intell. 54 (1-3) (2008)
Stefan Raeymaekers, Maurice Bruynooghe
Sub Node Extraction with Tree Based Wrappers. ECAI (2008)
Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe
Online Learning and Exploiting Relational Models in Reinforcement Learning. IJCAI (2007)
Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof
Termination analysis of logic programs through combination of type-based norms. ACM Trans. Program. Lang. Syst. 29 (2) (2007)
Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel
Learning Directed Probabilistic Logical Models Using Ordering-Search. ILP (2007)
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
Distance semantics for database repair. Ann. Math. Artif. Intell. 50 (3-4) (2007)
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
Approximate Query Answering in Locally Closed Databases. AAAI (2007)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code CoRR (2007)
Tom Croonenborghs, Kurt Driessens, Maurice Bruynooghe
Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning. ILP (2007)
Leander Schietgat, Jan Ramon, Maurice Bruynooghe
A Polynomial-time Metric for Outerplanar Graphs. MLG (2007)
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions. Algorithmica 48 (1) (2007)
Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel
Learning Directed Probabilistic Logical Models: Ordering-Search Versus Structure-Search. ECML (2007)
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
Well-founded and stable semantics of logic programs with aggregates. Theory Pract. Log. Program. 7 (3) (2007)
Jan Ramon, Daan Fierens, Fabian Güiza Grandas, Geert Meyfroidt, Hendrik Blockeel, Maurice Bruynooghe, Greta Van den Berghe
Mining data from intensive care patients. Adv. Eng. Informatics 21 (3) (2007)
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor
A practical dynamic single assignment transformation. ACM Trans. Design Autom. Electr. Syst. 12 (4) (2007)
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
Distance-Based Repairs of Databases. JELIA (2006)
Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe
Predicate Introduction Under Stable and Well-Founded Semantics. ICLP (2006)
Raymond Kosala, Hendrik Blockeel, Maurice Bruynooghe, Jan Van den Bussche
-testable tree automaton inference. Data Knowl. Eng. 58 (2) (2006)
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
Representation of Partial Knowledge and Query Answering in Locally Complete Databases. LPAR (2006)
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
Computational methods for database repair by signed formulae. Ann. Math. Artif. Intell. 46 (1-2) (2006)
Tom Schrijvers, Maurice Bruynooghe
Polymorphic algebraic data type reconstruction. PPDP (2006)
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Representing Causal Information About a Probabilistic Process. JELIA (2006)
Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe
Generalized Ordering-Search for Learning Directed Probabilistic Logical Models. ILP (2006)
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
On the Local Closed-World Assumption of Data-Sources. BNAIC (2005)
Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe, Jan Ramon
Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models. ILP (2005)
Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe
An ID-Logic Formalization of the Composition of Autonomous Databases. LPNMR (2005)
Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe, Jan Ramon
Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models. BNAIC (2005)
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. APLAS (2005)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Verification of Source Code Transformations by Program Equivalence Checking. CC (2005)
Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe
A Comparison of Approaches for Learning Probability Trees. ECML (2005)
Stefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche
Learning (k, l)-Contextual Tree Languages for Information Extraction. ECML (2005)
Tom Croonenborghs, Karl Tuyls, Jan Ramon, Maurice Bruynooghe
Multi-agent Relational Reinforcement Learning. LAMAS (2005)
Maarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe
Satisfiability Checking for PC(ID). LPAR (2005)
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. DATE (2005)
Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor
Experiences with Enumeration of Integer Projections of Parametric Polytopes. CC (2005)
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
On the Local Closed-World Assumption of Data-Sources. LPNMR (2005)
Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck
Inference of Well-Typings for Logic Programs with Application to Termination Analysis. SAS (2005)
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
Well-founded and Stable Semantics of Logic Programs with Aggregates CoRR (2005)
Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
Logic programs with annotated disjunctions. NMR (2004)
Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe
Offline specialisation in Prolog using a hand-written compiler generator. Theory Pract. Log. Program. 4 (1-2) (2004)

Maurice Bruynooghe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maurice Bruynooghe