dblp.uni-trier.dewww.uni-trier.de

Maurice Bruynooghe Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
190EESven Verdoolaege, Gerda Janssens, Maurice Bruynooghe: Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. CAV 2009: 599-613
189EEKristien 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
188EEJoost 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
187EELeander Schietgat, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel: An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules. Discovery Science 2008: 197-209
186EEStefan 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
183EETom Schrijvers, Maurice Bruynooghe, John P. Gallagher: From Monomorphic to Polymorphic Well-Typings and Beyond. LOPSTR 2008: 152-167
182EEMaarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe: SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. SAT 2008: 211-224
181EEDaan 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)
180EEJan 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)
179EEStefan 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
177EEDaan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel: Learning Directed Probabilistic Logical Models: Ordering-Search Versus Structure-Search. ECML 2007: 567-574
176EETom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe: Online Learning and Exploiting Relational Models in Reinforcement Learning. IJCAI 2007: 726-731
175EEDaan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel: Learning Directed Probabilistic Logical Models Using Ordering-Search. ILP 2007: 24
174EETom Croonenborghs, Kurt Driessens, Maurice Bruynooghe: Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning. ILP 2007: 88-97
173EELeander Schietgat, Jan Ramon, Maurice Bruynooghe: A Polynomial-time Metric for Outerplanar Graphs. MLG 2007
172EEPeter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor: A practical dynamic single assignment transformation. ACM Trans. Design Autom. Electr. Syst. 12(4): (2007)
171EEMaurice 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)
170EEJan 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)
169EESven 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)
168EEOfer Arieli, Marc Denecker, Maurice Bruynooghe: Distance semantics for database repair. Ann. Math. Artif. Intell. 50(3-4): 389-415 (2007)
167EEK. 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)
166EENikolay Pelov, Marc Denecker, Maurice Bruynooghe: Well-founded and stable semantics of logic programs with aggregates. TPLP 7(3): 301-353 (2007)
2006
165EEJohan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe: Predicate Introduction Under Stable and Well-Founded Semantics. ICLP 2006: 242-256
164EEJan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe: Generalized Ordering-Search for Learning Directed Probabilistic Logical Models. ILP 2006: 40-42
163EEOfer Arieli, Marc Denecker, Maurice Bruynooghe: Distance-Based Repairs of Databases. JELIA 2006: 43-55
162EEJoost Vennekens, Marc Denecker, Maurice Bruynooghe: Representing Causal Information About a Probabilistic Process. JELIA 2006: 452-464
161EEAlvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe: Representation of Partial Knowledge and Query Answering in Locally Complete Databases. LPAR 2006: 407-421
160EETom Schrijvers, Maurice Bruynooghe: Polymorphic algebraic data type reconstruction. PPDP 2006: 85-96
159EEOfer 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)
158EERaymond 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
157EEPeter 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
154EEK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: Verification of Source Code Transformations by Program Equivalence Checking. CC 2005: 221-236
153EESven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor: Experiences with Enumeration of Integer Projections of Parametric Polytopes. CC 2005: 91-105
152EEK. 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
151EEStefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche: Learning (k, l)-Contextual Tree Languages for Information Extraction. ECML 2005: 305-316
150EEDaan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe: A Comparison of Approaches for Learning Probability Trees. ECML 2005: 556-563
149EEDaan Fierens, Hendrik Blockeel, Maurice Bruynooghe, Jan Ramon: Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models. ILP 2005: 121-135
148EETom Croonenborghs, Karl Tuyls, Jan Ramon, Maurice Bruynooghe: Multi-agent Relational Reinforcement Learning. LAMAS 2005: 192-206
147EEMaarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe: Satisfiability Checking for PC(ID). LPAR 2005: 565-579
146EEBert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe: An ID-Logic Formalization of the Composition of Autonomous Databases. LPNMR 2005: 132-144
145EEAlvaro 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
144EEMaurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck: Inference of Well-Typings for Logic Programs with Application to Termination Analysis. SAS 2005: 35-51
143EENikolay 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
140EESven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe: Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations. CASES 2004: 248-258
139EEBert Van Nuffelen, Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe: Data Integration Using ID-Logic. CAiSE 2004: 67-81
138EEOfer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe: Database Repair by Signed Formulae. FoIKS 2004: 14-30
137EEJoost Vennekens, Sofie Verbaeten, Maurice Bruynooghe: Logic Programs with Annotated Disjunctions. ICLP 2004: 431-445
136EENikolay Pelov, Marc Denecker, Maurice Bruynooghe: Partial Stable Models for Logic Programs with Aggregates. LPNMR 2004: 207-219
135EEJoost Vennekens, Sofie Verbaeten, Maurice Bruynooghe: Logic programs with annotated disjunctions. NMR 2004: 409-415
134EEWim Vanhoof, Maurice Bruynooghe, Michael Leuschel: Binding-Time Analysis for Mercury. Program Development in Computational Logic 2004: 189-232
133EEMichael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof: Specialising Interpreters Using Offline Partial Deduction. Program Development in Computational Logic 2004: 340-375
132EEOfer 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)
131EEJan 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
128EESven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Multi-dimentsional Incremetal Loops Fusion for Data Locality. ASAP 2003: 17-27
127EENikolay 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
125EEMaurice Bruynooghe: Enhancing a Search Algorithm to Perform Intelligent Backtracking CoRR cs.AI/0311003: (2003)
124EEK. 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
123EEMaurice 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
122EEPieter 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
121EEWim Vanhoof, Remko Tronçon, Maurice Bruynooghe: A Fixed Point Semantics for Logic Programs Extended with Cuts. LOPSTR 2002: 238-257
120EERaymond Kosala, Jan Van den Bussche, Maurice Bruynooghe, Hendrik Blockeel: Information Extraction in Structured Documents Using Tree Automata Induction. PKDD 2002: 299-310
119EEOfer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe: Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. Paraconsistent Computational Logic 2002: 51-65
118EEMaurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof: Reuse of Results in Termination Analysis of Typed Logic Programs. SAS 2002: 477-492
117EERemko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Storage Size Reduction by In-place Mapping of Arrays. VMCAI 2002: 167-181
116EEMichael Leuschel, Maurice Bruynooghe: Logic program specialisation through partial deduction: Control issues CoRR cs.PL/0202012: (2002)
115EEMichael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe: Offline Specialisation in Prolog Using a Hand-Written Compiler Generator CoRR cs.PL/0208009: (2002)
114EEK. 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
111EEMaurice Bruynooghe, Wim Vanhoof, Michael Codish: Pos(T): Analyzing Dependencies in Typed Logic Programs. Ershov Memorial Conference 2001: 406-420
110EENancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe: Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. ICLP 2001: 105-119
109EEMarc Denecker, Nikolay Pelov, Maurice Bruynooghe: Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. ICLP 2001: 212-226
108EEWim Vanhoof, Maurice Bruynooghe: When Size Does Matter. LOPSTR 2001: 129-147
107EEOfer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe: Coherent Composition of Distributed Knowledge-Bases Through Abduction. LPAR 2001: 624-638
106EEWim Vanhoof, Maurice Bruynooghe: Binding-Time Annotations Without Binding-Time Analysis. LPAR 2001: 707-722
105EEMarc Denecker, Maurice Bruynooghe, V. Wiktor Marek: Logic programming revisited: Logic programs as inductive definitions. ACM Trans. Comput. Log. 2(4): 623-654 (2001)
104EEJan Ramon, Maurice Bruynooghe: A polynomial time computable metric between point sets. Acta Inf. 37(10): 765-780 (2001)
103EENancy 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
102EENancy Mazur, Gerda Janssens, Maurice Bruynooghe: A Module Based Analysis for Memory Reuse in Mercury. Computational Logic 2000: 1255-1269
101EEWim Vanhoof, Maurice Bruynooghe: Towards a modular binding-time analysis for higher-order Mercury. LOPSTR 2000
100EENikolay 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)
97EEMaurice Bruynooghe: Logic Programming for Describing and Solving Planning Problems CoRR cs.AI/0003025: (2000)
96EENikolay 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)
95EEMaurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker: Detecting Unsolvable Queries for Definite Logic Programs CoRR cs.LO/0003067: (2000)
94EENikolay Pelov, Maurice Bruynooghe: Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog CoRR cs.LO/0003069: (2000)
93EEMaurice 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
91EENikolay Pelov, Maurice Bruynooghe: Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. LPAR 1999: 358-375
90EEWim 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
88EEMaurice 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
86EEMaurice 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
82EEMaria 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
78EEMaurice Bruynooghe, Michael Codish, Anne Mulkers: Abstracting Unification: A Key Step in the Design of Logic Program Analyses. Computer Science Today 1995: 406-425
77EEMichael 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
72EEMichael 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
71EEGerda Janssens, Maurice Bruynooghe, Vincent Englebert: Abstracting Numerical Values in CLP(H, N). PLILP 1994: 400-414
70EEDmitri 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
68EEAnne 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
42EELuc 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
38EEGerda 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
33EEDanny 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
28EEVeroniek 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
18EEPatrick 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
13EEDanny 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
1EEMaurice Bruynooghe: Analysis of Dependencies to Improve the Behaviour of Logic Programs. CADE 1980: 293-305

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)