Maurice Bruynooghe

	2011
206		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: 12-32
205		Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen: Coherent Integration of Databases by Abductive Logic Programming CoRR abs/1107.0030: (2011)
204		Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt: The Magic of Logical Inference in Probabilistic Programming CoRR abs/1107.5152: (2011)
203		Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt: The magic of logical inference in probabilistic programming. TPLP 11(4-5): 663-680 (2011)
	2010
202		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: 719-724
201		Joost Vennekens, Maurice Bruynooghe, Marc Denecker: Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. JELIA 2010: 313-325
200		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: 326-338
199		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)
198		Joost Vennekens, Marc Denecker, Maurice Bruynooghe: FO(ID) as an extension of DL with rules. Ann. Math. Artif. Intell. 58(1-2): 85-115 (2010)
197		Johan Wittocx, Marc Denecker, Maurice Bruynooghe: Constraint Propagation for Extended First-Order Logic CoRR abs/1008.2121: (2010)
196		Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. J. Electronic Testing 26(2): 279-292 (2010)
195		Kristien Van Loon, Fabián Güiza, 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 Systems 34(3): 229-239 (2010)
194		Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe: A comparison of pruning criteria for probability trees. Machine Learning 78(1-2): 251-285 (2010)
	2009
193		Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe: Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. CAV 2009: 599-613
192		Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Experience with widening based equivalence checking in realistic multimedia systems. HLDVT 2009: 122-129
191		Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe: A Transformational Approach for Proving Properties of the CHR Constraint Store. LOPSTR 2009: 22-36
190		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
189		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)
188		Joost Vennekens, Marc Denecker, Maurice Bruynooghe: CP-logic: A language of causal probabilistic events and its relation to logic programming. TPLP 9(3): 245-308 (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): 67-82 (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): 189-198 (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		Gerda Janssens, 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(2): 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

Coauthor Index

1	Hilde Adé	[54] [74]
2	Jean-Marie Aerts	[190] [195]
3	Ofer Arieli	[107] [119] [132] [138] [139] [145] [146] [156] [159] [161] [163] [168] [178] [184] [199] [205]
4	Maria Garcia de la Banda (Maria J. García de la Banda)	[59] [72] [77] [82] [84]
5	Pieter Bekaert	[122]
6	Daniel Berckmans	[190] [195]
7	Greet Vanden Berghe (Greta Van den Berghe)	[170] [190] [195]
8	Kristof Beyls	[140] [153] [169]
9	Hendrik Blockeel	[120] [126] [131] [149] [150] [155] [158] [164] [170] [175] [176] [177] [180] [181] [187] [190] [194] [195]
10	Dmitri Boulanger	[50] [57] [60] [61] [69] [70] [73] [83]
11	Jan Van den Bussche	[120] [126] [151] [158] [179]
12	Alain Callebaut	[12]
13	Francky Catthoor	[114] [117] [124] [128] [152] [153] [154] [157] [167] [172] [192] [196]
14	Michael Codish	[58] [59] [63] [64] [72] [77] [78] [81] [84] [111] [118] [171]
15	Alvaro Cortés-Calabuig	[139] [145] [146] [156] [161] [178] [184] [199]
16	Stephen-John Craig	[133]
17	Tom Croonenborghs	[148] [164] [174] [176] [180]
18	Dennis Dams	[63] [81]
19	Saumya K. Debray	[66] [75]
20	Luc Dekeyser	[7]
21	Bart Demoen	[12] [83] [99]
22	Marc Denecker	[55] [70] [76] [83] [86] [89] [95] [99] [105] [107] [109] [119] [122] [127] [132] [136] [138] [139] [143] [145] [147] [156] [159] [161] [162] [163] [165] [166] [168] [178] [182] [184] [188] [189] [197] [198] [199] [200] [201] [205] [206]
23	Kurt Driessens	[174]
24	Veroniek Dumortier	[28] [39] [64] [79] [82]
25	Maarten H. van Emden	[123]
26	Vincent Englebert	[71]
27	Johan Feyaerts	[42] [47]
28	Daan Fierens	[149] [150] [155] [164] [170] [175] [177] [180] [181] [194]
29	Gilberto Filé	[63] [81]
30	John P. Gallagher	[30] [35] [144] [171] [183]
31	Samir Genaim	[118] [171]
32	David Gilis	[122]
33	Fabián Güiza	[170] [190] [195]
34	Bernd Gutmann	[202] [203] [204]
35	Marleen De Haondt	[18]
36	Manuel V. Hermenegildo	[59] [66] [72] [75] [77] [82] [84]
37	Wouter Van Humbeeck	[144]
38	Gerda Janssens	[12] [15] [25] [38] [39] [46] [49] [64] [71] [79] [80] [82] [85] [99] [102] [103] [110] [114] [117] [124] [128] [152] [154] [157] [167] [172] [192] [193] [196] [202]
39	Jesper Jørgensen	[115] [130]
40	Andreas Kågedal	[85]
41	Angelika Kimmig	[202] [203] [204]
42	Raymond Kosala	[120] [126] [158]
43	Bruno Krekels	[7] [9] [20]
44	Kung-Kiu Lau	[113] [141]
45	Michael Leuschel	[88] [93] [112] [115] [116] [130] [133] [134]
46	Vincent Loechner	[140] [169]
47	Kristien Van Loon	[190] [195]
48	Michael J. Maher	[66] [75]
49	Theofrastos Mantadelis	[202]
50	Victor W. Marek (V. Wiktor Marek)	[105]
51	André Mariën	[25]
52	Maarten Mariën	[147] [165] [182]
53	Bern Martens	[16] [37] [40] [41] [44] [53] [99]
54	Nancy Mazur	[102] [103] [110]
55	Geert Meyfroidt	[170] [190] [195]
56	Lode Missiaen	[55] [76]
57	Rudradeb Mitra	[147]
58	Emmanuel De Mot	[96]
59	Anne Mulkers	[25] [29] [59] [68] [77] [78] [80] [83]
60	Bert Van Nuffelen	[107] [119] [122] [132] [138] [139] [145] [146] [156] [159] [205]
61	Martin Palkovic	[192] [196]
62	Nikolay Pelov	[91] [94] [96] [100] [109] [127] [136] [143] [166]
63	Jaan Penjam	[65]
64	Luís Moniz Pereira (Luíz Moniz Pereira)	[6] [123]
65	Paolo Pilozzi	[191]
66	Edwin Pittomvils	[8]
67	Dirk Pollet	[33]
68	Luc De Raedt	[17] [22] [23] [24] [27] [34] [40] [42] [45] [47] [48] [54] [62] [67] [74] [202] [203] [204]
69	Stefan Raeymaekers	[151] [179] [186]
70	Jan Ramon	[87] [104] [131] [148] [149] [150] [155] [164] [170] [173] [175] [176] [177] [180] [181] [187] [190] [194] [195]
71	Johan Ronsyn	[33]
72	Willem Rosiers	[11]
73	Peter Ross	[103] [110]
74	Gunther Sablon	[27] [37] [67]
75	Konstantinos F. Sagonas	[88] [93]
76	Leander Schietgat	[173] [187]
77	Danny De Schreye	[9] [13] [14] [19] [20] [21] [24] [26] [31] [32] [33] [37] [41] [44] [52] [53] [60] [99]
78	Tom Schrijvers	[160] [183] [191]
79	Rachid Seghir	[140] [169]
80	K. C. Shashidhar	[114] [124] [152] [154] [167]
81	Jörg H. Siekmann	[123]
82	Wim Simoens	[80] [82]
83	Jan Struyf	[131]
84	Ingo Thon	[203] [204]
85	Remko Tronçon	[117] [121]
86	Karl Tuyls	[148]
87	Peter Vanbroekhoven	[157] [172]
88	Henk Vandecasteele	[86] [89] [95]
89	Wim Vanhoof	[90] [92] [101] [106] [108] [111] [115] [118] [121] [130] [133] [134] [171]
90	Raf Venken	[7]
91	Joost Vennekens	[135] [137] [162] [165] [188] [189] [198] [200] [201] [202] [206]
92	Sofie Verbaeten	[131] [135] [137]
93	Sven Verdoolaege	[128] [140] [153] [169] [185] [192] [193] [196]
94	Kristof Verschaetse	[21] [31] [32] [52]
95	Hanne Vlaeminck	[200] [206]
96	D. Andre de Waal	[86] [89] [95]
97	Patrick Weemeeuw	[18]
98	Yves D. Willems	[8]
99	William H. Winsborough	[29] [68]
100	Martin Wirsing	[56]
101	Johan Wittocx	[165] [182] [197] [200] [206]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page