 | 2009 |
|---|
| 190 |       | Sven Verdoolaege,
Gerda Janssens,
Maurice Bruynooghe:
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences.
CAV 2009: 599-613 |
| 189 | | Kristien Van Loon,
Fabián Güiza,
Geert Meyfroidt,
Jean-Marie Aerts,
Jan Ramon,
Hendrik Blockeel,
Maurice Bruynooghe,
Greet Vanden Berghe,
Daniel Berckmans:
Dynamic Data Analysis and Data Mining for Prediction of Clinical Stability.
MIE 2009: 590-594 |
| 188 | | Joost Vennekens,
Marc Denecker,
Maurice Bruynooghe:
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming
CoRR abs/0904.1672: (2009) |
| 2008 |
|---|
| 187 | | Leander Schietgat,
Jan Ramon,
Maurice Bruynooghe,
Hendrik Blockeel:
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules.
Discovery Science 2008: 197-209 |
| 186 | | Stefan Raeymaekers,
Maurice Bruynooghe:
Sub Node Extraction with Tree Based Wrappers.
ECAI 2008: 137-141 |
| 185 |  | Sven Verdoolaege,
Maurice Bruynooghe:
Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison.
ITSL 2008: 60-66 |
| 184 | | 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: 81-91 |
| 183 | | Tom Schrijvers,
Maurice Bruynooghe,
John P. Gallagher:
From Monomorphic to Polymorphic Well-Typings and Beyond.
LOPSTR 2008: 152-167 |
| 182 | | Maarten Mariën,
Johan Wittocx,
Marc Denecker,
Maurice Bruynooghe:
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.
SAT 2008: 211-224 |
| 181 | | 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): 99-133 (2008) |
| 180 | | Jan Ramon,
Tom Croonenborghs,
Daan Fierens,
Hendrik Blockeel,
Maurice Bruynooghe:
Generalized ordering-search for learning directed probabilistic logical models.
Machine Learning 70(2-3): 169-188 (2008) |
| 179 | | Stefan Raeymaekers,
Maurice Bruynooghe,
Jan Van den Bussche:
Learning ( k , l )-contextual tree languages for information extraction from web pages.
Machine Learning 71(2-3): 155-183 (2008) |
| 2007 |
|---|
| 178 | | Alvaro Cortés-Calabuig,
Marc Denecker,
Ofer Arieli,
Maurice Bruynooghe:
Approximate Query Answering in Locally Closed Databases.
AAAI 2007: 397-402 |
| 177 | | Daan Fierens,
Jan Ramon,
Maurice Bruynooghe,
Hendrik Blockeel:
Learning Directed Probabilistic Logical Models: Ordering-Search Versus Structure-Search.
ECML 2007: 567-574 |
| 176 | | Tom Croonenborghs,
Jan Ramon,
Hendrik Blockeel,
Maurice Bruynooghe:
Online Learning and Exploiting Relational Models in Reinforcement Learning.
IJCAI 2007: 726-731 |
| 175 | | Daan Fierens,
Jan Ramon,
Maurice Bruynooghe,
Hendrik Blockeel:
Learning Directed Probabilistic Logical Models Using Ordering-Search.
ILP 2007: 24 |
| 174 | | Tom Croonenborghs,
Kurt Driessens,
Maurice Bruynooghe:
Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning.
ILP 2007: 88-97 |
| 173 | | Leander Schietgat,
Jan Ramon,
Maurice Bruynooghe:
A Polynomial-time Metric for Outerplanar Graphs.
MLG 2007 |
| 172 | | Peter Vanbroekhoven,
Gerda Janssens,
Maurice Bruynooghe,
Francky Catthoor:
A practical dynamic single assignment transformation.
ACM Trans. Design Autom. Electr. Syst. 12(4): (2007) |
| 171 | | 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) |
| 170 | | Jan Ramon,
Daan Fierens,
Fabián Güiza,
Geert Meyfroidt,
Hendrik Blockeel,
Maurice Bruynooghe,
Greet Vanden Berghe:
Mining data from intensive care patients.
Advanced Engineering Informatics 21(3): 243-256 (2007) |
| 169 | | Sven Verdoolaege,
Rachid Seghir,
Kristof Beyls,
Vincent Loechner,
Maurice Bruynooghe:
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions.
Algorithmica 48(1): 37-66 (2007) |
| 168 | | Ofer Arieli,
Marc Denecker,
Maurice Bruynooghe:
Distance semantics for database repair.
Ann. Math. Artif. Intell. 50(3-4): 389-415 (2007) |
| 167 | | K. C. Shashidhar,
Maurice Bruynooghe,
Francky Catthoor,
Gerda Janssens:
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code
CoRR abs/0710.4689: (2007) |
| 166 | | Nikolay Pelov,
Marc Denecker,
Maurice Bruynooghe:
Well-founded and stable semantics of logic programs with aggregates.
TPLP 7(3): 301-353 (2007) |
| 2006 |
|---|
| 165 | | Johan Wittocx,
Joost Vennekens,
Maarten Mariën,
Marc Denecker,
Maurice Bruynooghe:
Predicate Introduction Under Stable and Well-Founded Semantics.
ICLP 2006: 242-256 |
| 164 | | Jan Ramon,
Tom Croonenborghs,
Daan Fierens,
Hendrik Blockeel,
Maurice Bruynooghe:
Generalized Ordering-Search for Learning Directed Probabilistic Logical Models.
ILP 2006: 40-42 |
| 163 | | Ofer Arieli,
Marc Denecker,
Maurice Bruynooghe:
Distance-Based Repairs of Databases.
JELIA 2006: 43-55 |
| 162 | | Joost Vennekens,
Marc Denecker,
Maurice Bruynooghe:
Representing Causal Information About a Probabilistic Process.
JELIA 2006: 452-464 |
| 161 | | Alvaro Cortés-Calabuig,
Marc Denecker,
Ofer Arieli,
Maurice Bruynooghe:
Representation of Partial Knowledge and Query Answering in Locally Complete Databases.
LPAR 2006: 407-421 |
| 160 | | Tom Schrijvers,
Maurice Bruynooghe:
Polymorphic algebraic data type reconstruction.
PPDP 2006: 85-96 |
| 159 | | Ofer Arieli,
Marc Denecker,
Bert Van Nuffelen,
Maurice Bruynooghe:
Computational methods for database repair by signed formulae.
Ann. Math. Artif. Intell. 46(1-2): 4-37 (2006) |
| 158 | | Raymond Kosala,
Hendrik Blockeel,
Maurice Bruynooghe,
Jan Van den Bussche:
Information extraction from structured documents using k-testable tree automaton inference.
Data Knowl. Eng. 58(2): 129-158 (2006) |
| 2005 |
|---|
| 157 | | Peter Vanbroekhoven,
Gerda Janssens,
Maurice Bruynooghe,
Francky Catthoor:
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis.
APLAS 2005: 330-346 |
| 156 | | Alvaro Cortés-Calabuig,
Marc Denecker,
Ofer Arieli,
Bert Van Nuffelen,
Maurice Bruynooghe:
On the Local Closed-World Assumption of Data-Sources.
BNAIC 2005: 333-334 |
| 155 | | Daan Fierens,
Hendrik Blockeel,
Maurice Bruynooghe,
Jan Ramon:
Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models.
BNAIC 2005: 343-344 |
| 154 | | K. C. Shashidhar,
Maurice Bruynooghe,
Francky Catthoor,
Gerda Janssens:
Verification of Source Code Transformations by Program Equivalence Checking.
CC 2005: 221-236 |
| 153 | | Sven Verdoolaege,
Kristof Beyls,
Maurice Bruynooghe,
Francky Catthoor:
Experiences with Enumeration of Integer Projections of Parametric Polytopes.
CC 2005: 91-105 |
| 152 | | K. C. Shashidhar,
Maurice Bruynooghe,
Francky Catthoor,
Gerda Janssens:
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code.
DATE 2005: 1310-1315 |
| 151 | | Stefan Raeymaekers,
Maurice Bruynooghe,
Jan Van den Bussche:
Learning (k, l)-Contextual Tree Languages for Information Extraction.
ECML 2005: 305-316 |
| 150 | | Daan Fierens,
Jan Ramon,
Hendrik Blockeel,
Maurice Bruynooghe:
A Comparison of Approaches for Learning Probability Trees.
ECML 2005: 556-563 |
| 149 | | Daan Fierens,
Hendrik Blockeel,
Maurice Bruynooghe,
Jan Ramon:
Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models.
ILP 2005: 121-135 |
| 148 | | Tom Croonenborghs,
Karl Tuyls,
Jan Ramon,
Maurice Bruynooghe:
Multi-agent Relational Reinforcement Learning.
LAMAS 2005: 192-206 |
| 147 | | Maarten Mariën,
Rudradeb Mitra,
Marc Denecker,
Maurice Bruynooghe:
Satisfiability Checking for PC(ID).
LPAR 2005: 565-579 |
| 146 | | Bert Van Nuffelen,
Ofer Arieli,
Alvaro Cortés-Calabuig,
Maurice Bruynooghe:
An ID-Logic Formalization of the Composition of Autonomous Databases.
LPNMR 2005: 132-144 |
| 145 | | Alvaro Cortés-Calabuig,
Marc Denecker,
Ofer Arieli,
Bert Van Nuffelen,
Maurice Bruynooghe:
On the Local Closed-World Assumption of Data-Sources.
LPNMR 2005: 145-157 |
| 144 | | Maurice Bruynooghe,
John P. Gallagher,
Wouter Van Humbeeck:
Inference of Well-Typings for Logic Programs with Application to Termination Analysis.
SAS 2005: 35-51 |
| 143 | | Nikolay Pelov,
Marc Denecker,
Maurice Bruynooghe:
Well-founded and Stable Semantics of Logic Programs with Aggregates
CoRR abs/cs/0509024: (2005) |
| 2004 |
|---|
| 142 | | Maurice Bruynooghe:
Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Springer 2004 |
| 141 | | Maurice Bruynooghe,
Kung-Kiu Lau:
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
Springer 2004 |
| 140 | | Sven Verdoolaege,
Rachid Seghir,
Kristof Beyls,
Vincent Loechner,
Maurice Bruynooghe:
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations.
CASES 2004: 248-258 |
| 139 | | Bert Van Nuffelen,
Alvaro Cortés-Calabuig,
Marc Denecker,
Ofer Arieli,
Maurice Bruynooghe:
Data Integration Using ID-Logic.
CAiSE 2004: 67-81 |
| 138 | | Ofer Arieli,
Marc Denecker,
Bert Van Nuffelen,
Maurice Bruynooghe:
Database Repair by Signed Formulae.
FoIKS 2004: 14-30 |
| 137 | | Joost Vennekens,
Sofie Verbaeten,
Maurice Bruynooghe:
Logic Programs with Annotated Disjunctions.
ICLP 2004: 431-445 |
| 136 | | Nikolay Pelov,
Marc Denecker,
Maurice Bruynooghe:
Partial Stable Models for Logic Programs with Aggregates.
LPNMR 2004: 207-219 |
| 135 | | Joost Vennekens,
Sofie Verbaeten,
Maurice Bruynooghe:
Logic programs with annotated disjunctions.
NMR 2004: 409-415 |
| 134 | | Wim Vanhoof,
Maurice Bruynooghe,
Michael Leuschel:
Binding-Time Analysis for Mercury.
Program Development in Computational Logic 2004: 189-232 |
| 133 | | Michael Leuschel,
Stephen-John Craig,
Maurice Bruynooghe,
Wim Vanhoof:
Specialising Interpreters Using Offline Partial Deduction.
Program Development in Computational Logic 2004: 340-375 |
| 132 | | Ofer Arieli,
Marc Denecker,
Bert Van Nuffelen,
Maurice Bruynooghe:
Coherent Integration of Databases by Abductive Logic Programming.
J. Artif. Intell. Res. (JAIR) 21: 245-286 (2004) |
| 131 | | Jan Struyf,
Jan Ramon,
Maurice Bruynooghe,
Sofie Verbaeten,
Hendrik Blockeel:
Compact Representation of Knowledge Bases in Inductive Logic Programming.
Machine Learning 57(3): 305-333 (2004) |
| 130 | | Michael Leuschel,
Jesper Jørgensen,
Wim Vanhoof,
Maurice Bruynooghe:
Offline specialisation in Prolog using a hand-written compiler generator.
TPLP 4(1-2): 139-191 (2004) |
| 129 | | Maurice Bruynooghe:
Enhancing a search algorithm to perform intelligent backtracking.
TPLP 4(3): 371-380 (2004) |
| 2003 |
|---|
| 128 | | Sven Verdoolaege,
Maurice Bruynooghe,
Gerda Janssens,
Francky Catthoor:
Multi-dimentsional Incremetal Loops Fusion for Data Locality.
ASAP 2003: 17-27 |
| 127 | | Nikolay Pelov,
Marc Denecker,
Maurice Bruynooghe:
Translation of Aggregate Programs to Normal Logic Programs.
Answer Set Programming 2003 |
| 126 | | Raymond Kosala,
Maurice Bruynooghe,
Jan Van den Bussche,
Hendrik Blockeel:
Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference.
IJCAI 2003: 403-408 |
| 125 | | Maurice Bruynooghe:
Enhancing a Search Algorithm to Perform Intelligent Backtracking
CoRR cs.AI/0311003: (2003) |
| 124 | | K. C. Shashidhar,
Maurice Bruynooghe,
Francky Catthoor,
Gerda Janssens:
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs.
J. UCS 9(3): 248-269 (2003) |
| 2002 |
|---|
| 123 | | Maurice Bruynooghe,
Luís Moniz Pereira,
Jörg H. Siekmann,
Maarten H. van Emden:
A Portrait of a Scientist as a Computational Logician.
Computational Logic: Logic Programming and Beyond 2002: 1-4 |
| 122 | | Pieter Bekaert,
Bert Van Nuffelen,
Maurice Bruynooghe,
David Gilis,
Marc Denecker:
On the Transformation of Object-Oriented Conceptual Models to Logical Theories.
ER 2002: 152-166 |
| 121 | | Wim Vanhoof,
Remko Tronçon,
Maurice Bruynooghe:
A Fixed Point Semantics for Logic Programs Extended with Cuts.
LOPSTR 2002: 238-257 |
| 120 | | Raymond Kosala,
Jan Van den Bussche,
Maurice Bruynooghe,
Hendrik Blockeel:
Information Extraction in Structured Documents Using Tree Automata Induction.
PKDD 2002: 299-310 |
| 119 | | Ofer Arieli,
Marc Denecker,
Bert Van Nuffelen,
Maurice Bruynooghe:
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning.
Paraconsistent Computational Logic 2002: 51-65 |
| 118 | | Maurice Bruynooghe,
Michael Codish,
Samir Genaim,
Wim Vanhoof:
Reuse of Results in Termination Analysis of Typed Logic Programs.
SAS 2002: 477-492 |
| 117 | | Remko Tronçon,
Maurice Bruynooghe,
Gerda Janssens,
Francky Catthoor:
Storage Size Reduction by In-place Mapping of Arrays.
VMCAI 2002: 167-181 |
| 116 | | Michael Leuschel,
Maurice Bruynooghe:
Logic program specialisation through partial deduction: Control issues
CoRR cs.PL/0202012: (2002) |
| 115 | | Michael Leuschel,
Jesper Jørgensen,
Wim Vanhoof,
Maurice Bruynooghe:
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
CoRR cs.PL/0208009: (2002) |
| 114 | | K. C. Shashidhar,
Maurice Bruynooghe,
Francky Catthoor,
Gerda Janssens:
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations.
Electr. Notes Theor. Comput. Sci. 65(2): (2002) |
| 113 | | Maurice Bruynooghe,
Kung-Kiu Lau:
Special Issue on Program Development, Guest Editors' Introduction.
TPLP 2(4-5): 423-424 (2002) |
| 112 | | Michael Leuschel,
Maurice Bruynooghe:
Logic program specialisation through partial deduction: Control issues.
TPLP 2(4-5): 461-515 (2002) |
| 2001 |
|---|
| 111 | | Maurice Bruynooghe,
Wim Vanhoof,
Michael Codish:
Pos(T): Analyzing Dependencies in Typed Logic Programs.
Ershov Memorial Conference 2001: 406-420 |
| 110 | | Nancy Mazur,
Peter Ross,
Gerda Janssens,
Maurice Bruynooghe:
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury.
ICLP 2001: 105-119 |
| 109 | | Marc Denecker,
Nikolay Pelov,
Maurice Bruynooghe:
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.
ICLP 2001: 212-226 |
| 108 | | Wim Vanhoof,
Maurice Bruynooghe:
When Size Does Matter.
LOPSTR 2001: 129-147 |
| 107 | | Ofer Arieli,
Bert Van Nuffelen,
Marc Denecker,
Maurice Bruynooghe:
Coherent Composition of Distributed Knowledge-Bases Through Abduction.
LPAR 2001: 624-638 |
| 106 | | Wim Vanhoof,
Maurice Bruynooghe:
Binding-Time Annotations Without Binding-Time Analysis.
LPAR 2001: 707-722 |
| 105 | | Marc Denecker,
Maurice Bruynooghe,
V. Wiktor Marek:
Logic programming revisited: Logic programs as inductive definitions.
ACM Trans. Comput. Log. 2(4): 623-654 (2001) |
| 104 | | Jan Ramon,
Maurice Bruynooghe:
A polynomial time computable metric between point sets.
Acta Inf. 37(10): 765-780 (2001) |
| 103 | | Nancy Mazur,
Peter Ross,
Gerda Janssens,
Maurice Bruynooghe:
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
CoRR cs.PL/0110037: (2001) |
| 2000 |
|---|
| 102 | | Nancy Mazur,
Gerda Janssens,
Maurice Bruynooghe:
A Module Based Analysis for Memory Reuse in Mercury.
Computational Logic 2000: 1255-1269 |
| 101 | | Wim Vanhoof,
Maurice Bruynooghe:
Towards a modular binding-time analysis for higher-order Mercury.
LOPSTR 2000 |
| 100 | | Nikolay Pelov,
Maurice Bruynooghe:
Extending constraint logic programming with open functions.
PPDP 2000: 235-244 |
| 99 | | Danny De Schreye,
Maurice Bruynooghe,
Bart Demoen,
Marc Denecker,
Gerda Janssens,
Bern Martens:
Project Report on LP+: A Second Generation Logic Programming Language.
AI Commun. 13(1): 13-18 (2000) |
| 98 | | Maurice Bruynooghe:
Benelog.
AI Commun. 13(1): 7-8 (2000) |
| 97 | | Maurice Bruynooghe:
Logic Programming for Describing and Solving Planning Problems
CoRR cs.AI/0003025: (2000) |
| 96 | | Nikolay Pelov,
Emmanuel De Mot,
Maurice Bruynooghe:
A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems
CoRR cs.LO/0003026: (2000) |
| 95 | | Maurice Bruynooghe,
Henk Vandecasteele,
D. Andre de Waal,
Marc Denecker:
Detecting Unsolvable Queries for Definite Logic Programs
CoRR cs.LO/0003067: (2000) |
| 94 | | Nikolay Pelov,
Maurice Bruynooghe:
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog
CoRR cs.LO/0003069: (2000) |
| 93 | | Maurice Bruynooghe,
Michael Leuschel,
Konstantinos F. Sagonas:
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
CoRR cs.PL/0003068: (2000) |
| 1999 |
|---|
| 92 | | Wim Vanhoof,
Maurice Bruynooghe:
Binding-time Analysis for Mercury.
ICLP 1999: 500-514 |
| 91 | | Nikolay Pelov,
Maurice Bruynooghe:
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.
LPAR 1999: 358-375 |
| 90 | | Wim Vanhoof,
Maurice Bruynooghe:
Towards Modular Binding-Time Analysis for First-order Mercury.
Electr. Notes Theor. Comput. Sci. 30(2): (1999) |
| 89 | | Maurice Bruynooghe,
Henk Vandecasteele,
D. Andre de Waal,
Marc Denecker:
Detecting Unsolvable Queries for Definite Logic Programs
Journal of Functional and Logic Programming 1999(Special Issue 2): (1999) |
| 1998 |
|---|
| 88 | | Maurice Bruynooghe,
Michael Leuschel,
Konstantinos F. Sagonas:
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.
ESOP 1998: 27-41 |
| 87 | | Jan Ramon,
Maurice Bruynooghe:
A Framework for Defining Distances Between First-Order Logic Objects.
ILP 1998: 271-280 |
| 86 | | Maurice Bruynooghe,
Henk Vandecasteele,
D. Andre de Waal,
Marc Denecker:
Detecting Unsolvable Queries for Definite Logic Programs.
PLILP/ALP 1998: 118-133 |
| 1997 |
|---|
| 85 | | Maurice Bruynooghe,
Gerda Janssens,
Andreas Kågedal:
Live-Structure Analysis for Logic Programming Languages with Declarations.
ICLP 1997: 33-47 |
| 84 | | Michael Codish,
Maurice Bruynooghe,
Maria J. García de la Banda,
Manuel V. Hermenegildo:
Exploiting Goal Independence in the Analysis of Logic Programs.
J. Log. Program. 32(3): 247-261 (1997) |
| 1996 |
|---|
| 83 | | Maurice Bruynooghe,
Bart Demoen,
Dmitri Boulanger,
Marc Denecker,
Anne Mulkers:
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.
SAS 1996: 128-142 |
| 82 | | Maria J. García de la Banda,
Manuel V. Hermenegildo,
Maurice Bruynooghe,
Veroniek Dumortier,
Gerda Janssens,
Wim Simoens:
Global Analysis of Constraint Logic Programs.
ACM Trans. Program. Lang. Syst. 18(5): 564-614 (1996) |
| 81 | | Michael Codish,
Dennis Dams,
Gilberto Filé,
Maurice Bruynooghe:
On the Design of a Correct Freeness Analysis for Logic Programs.
J. Log. Program. 28(3): 181-206 (1996) |
| 1995 |
|---|
| 80 | | Anne Mulkers,
Wim Simoens,
Gerda Janssens,
Maurice Bruynooghe:
On the Practicality of Abstract Equation Systems.
ICLP 1995: 781-795 |
| 79 | | Gerda Janssens,
Maurice Bruynooghe,
Veroniek Dumortier:
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs.
ILPS 1995: 336-350 |
| 78 | | Maurice Bruynooghe,
Michael Codish,
Anne Mulkers:
Abstracting Unification: A Key Step in the Design of Logic Program Analyses.
Computer Science Today 1995: 406-425 |
| 77 | | Michael Codish,
Anne Mulkers,
Maurice Bruynooghe,
Maria J. García de la Banda,
Manuel V. Hermenegildo:
Improving Abstract Interpretations by Combining Domains.
ACM Trans. Program. Lang. Syst. 17(1): 28-44 (1995) |
| 76 | | Lode Missiaen,
Maurice Bruynooghe,
Marc Denecker:
CHICA, an Abductive Planning System Based on Event Calculus.
J. Log. Comput. 5(5): 579-602 (1995) |
| 75 | | Maurice Bruynooghe,
Saumya K. Debray,
Manuel V. Hermenegildo,
Michael J. Maher:
Guest Editors' Introduction: Special Section: Ten Years of Logic Programming.
J. Log. Program. 23(2): 87-88 (1995) |
| 74 | | Hilde Adé,
Luc De Raedt,
Maurice Bruynooghe:
Declarative Bias for Specific-to-General ILP Systems.
Machine Learning 20(1-2): 119-154 (1995) |
| 1994 |
|---|
| 73 | | Dmitri Boulanger,
Maurice Bruynooghe:
Using Call/Exit Analysis for Logic Program Transformation.
LOPSTR 1994: 36-50 |
| 72 | | Michael Codish,
Maria J. García de la Banda,
Maurice Bruynooghe,
Manuel V. Hermenegildo:
Goal Dependent versus Goal Independent Analysis of Logic Programs.
LPAR 1994: 305-319 |
| 71 | | Gerda Janssens,
Maurice Bruynooghe,
Vincent Englebert:
Abstracting Numerical Values in CLP(H, N).
PLILP 1994: 400-414 |
| 70 | | Dmitri Boulanger,
Maurice Bruynooghe,
Marc Denecker:
Abstracting s-semantincs Using A Model-Theoretic Approach.
PLILP 1994: 432-446 |
| 69 | | Dmitri Boulanger,
Maurice Bruynooghe:
A Systematic Construction of Abstract Domains
SAS 1994: 61-77 |
| 68 | | Anne Mulkers,
William H. Winsborough,
Maurice Bruynooghe:
Live-Structure Dataflow Analysis for Prolog.
ACM Trans. Program. Lang. Syst. 16(2): 205-258 (1994) |
| 67 | | Gunther Sablon,
Luc De Raedt,
Maurice Bruynooghe:
Iterative Versionspaces.
Artif. Intell. 69(1-2): 393-409 (1994) |
| 66 | | Maurice Bruynooghe,
Saumya K. Debray,
Manuel V. Hermenegildo,
Michael J. Maher:
Guest Editor's Introduction.
J. Log. Program. 19/20: 1-3 (1994) |
| 1993 |
|---|
| 65 | | Maurice Bruynooghe,
Jaan Penjam:
Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings
Springer 1993 |
| 64 | | Veroniek Dumortier,
Gerda Janssens,
Maurice Bruynooghe,
Michael Codish:
Freeness Analysis in the Presence of Numerical Constraints.
ICLP 1993: 100-115 |
| 63 | | Michael Codish,
Dennis Dams,
Gilberto Filé,
Maurice Bruynooghe:
Freeness Analysis for Logic Programs - And Correctness?
ICLP 1993: 116-131 |
| 62 | | Luc De Raedt,
Maurice Bruynooghe:
A Theory of Clausal Discovery.
IJCAI 1993: 1058-1063 |
| 61 | | Dmitri Boulanger,
Maurice Bruynooghe:
Using Abstract Interpretation for Goal Replacement.
LOPSTR 1993: 210-228 |
| 60 | | Dmitri Boulanger,
Maurice Bruynooghe,
Danny De Schreye:
Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs.
LPE 1993: 39-51 |
| 59 | | Michael Codish,
Anne Mulkers,
Maurice Bruynooghe,
Maria J. García de la Banda,
Manuel V. Hermenegildo:
Improving Abstract Interpretations by Combining Domains.
PEPM 1993: 194-205 |
| 58 | | Maurice Bruynooghe,
Michael Codish:
Freeness, Sharing, Linearity and Correctness - All at Once.
WSA 1993: 153-164 |
| 57 | | Dmitri Boulanger,
Maurice Bruynooghe:
Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation.
J. Symb. Comput. 15(5/6): 495-521 (1993) |
| 1992 |
|---|
| 56 | | Maurice Bruynooghe,
Martin Wirsing:
Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings
Springer 1992 |
| 55 | | Marc Denecker,
Lode Missiaen,
Maurice Bruynooghe:
Temporal Reasoning with Abductive Event Calculus.
ECAI 1992: 384-388 |
| 54 | | Hilde Adé,
Luc De Raedt,
Maurice Bruynooghe:
Inverse Resolution in an Integrated Inductive-Deductive Learning System.
ECAI 1992: 456-457 |
| 53 | | Bern Martens,
Danny De Schreye,
Maurice Bruynooghe:
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures.
FGCS 1992: 473-480 |
| 52 | | Danny De Schreye,
Kristof Verschaetse,
Maurice Bruynooghe:
A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns.
FGCS 1992: 481-488 |
| 51 | | Maurice Bruynooghe:
Abstract interpretation for constraint logic programming.
JFPL 1992 |
| 50 | | Dmitri Boulanger,
Maurice Bruynooghe:
Deriving Transformations for Logic Programs Using Abstract Interpretation.
LOPSTR 1992: 99-117 |
| 49 | | Maurice Bruynooghe,
Gerda Janssens:
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs.
META 1992: 294-307 |
| 48 | | Luc De Raedt,
Maurice Bruynooghe:
Belief Updating from Integrity Constraints and Queries.
Artif. Intell. 53(2-3): 291-307 (1992) |
| 47 | | Luc De Raedt,
Johan Feyaerts,
Maurice Bruynooghe:
Acquiring object-knowledge.
J. Exp. Theor. Artif. Intell. 4(3): 213-232 (1992) |
| 46 | | G. Janssen,
Maurice Bruynooghe:
Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation.
J. Log. Program. 13(2&3): 205-258 (1992) |
| 45 | | Luc De Raedt,
Maurice Bruynooghe:
Interactive Concept-Learning and Constructive Induction by Analogy.
Machine Learning 8: 107-150 (1992) |
| 44 | | Maurice Bruynooghe,
Danny De Schreye,
Bern Martens:
A General Criterion for Avoiding Infinite Unfolding during Partial Deduction.
New Generation Comput. 11(1): 47-79 (1992) |
| 1991 |
|---|
| 43 | | Maurice Bruynooghe:
Intelligent Backtracking Revisted.
Computational Logic - Essays in Honor of Alan Robinson 1991: 166-177 |
| 42 | | Luc De Raedt,
Johan Feyaerts,
Maurice Bruynooghe:
Acquiring Object-Knowledge for Learning Systems.
EWSL 1991: 245-264 |
| 41 | | Maurice Bruynooghe,
Danny De Schreye,
Bern Martens:
A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs.
ISLP 1991: 117-131 |
| 40 | | Luc De Raedt,
Maurice Bruynooghe,
Bern Martens:
Integrity Constraints and Interactive Concept-Learning.
ML 1991: 394-398 |
| 39 | | Maurice Bruynooghe,
Veroniek Dumortier,
Gerda Janssens:
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions.
PDK 1991: 309-317 |
| 38 | | Gerda Janssens,
Maurice Bruynooghe:
On Abstracting the Procedural Behaviour of Logic Programs.
RCLP 1991: 240-262 |
| 37 | | Danny De Schreye,
Bern Martens,
Gunther Sablon,
Maurice Bruynooghe:
Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs.
J. Autom. Reasoning 7(3): 337-358 (1991) |
| 36 | | Maurice Bruynooghe:
A Practical Framework for the Abstract Interpretation of Logic Programs.
J. Log. Program. 10(1/2/3&4): 91-124 (1991) |
| 35 | | John P. Gallagher,
Maurice Bruynooghe:
The Derivation of an Algorithm for Program Specialisation.
New Generation Comput. 9(3/4): 305-334 (1991) |
| 1990 |
|---|
| 34 | | Luc De Raedt,
Maurice Bruynooghe:
On Negation and Three-Valued Logic in Interactive Concept-Learning.
ECAI 1990: 207-212 |
| 33 | | Danny De Schreye,
Dirk Pollet,
Johan Ronsyn,
Maurice Bruynooghe:
Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism.
ESOP 1990: 106-117 |
| 32 | | Danny De Schreye,
Kristof Verschaetse,
Maurice Bruynooghe:
A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs.
ICLP 1990: 649-663 |
| 31 | | Kristof Verschaetse,
Danny De Schreye,
Maurice Bruynooghe:
Generation and Compilation of Efficient Computation Rules.
ICLP 1990: 700-714 |
| 30 | | John P. Gallagher,
Maurice Bruynooghe:
The Derivation of an Algorithm for Program Specialisation.
ICLP 1990: 732-746 |
| 29 | | Anne Mulkers,
William H. Winsborough,
Maurice Bruynooghe:
Analysis of Shared Data Structures for Compile-Time Garbage.
ICLP 1990: 747-762 |
| 28 | | Veroniek Dumortier,
Maurice Bruynooghe:
On the Automatic Generation of Events in Delta Prolog.
PLILP 1990: 324-339 |
| 1989 |
|---|
| 27 | | Gunther Sablon,
Luc De Raedt,
Maurice Bruynooghe:
Generalizing Multiple Examples in Explanation Based Learning.
AII 1989: 177-183 |
| 26 | | Maurice Bruynooghe,
Danny De Schreye:
Some Thoughts on the Role of Examples in Program Transformation and its Relevance for Explanation-based Learning.
AII 1989: 60-77 |
| 25 | | André Mariën,
Gerda Janssens,
Anne Mulkers,
Maurice Bruynooghe:
The Impact of Abstract Interpretation: An Experiment in Code Generation.
ICLP 1989: 33-47 |
| 24 | | Maurice Bruynooghe,
Luc De Raedt,
Danny De Schreye:
Explanation Based Program Transformation.
IJCAI 1989: 407-412 |
| 23 | | Luc De Raedt,
Maurice Bruynooghe:
Towards Friendly Concept-Learners.
IJCAI 1989: 849-858 |
| 22 | | Luc De Raedt,
Maurice Bruynooghe:
Constructive Induction by Analogy.
ML 1989: 476-477 |
| 21 | | Danny De Schreye,
Maurice Bruynooghe,
Kristof Verschaetse:
On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses.
Artif. Intell. 41(2): 237-248 (1989) |
| 20 | | Maurice Bruynooghe,
Danny De Schreye,
Bruno Krekels:
Compiling Control.
J. Log. Program. 6(1&2): 135-162 (1989) |
| 19 | | Danny De Schreye,
Maurice Bruynooghe:
On the Transformation of Logic Programs with Instantiation Based Computation Rules.
J. Symb. Comput. 7(2): 125-154 (1989) |
| 1988 |
|---|
| 18 | | Patrick Weemeeuw,
Maurice Bruynooghe,
Marleen De Haondt:
On Implementing Logic Programming Languages on a Dataflow Architecture.
ESOP 1988: 359-372 |
| 17 | | Luc De Raedt,
Maurice Bruynooghe:
On Interactive Concept-Learning and Assimilation.
EWSL 1988: 167-176 |
| 16 | | Bern Martens,
Maurice Bruynooghe:
Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph.
Expert Database Conf. 1988: 567-601 |
| 15 | | Maurice Bruynooghe,
Gerda Janssens:
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing.
ICLP/SLP 1988: 669-683 |
| 14 | | Danny De Schreye,
Maurice Bruynooghe:
The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation.
META 1988: 217-231 |
| 13 | | Danny De Schreye,
Maurice Bruynooghe:
An Application of Abstract Interpretation in Source Level Program Transformation.
PLILP 1988: 35-57 |
| 1987 |
|---|
| 12 | | Maurice Bruynooghe,
Gerda Janssens,
Alain Callebaut,
Bart Demoen:
Abstract Interpretation: Towards the Global Optimization of Prolog Programs.
SLP 1987: 192-204 |
| 1986 |
|---|
| 11 | | Willem Rosiers,
Maurice Bruynooghe:
Empirical Study of some Constraints Satisfaction Algorithms.
AIMSA 1986: 173-180 |
| 10 | | Maurice Bruynooghe:
Is Logic Programming ``Real'' Programming?
AIMSA 1986: 81-91 |
| 9 | | Maurice Bruynooghe,
Danny De Schreye,
Bruno Krekels:
Compiling Control.
SLP 1986: 70-77 |
| 1985 |
|---|
| 8 | | Edwin Pittomvils,
Maurice Bruynooghe,
Yves D. Willems:
Towards a Real-Time Garbage Collector for Prolog.
SLP 1985: 185-198 |
| 7 | | Raf Venken,
Maurice Bruynooghe,
Luc Dekeyser,
Bruno Krekels:
The Centralized Scheduler vs. the Distributed Specialists: Towards a Flexible Controller in Prolog for Expert Systems.
Wissensbasierte Systeme 1985: 370-383 |
| 1984 |
|---|
| 6 | | Maurice Bruynooghe,
Luís Moniz Pereira:
Deduction Revision by Intelligent Backtracking.
Implementations of Prolog 1984: 194-215 |
| 5 | | Maurice Bruynooghe:
Garbage Collection in Prolog Interpreters.
Implementations of Prolog 1984: 259-267 |
| 1982 |
|---|
| 4 | | Maurice Bruynooghe:
Adding Redundancy to Obtain more Reliable and Readable Prolog Programs.
ICLP 1982: 129-133 |
| 3 | | Maurice Bruynooghe:
A Note on Garbage-Collection in Prolog Interpreters.
ICLP 1982: 52-55 |
| 1981 |
|---|
| 2 | | Maurice Bruynooghe:
Solving Combinatorial Search Problems by Intelligent Backtracking.
Inf. Process. Lett. 12(1): 36-39 (1981) |
| 1980 |
|---|
| 1 | | Maurice Bruynooghe:
Analysis of Dependencies to Improve the Behaviour of Logic Programs.
CADE 1980: 293-305 |
