Maurice Bruynooghe

Identifiers

• name variant Maurice Bruynooghe 0.60 · backfill

Papers (17)

1. A MIP Backend for the IDP System cs.AI · 2016 · author #3
2. On Local Domain Symmetry for Model Expansion cs.LO · 2016 · author #3
3. Mining Rooted Ordered Trees under Subtree Homeomorphism cs.DB · 2014 · author #2
4. Lazy Model Expansion: Interleaving Grounding with Search cs.LO · 2014 · author #4
5. Predicate Logic as a Modelling Language: The IDP System cs.LO · 2014 · author #3
6. Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3 cs.LO · 2013 · author #1
7. The Magic of Logical Inference in Probabilistic Programming cs.LO · 2011 · author #4
8. Constraint Propagation for First-Order Logic and Inductive Definitions cs.LO · 2010 · author #3
9. CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming cs.AI · 2009 · author #3
10. Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code cs.LO · 2007 · author #2
11. Well-founded and Stable Semantics of Logic Programs with Aggregates cs.LO · 2005 · author #3
12. Enhancing a Search Algorithm to Perform Intelligent Backtracking cs.AI · 2003 · author #1
13. Offline Specialisation in Prolog Using a Hand-Written Compiler Generator cs.PL · 2002 · author #4
14. Logic program specialisation through partial deduction: Control issues cs.PL · 2002 · author #2
15. Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog cs.LO · 2000 · author #2
16. A Polyvariant Binding-Time Analysis for Off-line Partial Deduction cs.PL · 2000 · author #1
17. A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems cs.LO · 2000 · author #3

Mentions

• 1412.1470 #2 · backfill · confidence 0.70 Maurice Bruynooghe
• 1402.6889 #4 · backfill · confidence 0.70 Maurice Bruynooghe
• 1401.6312 #3 · backfill · confidence 0.70 Maurice Bruynooghe
• 1309.6883 #1 · backfill · confidence 0.70 Maurice Bruynooghe
• 1107.5152 #4 · backfill · confidence 0.70 Maurice Bruynooghe
• 1008.2121 #3 · backfill · confidence 0.70 Maurice Bruynooghe
• 0904.1672 #3 · backfill · confidence 0.70 Maurice Bruynooghe
• 0710.4689 #2 · backfill · confidence 0.70 Maurice Bruynooghe

Frequent Coauthors

• Marc Denecker 7 shared papers
• Bart Bogaerts 3 shared papers
• Broes De Cat 3 shared papers
• Michael Leuschel 3 shared papers
• Nikolay Pelov 3 shared papers
• Gerda Janssens 2 shared papers
• Jo Devriendt 2 shared papers
• Angelika Kimmig 1 shared papers
• Anthony Labarre 1 shared papers
• Belgium) 1 shared papers
• Bernd Gutmann 1 shared papers
• Emmanuel De Mot 1 shared papers
• Francky Catthoor 1 shared papers
• Hendrik Blockeel 1 shared papers
• Ingo Thon 1 shared papers
• Jan Ramon 1 shared papers
• Jesper Joergensen 1 shared papers
• Joachim Jansen 1 shared papers
• Johan Wittocx 1 shared papers
• Joost Vennekens 1 shared papers