| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Maurice Bruynooghe 112 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 111 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 110 Wim Vanhoof , Remko Tronçon , Maurice Bruynooghe: A Fixed Point Semantics for Logic Programs Extended with Cuts. LOPSTR 2002 : 238-257 109 Raymond Kosala , Jan Van den Bussche , Maurice Bruynooghe, Hendrik Blockeel : Information Extraction in Structured Documents Using Tree Automata Induction. PKDD 2002 : 299-310 108 Maurice Bruynooghe, Michael Codish , Samir Genaim , Wim Vanhoof : Reuse of Results in Termination Analysis of Typed Logic Programs. SAS 2002 : 477-492 107 Remko Tronçon , Maurice Bruynooghe, Gerda Janssens , Francky Catthoor : Storage Size Reduction by In-place Mapping of Arrays. VMCAI 2002 : 167-181 106 K. C. Shashidhar , Maurice Bruynooghe, Francky Catthoor , Gerda Janssens : Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. ENTCS 65 (2): (2002) 105 Maurice Bruynooghe, Kung-Kiu Lau : Special Issue on Program Development, Guest Editors' Introduction. TPLP 2 (4-5): 423-424 (2002) 104 Michael Leuschel , Maurice Bruynooghe: Logic program specialisation through partial deduction: Control issues. TPLP 2 (4-5): 461-515 (2002) 103 Maurice Bruynooghe, Wim Vanhoof , Michael Codish : Pos(T): Analyzing Dependencies in Typed Logic Programs. Ershov Memorial Conference 2001 : 406-420 102 Nancy Mazur , Peter Ross , Gerda Janssens , Maurice Bruynooghe: Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. ICLP 2001 : 105-119 101 Marc Denecker , Nikolay Pelov , Maurice Bruynooghe: Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. ICLP 2001 : 212-226 100 Wim Vanhoof , Maurice Bruynooghe: When Size Does Matter. LOPSTR 2001 : 129-147 99 Ofer Arieli , Bert Van Nuffelen , Marc Denecker , Maurice Bruynooghe: Coherent Composition of Distributed Knowledge-Bases Through Abduction. LPAR 2001 : 624-638 98 Wim Vanhoof , Maurice Bruynooghe: Binding-Time Annotations Without Binding-Time Analysis. LPAR 2001 : 707-722 97 Jan Ramon , Maurice Bruynooghe: A polynomial time computable metric between point sets. Acta Informatica 37 (10): 765-780 (2001) 96 Marc Denecker , Maurice Bruynooghe, V. Wiktor Marek : Logic programming revisited: Logic programs as inductive definitions. TOCL 2 (4): 623-654 (2001) 95 Nancy Mazur , Gerda Janssens , Maurice Bruynooghe: A Module Based Analysis for Memory Reuse in Mercury. Computational Logic 2000 : 1255-1269 94 Wim Vanhoof , Maurice Bruynooghe: Towards a modular binding-time analysis for higher-order Mercury. LOPSTR 2000 93 Nikolay Pelov , Maurice Bruynooghe: Extending constraint logic programming with open functions. PPDP 2000 : 235-244 92 Danny De Schreye , Maurice Bruynooghe, Bart Demoen , Marc Denecker , Gerda Janssens , Bern Martens : Project Report on LP + : A Second Generation Logic Programming Language. AI Communications 13 (1): 13-18 (2000) 91 Maurice Bruynooghe: Benelog. AI Communications 13 (1): 7-8 (2000) 90 Wim Vanhoof , Maurice Bruynooghe: Binding-time Analysis for Mercury. ICLP 1999 : 500-514 89 Nikolay Pelov , Maurice Bruynooghe: Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. LPAR 1999 : 358-375 88 Wim Vanhoof , Maurice Bruynooghe: Towards Modular Binding-Time Analysis for First-order Mercury. Electronic Notes in Theoretical Computer Science 30 (2): (1999) 87 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) 86 Maurice Bruynooghe, Michael Leuschel , Konstantinos F. Sagonas : A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. ESOP 1998 : 27-41 85 Jan Ramon , Maurice Bruynooghe: A Framework for Defining Distances Between First-Order Logic Objects. ILP 1998 : 271-280 84 Maurice Bruynooghe, Henk Vandecasteele , D. Andre de Waal , Marc Denecker : Detecting Unsolvable Queries for Definite Logic Programs. PLILP/ALP 1998 : 118-133 83 Maurice Bruynooghe, Gerda Janssens , Andreas Kågedal : Live-Structure Analysis for Logic Programming Languages with Declarations. ICLP 1997 : 33-47 82 Michael Codish , Maurice Bruynooghe, Maria J. García de la Banda , Manuel V. Hermenegildo : Exploiting Goal Independence in the Analysis of Logic Programs. JLP 32 (3): 247-261 (1997) 81 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 80 Michael Codish , Dennis Dams , Gilberto Filé , Maurice Bruynooghe: On the Design of a Correct Freeness Analysis for Logic Programs. JLP 28 (3): 181-206 (1996) 79 Maria J. García de la Banda , Manuel V. Hermenegildo , Maurice Bruynooghe, Veroniek Dumortier , Gerda Janssens , Wim Simoens : Global Analysis of Constraint Logic Programs. TOPLAS 18 (5): 564-614 (1996) 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 Anne Mulkers , Wim Simoens , Gerda Janssens , Maurice Bruynooghe: On the Practicality of Abstract Equation Systems. ICLP 1995 : 781-795 76 Gerda Janssens , Maurice Bruynooghe, Veroniek Dumortier : A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. ILPS 1995 : 336-350 75 Maurice Bruynooghe, Saumya K. Debray , Manuel V. Hermenegildo , Michael J. Maher : Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. JLP 23 (2): 87-88 (1995) 74 Lode Missiaen , Maurice Bruynooghe, Marc Denecker : CHICA, an Abductive Planning System Based on Event Calculus. Journal of Logic and Computation 5 (5): 579-602 (1995) 73 Hilde Adé , Luc De Raedt , Maurice Bruynooghe: Declarative Bias for Specific-to-General ILP Systems. Machine Learning 20 (1-2): 119-154 (1995) 72 Michael Codish , Anne Mulkers , Maurice Bruynooghe, Maria J. García de la Banda , Manuel V. Hermenegildo : Improving Abstract Interpretations by Combining Domains. TOPLAS 17 (1): 28-44 (1995) 71 Dmitri Boulanger , Maurice Bruynooghe: Using Call/Exit Analysis for Logic Program Transformation. LOPSTR 1994 : 36-50 70 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 69 Gerda Janssens , Maurice Bruynooghe, Vincent Englebert : Abstracting Numerical Values in CLP(H, N). PLILP 1994 : 400-414 68 Dmitri Boulanger , Maurice Bruynooghe, Marc Denecker : Abstracting s-semantincs Using A Model-Theoretic Approach. PLILP 1994 : 432-446 67 Dmitri Boulanger , Maurice Bruynooghe: A Systematic Construction of Abstract Domains. SAS 1994 : 61-77 66 Gunther Sablon , Luc De Raedt , Maurice Bruynooghe: Iterative Versionspaces. Artificial Intelligence 69 (1-2): 393-409 (1994) 65 Maurice Bruynooghe, Saumya K. Debray , Manuel V. Hermenegildo , Michael J. Maher : Guest Editor's Introduction. JLP 19/20 : 1-3 (1994) 64 Anne Mulkers , William H. Winsborough , Maurice Bruynooghe: Live-Structure Dataflow Analysis for Prolog. TOPLAS 16 (2): 205-258 (1994) 63 Maurice Bruynooghe, Jaan Penjam : Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings. Springer 1993 62 Veroniek Dumortier , Gerda Janssens , Maurice Bruynooghe, Michael Codish : Freeness Analysis in the Presence of Numerical Constraints. ICLP 1993 : 100-115 61 Michael Codish , Dennis Dams , Gilberto Filé , Maurice Bruynooghe: Freeness Analysis for Logic Programs - And Correctness? ICLP 1993 : 116-131 60 Luc De Raedt , Maurice Bruynooghe: A Theory of Clausal Discovery. IJCAI 1993 : 1058-1063 59 Dmitri Boulanger , Maurice Bruynooghe: Using Abstract Interpretation for Goal Replacement. LOPSTR 1993 : 210-228 58 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 57 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 56 Maurice Bruynooghe, Michael Codish : Freeness, Sharing, Linearity and Correctness - All at Once. WSA 1993 : 153-164 55 Dmitri Boulanger , Maurice Bruynooghe: Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation. JSC 15 (5/6): 495-521 (1993) 54 Maurice Bruynooghe, Martin Wirsing : Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings. Springer 1992 53 Marc Denecker , Lode Missiaen , Maurice Bruynooghe: Temporal Reasoning with Abductive Event Calculus. ECAI 1992 : 384-388 52 Hilde Adé , Luc De Raedt , Maurice Bruynooghe: Inverse Resolution in an Integrated Inductive-Deductive Learning System. ECAI 1992 : 456-457 51 Bern Martens , Danny De Schreye , Maurice Bruynooghe: Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. FGCS 1992 : 473-480 50 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 49 Dmitri Boulanger , Maurice Bruynooghe: Deriving Transformations for Logic Programs Using Abstract Interpretation. LOPSTR 1992 : 99-117 48 Maurice Bruynooghe, Gerda Janssens : Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. META 1992 : 294-307 47 Luc De Raedt , Maurice Bruynooghe: Belief Updating from Integrity Constraints and Queries. Artificial Intelligence 53 (2-3): 291-307 (1992) 46 G. Janssen , Maurice Bruynooghe: Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. JLP 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 Computing 11 (1): 47-79 (1992) 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 Maurice Bruynooghe: A Practical Framework for the Abstract Interpretation of Logic Programs. JLP 10 (1/2/3&4): 91-124 (1991) 36 Danny De Schreye , Bern Martens , Gunther Sablon , Maurice Bruynooghe: Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs. Journal of Automated Reasoning 7 (3): 337-358 (1991) 35 John P. Gallagher , Maurice Bruynooghe: The Derivation of an Algorithm for Program Specialisation. New Generation Computing 9 (3/4): 305-334 (1991) 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 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. Artificial Intelligence 41 (2): 237-248 (1989) 20 Maurice Bruynooghe, Danny De Schreye , Bruno Krekels : Compiling Control. JLP 6 (1&2): 135-162 (1989) 19 Danny De Schreye , Maurice Bruynooghe: On the Transformation of Logic Programs with Instantiation Based Computation Rules. JSC 7 (2): 125-154 (1989) 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 Jenssens : 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 12 Maurice Bruynooghe, Gerda Janssens , Alain Callebaut , Bart Demoen : Abstract Interpretation: Towards the Global Optimization of Prolog Programs. SLP 1987 : 192-204 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 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 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 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 2 Maurice Bruynooghe: Solving Combinatorial Search Problems by Intelligent Backtracking. Information Processing Letters 12 (1): 36-39 (1981) 1 Maurice Bruynooghe: Analysis of Dependencies to Improve the Behaviour of Logic Programs. CADE 1980 : 293-305  DiSC'03 © 2003 Association for Computing Machinery |
