Publications of Maurice Bruynooghe
period 1974 - 2013
Articles in internationally reviewed journals
73 references- Schietgat, Leander;
Ramon, Jan;
Bruynooghe, Maurice.
A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics, Annals of Mathematics and Artificial Intelligence, 2013 (Accepted)
- Wittocx, Johan;
Denecker, Marc;
Bruynooghe, Maurice.
Constraint propagation for first-order logic and inductive definitions, ACM Transactions on Computational Logic, 2013 (Accepted)
- Verdoolaege, Sven;
Janssens, Gerda;
Bruynooghe, Maurice.
Equivalence checking of static affine programs using widening to handle recurrences, ACM Transactions on Programming Languages and Systems, volume 34, issue 3, pages 11:1-11:35, 2012
- Vlaeminck, Hanne;
Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
An approximative inference method for solving ∃∀SO satisfiability problems, The Journal of Artificial Intelligence Research, volume 45, pages 79-124, 2012
- Gutmann, Bernd;
Thon, Ingo;
Kimmig, Angelika;
Bruynooghe, Maurice;
De Raedt, Luc.
The magic of logical inference in probabilistic programming, Theory and Practice of Logic Programming, volume 11, pages 663-680, 2011
- Meyfroidt, Geert;
Guiza Grandas, Fabian;
Cottem, Dominiek;
De Becker, Wilfried;
Van Loon, Kristien;
Aerts, Jean-Marie;
Berckmans, Daniel;
Ramon, Jan;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Computerized prediction of intensive care unit discharge after cardiac surgery: development and validation of a Gaussian processes model, BMC Medical Informatics and Decision Making, volume 11, issue 64, pages 1-13, 2011
- Denecker, Marc;
Cortés-Calabuig, Alvaro;
Bruynooghe, Maurice;
Arieli, Ofer.
Towards a logical reconstruction of a theory for locally closed databases, ACM Transactions on Database Systems, volume 35, issue 3, pages 1-60, 2010
- Fierens, Daan;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
A comparison of pruning criteria for probability trees, Machine Learning, volume 78, issue 1-2, pages 251-285, 2010
- Van Loon, Kristien;
Guiza Grandas, Fabian;
Meyfroidt, Geert;
Aerts, Jean-Marie;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice;
Van den Berghe, Greet;
Berckmans, Daniel.
Prediction of Clinical Conditions after Coronary Bypass Surgery using Dynamic Data Analysis, Journal of Medical Systems, volume 34, issue 3, pages 229-239, 2010
- Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
FO(ID) as an extension of DL with rules, Annals of Mathematics and Artificial Intelligence, volume 58, issue 1-2, pages 85-115, 2010
- Verdoolaege, Sven;
Palkovic, Martin;
Bruynooghe, Maurice;
Janssens, Gerda;
Catthoor, Francky.
Experience with widening based equivalence checking in realistic multimedia systems, Journal of Electronic Testing, volume 26, issue 2, pages 279-292, 2010
- Meyfroidt, Geert;
Guiza Grandas, Fabian;
Ramon, Jan;
Bruynooghe, Maurice.
Machine learning techniques to examine large patient databases, Baillière's Best Practice & Research. Clinical Anaesthesiology, volume 23, issue 1, pages 127-143, 2009
- Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
CP-logic: A language of causal probabilistic events and its relation to logic programming, Theory and Practice of Logic Programming, volume 9, issue 3, pages 245-308, 2009
- Fierens, Daan;
Ramon, Jan;
Bruynooghe, Maurice;
Blockeel, Hendrik.
Learning directed probabilistic logical models: Ordering-search versus structure-search, Annals of Mathematics and Artificial Intelligence, volume 54, issue 1-3, pages 99-133, 2008
- Raeymaekers, Stefan;
Bruynooghe, Maurice;
Van den Bussche, Jan.
Learning (k,l)-contextual tree languages for information extraction from web pages, Machine Learning, volume 71, issue 2-3, pages 155 -183, 2008
- Ramon, Jan;
Croonenborghs, Tom;
Fierens, Daan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Generalized ordering-search for learning directed probabilistic logical models, Machine Learning, volume 70, issue 2-3, pages 169-188, 2008
- Arieli, Ofer;
Denecker, Marc;
Bruynooghe, Maurice.
Distance semantics for database repair, Annals of Mathematics and Artificial Intelligence, volume 50, issue 3-4, pages 389-415, 2007
- Bruynooghe, Maurice;
Codish, Michael;
Gallagher, John P.;
Genaim, Samir;
Vanhoof, Wim.
Termination analysis of logic programs through combination of type-based norms, ACM Transactions on Programming Languages and Systems, volume 29, issue 2, pages 1-44, 2007
- Pelov, Nikolay;
Denecker, Marc;
Bruynooghe, Maurice.
Well-founded and stable semantics of logic programs with aggregates, Theory and Practice of Logic Programming, volume 7, issue 3, pages 301-353, 2007
- Ramon, Jan;
Fierens, Daan;
Guiza Grandas, Fabian;
Meyfroidt, Geert;
Blockeel, Hendrik;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Mining data from intensive care patients, Advanced Engineering Informatics, volume 21, issue 3, pages 243-256, 2007
- Vanbroekhoven, Peter;
Janssens, Gerda;
Bruynooghe, Maurice;
Catthoor, Francky.
A practical dynamic single assignment transformation, ACM Transactions on Design Automation of Electronic Systems, volume 12, issue 4, pages 1-12, 2007
- Verdoolaege, Sven;
Seghir, Rachid;
Beyls, Kristof;
Loechner, Vincent;
Bruynooghe, Maurice.
Counting integer points in parametric polytopes using Barvinok's rational functions, Algorithmica, volume 48, issue 1, pages 37-66, 2007
- Arieli, Ofer;
Denecker, Marc;
Van Nuffelen, Bert;
Bruynooghe, Maurice.
Computational methods for database repair by signed formulae, Annals of Mathematics and Artificial Intelligence, volume 46, issue 1-2, pages 4-37, 2006
- Kosala, Raymondus;
Blockeel, Hendrik;
Bruynooghe, Maurice;
Van den Bussche, Jan.
Information extraction from structured documents using k-testable tree automaton inference, Data & Knowledge Engineering, volume 58, issue 2, pages 129-158, 2006
- Van Nuffelen, Bert;
Arieli, Ofer;
Cortés-Calabuig, Alvaro;
Bruynooghe, Maurice.
An ID-logic formalization of the composition of autonomous databases, Lecture Notes in Computer Science, volume 3662, pages 132-144, 2005
- Arieli, Ofer;
Denecker, Marc;
Van Nuffelen, Bert;
Bruynooghe, Maurice.
Coherent integration of databases by abductive logic programming, Journal of Artificial Intelligence Research, volume 21, pages 245-286, 2004
- Bruynooghe, Maurice.
Enhancing a search algorithm to perform intelligent backtracking, Theory and Practice of Logic Programming, volume 4, issue 3, pages 371-380, 2004
- Leuschel, Michael;
Craig, Stephen J.;
Bruynooghe, Maurice;
Vanhoof, Wim.
Specialising interpreters using offline partial deduction, Program Development in Computational Logic, Lecture Notes in Computer Science, volume 3049, pages 340-375, 2004
- Leuschel, Michael;
Jørgensen, Jesper;
Vanhoof, Wim;
Bruynooghe, Maurice.
Offline specialisation in Prolog using a hand-written compiler generator, Theory and Practice of Logic Programming, volume 4, issue 1, pages 139-191, 2004
- Struyf, Jan;
Ramon, Jan;
Bruynooghe, Maurice;
Verbaeten, Sofie;
Blockeel, Hendrik.
Compact representation of knowledge bases in inductive logic programming, Machine Learning, volume 57, issue 3, pages 305-333, 2004
- Verdoolaege, Sven;
Bruynooghe, Maurice.
Enumerating integer projections of parametric polytopes, Oberwolfach Reports, volume 1, issue 3, pages 2074-2075, 2004
- Shashidhar, K. C.;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
An automatic verification technique for loop and data reuse transformations based on geometric modeling of programs, Journal of Universal Computer Science, volume 9, issue 3, pages 248-269, 2003
- Bruynooghe, Maurice;
Pereira, LM;
Siekmann, JH;
van Emden, M..
A portrait of a scientist as a computational logician, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, Lecture Notes in Computer Science, volume 2407, pages 1-4, 2002
- Leuschel, Michael;
Bruynooghe, Maurice.
Logic program specialisation through partial deduction: Control issues, Theory and Practice of Logic Programming, volume 2, issue 4&5, pages 461-515, 2002
- Denecker, Marc;
Bruynooghe, Maurice;
Marek, Victor.
Logic programming revisited: logic programs as inductive definitions, ACM Transactions on Computational Logic, volume 2, issue 4, pages 623-654, 2001
- Ramon, Jan;
Bruynooghe, Maurice.
A polynomial time computable metric between point sets, Acta Informatica, volume 37, issue 10, pages 765-780, 2001
- Bruynooghe, Maurice.
Benelog - The first (and last?) ten meetings, Artificial Intelligence Communications, volume 13, issue 1, pages 7-8, 2000
- De Schreye, Danny;
Bruynooghe, Maurice;
Demoen, Bart;
Denecker, Marc;
Janssens, Gerda;
Martens, Bern.
Project report on LP+: a second generation Logic Programming language, AI Communications, volume 13, issue 1, pages 13-18, 2000
- Bruynooghe, Maurice;
Vandecasteele, Henk;
de Waal, D André;
Denecker, Marc.
Detecting unsolvable queries for definite logic programs, Journal of Functional and Logic Programming, volume 1999, pages 1-35, 1999
- Codish, Michael;
Bruynooghe, Maurice;
Garcia de la Banda, Maria;
Hermenegildo, Manuel.
Exploiting goal independence in the analysis of logic programs, Journal of Logic Programming, volume 32, issue 3, pages 247-261, 1997
- Codish, Michael;
Dams, Denis;
File, Gilberto;
Bruynooghe, Maurice.
On the design of a correct freeness analysis for logic programs, Journal of Logic Programming, volume 28, issue 3, pages 181-206, 1996
- Garcia de la Banda, Maria;
Hermenegildo, Manuel;
Bruynooghe, Maurice;
Dumortier, Veroniek;
Janssens, Gerda;
Simoens, Wim.
Global analysis of constraint logic programs, ACM Transactions on Programming Languages and Systems, volume 18, issue 5, pages 564-614, 1996
- Adé, Hilde;
De Raedt, Luc;
Bruynooghe, Maurice.
Declarative bias for specific-to-general ilp systems, Machine Learning, volume 20, issue 1-2, pages 119-154, 1995
- Bruynooghe, Maurice;
Codish, M.;
Mulkers, A..
Abstracting unification: A key step in the design of logic program analyses, Computer Science Today, Recent Trends and Developments, Lecture Notes in Computer Science, volume 1000, pages 406-425, 1995
- Bruynooghe, Maurice;
Debray, Saumya;
Hermenegildo, Manuel;
Maher, Michael.
Special section - 10 years of logic programming - introduction, Journal of Logic Programming, volume 23, issue 2, pages 87-88, 1995
- Codish, Michael;
Mulkers, Anne;
Bruynooghe, Maurice;
Garcia de la Banda, Maria;
Hermenegildo, Manuel.
Improving abstract interpretations by combining domains, ACM Transactions on Programming Languages and Systems, volume 17, issue 1, pages 28-44, 1995
- Missiaen, Lode;
Bruynooghe, Maurice;
Denecker, Marc.
CHICA, an abductive planning system based on event calculus, Journal of Logic and Computation, volume 5, issue 5, pages 579-602, 1995
- Bruynooghe, Maurice;
Debray, Saumya;
Hermenegildo, Manuel;
Maher, Michael.
Special issue - 10 years of logic programming - introduction, Journal of Logic Programming, volume 19/20, pages 1-3, 1994
- Mulkers, Anne;
Winsborough, William;
Bruynooghe, Maurice.
Live-structure data-flow analysis for prolog, ACM Transactions on Programming Languages and Systems, volume 16, issue 2, pages 205-258, 1994
- Sablon, Gunther;
De Raedt, Luc;
Bruynooghe, Maurice.
Iterative versionspaces, Artificial Intelligence, volume 69, issue 1-2, pages 393-409, 1994
- Boulanger, Dmitri;
Bruynooghe, Maurice.
Deriving fold unfold transformations of logic programs using extended oldt-based abstract interpretation, Journal of Symbolic Computation, volume 15, issue 5-6, pages 495-521, 1993
- Bruynooghe, Maurice;
De Schreye, Danny;
Martens, Bernhard.
A general criterion for avoiding infinite unfolding during partial deduction, New Generation Computing, volume 11, issue 1, pages 47-79, 1992
- Bruynooghe, Maurice;
Wirsing, Martin (eds.),
Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Proceedings, Lecture Notes in Computer Science, volume 631, 492 pages, 1992
- De Raedt, Luc;
Bruynooghe, Maurice.
Belief updating from integrity constraints and queries, Artificial Intelligence, volume 53, issue 2-3, pages 291-307, 1992
- De Raedt, Luc;
Bruynooghe, Maurice.
A unifying framework for concept-learning algorithms, The Knowledge Engineering Review, volume 7, issue 3, pages 251-269, 1992
- De Raedt, Luc;
Bruynooghe, Maurice.
Interactive concept-learning and constructive induction by analogy, Machine Learning, volume 8, issue 2, pages 107-150, 1992
- De Raedt, Luc;
Feyaerts, J.;
Bruynooghe, Maurice.
Acquiring object-knowledge, Journal of Experimental and Theoretical Artificial Intelligence, volume 4, pages 213-232, 1992
- Janssens, Gerda;
Bruynooghe, Maurice.
Deriving descriptions of possible values of program variables by means of abstract interpretation, Journal of Logic Programming, volume 13, issue 2-3, pages 205-258, 1992
- Janssens, Gerda;
Bruynooghe, Maurice.
On abstracting the procedural behavior of logic programs, Lecture Notes in Computer Science, volume 592, pages 240-262, 1992
- Bruynooghe, Maurice.
A practical framework for the abstract interpretation of logic programs, Journal of Logic Programming, volume 10, issue 2, pages 91-124, 1991
- Bruynooghe, Maurice;
Dumortier, V.;
Janssens, Gerda.
Improving the efficiency of constraint logic programming-languages by deriving specialized versions, Lecture Notes in Computer Science, volume 567, pages 309-317, 1991
- De Schreye, Danny;
Martens, Bernhard;
Sablon, Gunther;
Bruynooghe, Maurice.
Compiling bottom-up and mixed derivations into top-down executable logic programs, Journal of Automated Reasoning, volume 7, issue 3, pages 337-358, 1991
- Gallagher, John P.;
Bruynooghe, Maurice.
The derivation of an algorithm for program specialisation, New Generation Computing, volume 9, issue 3&4, pages 305-334, 1991
- Daels, J.;
Bruynooghe, Maurice.
Criteria for stopping unfolding during partial evaluation, CCAI: Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology, volume 7, pages 345-362, 1990
- De Raedt, Luc;
Bruynooghe, Maurice.
Indirect relevance and bias in inductive concept learning, Knowledge Acquisition, volume 2, pages 365-390, 1990
- De Schreye, Danny;
Pollet, Dirk;
Ronsyn, Johan;
Bruynooghe, Maurice.
Implementing finite-domain constraint logic programming on top of a prolog-system with delay-mechanism, Lecture Notes in Computer Science, volume 432, pages 106-117, 1990
- Dumortier, Veroniek;
Bruynooghe, Maurice.
On the automatic-generation of events in delta prolog, Lecture Notes in Computer Science, volume 456, pages 324-339, 1990
- Bruynooghe, Maurice;
De Schreye, Danny;
Krekels, B..
Compiling control, Journal of Logic Programming, volume 6, issue 1-2, pages 135-162, 1989
- De Schreye, Danny;
Bruynooghe, Maurice.
An application of abstract interpretation in source level program transformation, Lecture Notes in Computer Science, volume 348, pages 35-57, 1989
- De Schreye, Danny;
Bruynooghe, Maurice.
On the transformation of logic programs with instantiation based computation rules, Journal of Symbolic Computation, volume 7, issue 2, pages 125-154, 1989
- De Schreye, Danny;
Bruynooghe, Maurice;
Verschaetse, K..
On the existence of nonterminating queries for a restricted class of prolog-clauses, Artificial Intelligence, volume 41, issue 2, pages 237-248, 1989
- Weemeeuw, Patrick;
Bruynooghe, Maurice;
De Hondt, Marleen.
On implementing logic programming-languages on a dataflow architecture, Lecture Notes in Computer Science, volume 300, pages 359-372, 1988
- Bruynooghe, Maurice.
Solving combinatorial search problems by intelligent backtracking, Information Processing Letters, volume 12, issue 1, pages 36-39, 1981
Articles in other journals
2 references- De Schreye, Danny;
Bruynooghe, Maurice;
Verschaetse, Christophe.
Een vergelijking van methoden voor het opsplitsen van de logica- en de controle-componenten in logische programmeertalen, Informatie, volume 32, pages 364-378, 1990
- Bruynooghe, Maurice.
PROLOG, HCC Nieuwsbrief, volume 5, issue 3, pages 27-29, 1982
Books, internationally recognised scientific publisher; as editor
9 references- Bruynooghe, Maurice (ed.),
Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003, Revised Selected Papers, 13th International Symposium on Logic Based Program Synthesis and Transformation, Uppsala, Sweden, August 25-27, 2003, Lecture Notes in Computer Science, volume 3018, 232 pages, Springer, 2004, isbn 354-022-174-3
- Bruynooghe, Maurice;
Lau, Kung-Kiu (eds.),
Program Development in Computational Logic, Lecture Notes in Computer Science, volume 3049, 538 pages, Springer, 2004, isbn 354-022-152-2
- Bruynooghe, Maurice (ed.),
LOPSTR 2003 Preproceedings of the International Symposium on Logic Based Program Synthesis and Transformation, 2003 International Symposium on Logic Based Program Synthesis and Transformation, Uppsala, Sweden, August 25-27, 2003, Report CW, volume CW365, 252 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2003
- Bruynooghe, Maurice;
Lau, Kung-Kiu (eds.),
Special issue on 'Program development' in Theory and practice of logic programming (Vol 2(4&5)), Cambridge University Press, 2002
- Bruynooghe, Maurice;
Debray, Saumya;
Hermenegildo, Manuel;
Maher, Michael (eds.),
Special Section: Ten Years of Logic Programming, Journal of Logic Programming, volume 23, 69 pages, North Holland, 1995
- Bruynooghe, Maurice (ed.),
Logic Programming, Proceedings of the 1994 International Symposium, 1994 International Symposium on Logic Programming, Ithaca, New York, November 13-17, 1994, 690 pages, MIT Press, 1994, isbn 026-252-191-1
- Bruynooghe, Maurice;
Debray, Saumya;
Hermenegildo, Manuel;
Maher, Michael (eds.),
Special Issue: Ten Years of Logic Programming, Journal of Logic Programming, volume 19/20, 717 pages, North Holland, 1994
- Bruynooghe, Maurice;
Penjam, Jaan (eds.),
Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Proceedings, Programming Language Implementation and Logic Programming, 5th International Symposium, Tallinn, Estonia,, August 25-27, 1993, Lecture Notes in Computer Science, volume 714, 421 pages, Springer-Verlag, 1993, isbn 038-757-186-8
- Bruynooghe, Maurice (ed.),
Proceedings of the Second Workshop on Meta-Programming in Logic, Second Workshop on Meta-Programming in Logic, Leuven, Belgium, April 4-6 1990, 396 pages, K.U.Leuven, Department of Computer Science, 1990
Article in book, internationally recognised scientific publisher
16 references- Denecker, Marc;
Bruynooghe, Maurice;
Vennekens, Joost.
Approximation fixpoint theory and the semantics of logic and answers set programs, Erdem, Esra; Lee, Joohyung; Lierler, Yuliya; Pearce, David (eds.), Lecture Notes in Computer Science, volume 7265, Springer, 2012
- Denecker, Marc;
Vennekens, Joost;
Vlaeminck, Hanne;
Wittocx, Johan;
Bruynooghe, Maurice.
Answer Set Programming's contributions to classical logic, An analysis of ASP methodology, Balduccini, Marcello; Son, Tran (eds.), Springer Verlag, 2011
- Bruynooghe, Maurice;
Boulanger, Dmitri.
Abstract interpretation for (constraint) logic programming, Mayoh, B.; Tyugu, E.; Penjam, J (eds.), Springer-Verlag, 1994
- De Raedt, Luc;
Bruynooghe, Maurice.
Interactive theory revision, Michalski, R.S.; Tecuci, G (eds.), Morgan Kaufmann, 1994
- Bruynooghe, Maurice;
De Schreye, Danny.
Meta Interpretation, Shapiro, S.C (ed.), John Wiley & Sons, 1992
- Bruynooghe, Maurice;
Venken, Raf.
Backtracking, Shapiro, S.C (ed.), John Wiley & Sons, 1992
- Bruynooghe, Maurice;
Venken, Raf.
Coroutines, Shapiro, S.C (ed.), John Wiley & Sons, 1992
- De Raedt, Luc;
Bruynooghe, Maurice.
An overview of the interactive concept-learner and theory revisor CLINT, Muggleton, S (ed.), Academic Press, 1992
- Sablon, Gunther;
Adé, Hilde;
Bruynooghe, Maurice.
Some Thoughts on inverse resolution, Muggleton, S (ed.), Academic Press, 1992
- Bruynooghe, Maurice.
Intelligent backtracking revisited, Lassez, Jean-Louis; Plotkin, Gordon (eds.), MIT Press, 1991
- De Raedt, Luc;
Sablon, Gunther;
Bruynooghe, Maurice.
Using Interactive Concept-Learning for Knowledge Base Validation and Verification, Ayel, M.; Laurent, J.P (eds.), John Wiley & Sons, 1991
- Bruynooghe, Maurice;
Venken, Raf.
Coroutines, Shapiro, S.C (ed.), John Wiley & Sons, 1987
- Bruynooghe, Maurice;
Venken, Raf.
Backtracking, Shapiro, S.C (ed.), John Wiley & Sons, 1987
- Bruynooghe, Maurice.
Garbage Collection in Prolog interpreters, Campbell, J.A (ed.), Ellis Horwood, Chichester, England, 1984
- Bruynooghe, Maurice;
Pereira, L.M..
Deduction revision by intelligent backtracking, Campbell, J.A (ed.), Ellis Horwood, Chichester, England, 1984
- Bruynooghe, Maurice.
The memory management of Prolog implementations, Clark, Keith L.; Tärnlund, Sten-Åke (eds.), Academic Pres, 1982
Papers at international conferences and symposia, published in full in proceedings
197 references- Andrews, Tara;
Blockeel, Hendrik;
Bogaerts, Bart;
Bruynooghe, Maurice;
Denecker, Marc;
De Pooter, Stef;
Macé, Caroline;
Ramon, Jan.
Analyzing manuscript traditions using constraint-based data mining, First Workshop on Combining Constraint Solving with Mining and Learning, Montpellier, France, 27 August 2012, ECAI 2012 : 20th European Conference or Artificial Intelligence, S.n.
- Blockeel, Hendrik;
Bogaerts, Bart;
Bruynooghe, Maurice;
De Cat, Broes;
De Pooter, Stef;
Denecker, Marc;
Labarre, Anthony;
Ramon, Jan;
Verwer, Sicco.
Modeling Machine Learning and Data Mining Problems with FO(·), Dovier, Agostino; Santos Costa, Vítor (eds.), International Conference on Logic Programming, Budapest, September 4-8, 2012, Proceedings of the 28th International Conference on Logic Programming - Technical Communications (ICLP'12), pages 14 -25, Schloss Daghstuhl - Leibniz-Zentrum fuer Informatik
- Fierens, Daan;
Van den Broeck, Guy;
Bruynooghe, Maurice;
De Raedt, Luc.
Constraints for probabilistic logic programming, Roy, Daniel; Mansinghka, Vikash; Goodman, Noah (eds.), NIPS Probabilistic Programming Workshop, Lake Tahoe, USA, 7-8 December 2012, Proceedings of the NIPS Probabilistic Programming Workshop
- Vlaeminck, Hanne;
Vennekens, Joost;
Bruynooghe, Maurice;
Denecker, Marc.
Ordered Epistemic Logic: Semantics, complexity and applications, Brewka, Gerhard; Eiter, Thomas; McIlraith, Sheila A (eds.), Knowledge Representation and Reasoning, Rome, 10-14 July 2012, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, pages 369-379, AAAI Press
- Bruynooghe, Maurice;
Mantadelis, Theofrastos;
Kimmig, Angelika;
Gutmann, Bernd;
Vennekens, Joost;
Janssens, Gerda;
De Raedt, Luc.
ProbLog technology for inference in a probabilistic first order logic, Coelho, Helder; Studer, Rudi; Woolridge, Michael (eds.), European Conference on Artificial Intelligence, Lisbon, Portugal, 16-20 August 2010, ECAI 2010 - 19th European Conference on Artificial Intelligence, pages 719-724, IOS Press
- Pilozzi, Paolo;
Schrijvers, Tom;
Bruynooghe, Maurice.
A transformational approach for proving properties of the CHR constraint store, Logic-Based Program Synthesis and Transformation, Revised Selected Papers, Coimbra, Portugal, September 2009, Lecture Notes in Computer Science, volume 6037, pages 22-36, Springer, 2010
- Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
Embracing events in causal modelling: Interventions and counterfactuals in CP-logic, Janhunen, Tomi; Niemela, Ilkka (eds.), European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finland, 13-15 September 2010, Lecture Notes in Computer Science, volume 6341, pages 313-325, Springer
- Vlaeminck, Hanne;
Wittocx, Johan;
Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
An approximative inference method for solving ∃∀SO satisfiability problems, Janhunen, Tomi; Niemelä, Ilkka (eds.), European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, 13-16 September 2010, Lecture Notes in Computer Science, volume 6341, pages 326-338, Springer
- Bruynooghe, Maurice;
De Cat, Broes;
Drijkoningen, Jochen;
Fierens, Daan;
Goos, Jan;
Gutmann, Bernd;
Kimmig, Angelika;
Labeeuw, Wouter;
Langenaken, Steven;
Landwehr, Niels;
Meert, Wannes;
Nuyts, Ewoud;
Pellegrims, Robin;
Rymenants, Roel;
Segers, Stefan;
Thon, Ingo;
Van Eyck, Jelle;
Van den Broeck, Guy;
Vangansewinkel, Tine;
Van Hove, Lucie;
Vennekens, Joost;
Weytjens, Timmy;
De Raedt, Luc.
An exercise with statistical relational learning systems, Domingos, Pedro; Kersting, Kristian (eds.), International Workshop on Statistical Relational Learning, Leuven, Belgium, 2-4 July 2009
- Pilozzi, Paolo;
Schrijvers, Tom;
Bruynooghe, Maurice.
A transformational approach for proving properties of the CHR constraint store, De Schreye, Danny; Quaresma, Pedro (eds.), International Symposium on Logic-Based Program Synthesis and Transformation, Coimbra, Portugal, 9-11 September 2009, Pre-proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, 15 pages
- Schrijvers, Tom;
Bruynooghe, Maurice;
Gallagher, John P..
From monomorphic to polymorphic well-typings and beyond, 18th Logic-Based Program Synthesis and Transformation, Valencia, Spain, 17-18 July 2008, Lecture Notes in Computer Science, volume 5438, pages 152-167, Springer, 2009
- Van Loon, Kristien;
Guiza Grandas, Fabian;
Meyfroidt, Geert;
Aerts, Jean-Marie;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice;
Van den Berghe, Greet;
Berckmans, Daniel.
Dynamic data analysis and data mining for prediction of clinical stability, 22th Medical Informatics Europe, Sarajevo, Bosnia&Herzegovina, 30 august - 2 september 2009, Studies in Health Technology and Informatics, volume 150, pages 590-594, I O S Press
- Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
FO(ID) as an extension of DL with rules, European Semantic Web Conference, Heraklion, Greece, 31 May-4 June 2009, Lecture Notes in Computer Science, volume 5554, pages 384-398, Springer
- Vennekens, Joost;
Kimmig, Angelika;
Mantadelis, Theofrastos;
Gutmann, Bernd;
Bruynooghe, Maurice;
De Raedt, Luc.
From ProbLog to first order logic: A first exploration, Domingos, Pedro; Kersting, Kristian (eds.), International Workshop on Statistical Relational Learning, Leuven, Belgium, 2-4 July 2009
- Verdoolaege, Sven;
Janssens, Gerda;
Bruynooghe, Maurice.
Equivalence checking of static affine programs using widening to handle recurrences, Bouajjani, Ahmed; Maler, Oded (eds.), Computer Aided Verification CAV 09, Grenoble, France, June 26-July 2 2009, Lecture Notes in Computer Science, volume 5643, pages 599-613, Springer
- Verdoolaege, Sven;
Palkovic, Martin;
Bruynooghe, Maurice;
Janssens, Gerda;
Catthoor, Francky.
Experience with widening based equivalence checking in realistic multimedia systems, High Level Design Validation and Test Workshop, San Francisco, 4-6 November 2009, High Level Design Validation and Test Workshop, 2009, pages 122-129, IEEE International
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Accuracy and efficiency of fixpoint methods for approximate query answering in locally complete databases, Brewka, Gerhard; Lang, Jérôme (eds.), Principles of Knowledge Representation and Reasoning, Sydney, Australia, 16-19 September 2008, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, pages 81-91, AAAI Press
- Croonenborghs, Tom;
Driessens, Kurt;
Bruynooghe, Maurice.
Learning relational options for inductive transfer in relational reinforcement learning, The 17th International Conference on Inductive Logic Programming (ILP), Corvallis, Oregon, 19-21 June 2007, Lecture Notes in Computer Science, volume 4894, pages 88-97, Springer, 2008
- Croonenborghs, Tom;
Driessens, Kurt;
Bruynooghe, Maurice.
Learning a transfer function for reinforcement learning problems, Taylor, Matthew; Driessens, Kurt; Fern, Alan (eds.), AAAI'08 Workshop on Transfer Learning for Complex Tasks, Chicago, USA, 14 July 2008, Proceedings of the AAAI'08 Workshop on Transfer Learning for Complex Tasks, pages 1-6, AAAI Press
- Fierens, Daan;
Ramon, Jan;
Bruynooghe, Maurice;
Blockeel, Hendrik.
Learning directed probabilistic logical models using ordering-search, International Conference on Inductive Logic Programming, Corvallis, USA, 19-21 June 2007, Lecture Notes in Computer Science, volume 4894, page24, Springer, 2008
- Mariën, Maarten;
Wittocx, Johan;
Denecker, Marc;
Bruynooghe, Maurice.
SAT(ID): Satisfiability of propositional logic extended with inductive definitions, SAT 2008 - Theory and Applications of Satisfiability Testing, Guangzhou, P. R. China, 12-15 May 2008, Lecture Notes in Computer Science, volume 4996, pages 211-224, Springer
- Raeymaekers, Stefan;
Bruynooghe, Maurice.
Sub node extraction with tree based wrappers, Ghallab, M.; Spyropoulos, C.D.; Fakotakis, N.; Avouris, N (eds.), European Conference on Artificial Intelligence, Patras, Greece, 21-25 July 2008, European Conference on Artificial Intelligence, pages 137 -141, IOS Press
- Schietgat, Leander;
Ramon, Jan;
Bruynooghe, Maurice;
Blockeel, Hendrik.
An efficiently computable graph-based metric for the classification of small molecules, International Conference on Discovery Science, Budapest, Hungary, 13-16 October 2008, Lecture Notes in Computer Science, volume 5255, pages 197-209, Springer
- Schrijvers, Tom;
Gallagher, John P.;
Bruynooghe, Maurice.
From monomorphic to polymorphic well-typings and beyond, Hanus, Michael (ed.), Logic-Based Program Synthesis and Transformation, Valencia, Spain, 17-18 July, 2008, Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, pages 3-12, Technical University of Valencia
- Verdoolaege, Sven;
Bruynooghe, Maurice.
Algorithms for weighted counting over parametric polytopes: A survey and a practical comparison, Beck, Matthias; Stoll, Thomas (eds.), Information-Theoretic Aspects of Integer-Point Enumeration in Polyhedra, Las Vegas, July 2008, The 2008 International Conference on Information Theory and Statistical Learning, pages 60-66
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Approximate query answering in locally closed databases, Holte, R.C.; Howe, A (eds.), Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, Canada, July 22-26, 2007, Proceedings of Twenty-Second AAAI Conference on Artificial Intelligence, pages 397-402
- Croonenborghs, Tom;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Online learning and exploiting relational models in reinforcement learning, Veloso, M (ed.), The 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 726-731
- Fierens, Daan;
Ramon, Jan;
Bruynooghe, Maurice;
Blockeel, Hendrik.
Learning directed probabilistic logical models: Ordering-search versus structure-search, Kok, J.N.; Koronacki, J.; LopezdeMantaras, R.; Matwin, S.; Mladenic, D.; Skowron, A (eds.), European Conference on Machine Learning, Warsaw, Poland, 17-21 September 2007, Lecture Notes in Computer Science, volume 4701, pages 567-574, Springer
- Raeymaekers, Stefan;
Bruynooghe, Maurice.
A hybrid approach towards wrapper induction, Berendt, B.; Mladenic, D.; Semeraro, G.; Spiliopoulou, M.; Stumme, G (eds.), Web Mining 2.0, an International Workshop, Warsaw, Poland, September 21, 2007, Proceedings of the Workshops Prior Conceptual Knowledge in Machine Learning and Data Mining, and Web Mining 2.0, pages 161-172
- Ramon, Jan;
Croonenborghs, Tom;
Fierens, Daan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Generalized ordering-search for learning directed probabilistic logical models, Muggleton, S.; Otero, R.; Tamaddoni-Nezhad, A (eds.), Inductive Logic Programming, Santiago de Compostella, Spain, 24-27 August 2006, Lecture Notes in Computer Science, volume 4455, pages 40-42, Springer, 2007
- Schietgat, Leander;
Ramon, Jan;
Bruynooghe, Maurice.
A polynomial-time metric for outerplanar graphs, van Someren, M.; Katrenko, S.; Adriaans, P (eds.), The Sixteenth Annual Machine Learning Conference of Belgium and the Netherlands, Amsterdam, The Netherlands, May 14-15, 2007, Benelearn 2007, Annual Machine Learning Conference of Belgium and the Netherlands, pages 97-104
- Schietgat, Leander;
Ramon, Jan;
Bruynooghe, Maurice.
A polynomial-time metric for outerplanar graphs, Frasconi, Paolo; Kersting, Kristian; Tsuda, Koji (eds.), International Workshop on Mining and Learning with Graphs, Florence, Italy, 1-3 August 2007, Proceedings of the 5th International Workshop on Mining and Learning with Graphs, pages 67-70
- Arieli, Ofer;
Denecker, Marc;
Bruynooghe, Maurice.
Distance-based repairs of databases, Tenth European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, United Kingdom, September 13-15, 2006, Lecture Notes in Computer Science, volume 4160, pages 43-55, Springer
- Bruynooghe, Maurice.
From definite programs to SeqLog or SeqLog revisited, Muggleton, S.; Otero, R (eds.), International Conference on Inductive Logic Programming, Santiago de Compostela, Spain, August 24-27, 2006, ILP'06, 16th International Conference on Inductive Logic Programming, Short Papers, pages 34-36
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Representation of partial knowledge and query answering in locally complete databases, Hermann, M.; Voronkov, A (eds.), 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Phnom Penh., Cambodia, November 13-17th, 2006, Lecture Notes in Computer Science, volume 4246, pages 407-421, Springer
- Croonenborghs, Tom;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Model-assisted approaches for relational reinforcement learning: Some challenges for the SRL community, Fern, A.; Getoor, L.; Milch, B (eds.), The ICML-2006 Workshop on Open Problems in Statistical Relational Learning, Pittsburgh, PA, June 29, 2006, Proceedings of the ICML-2006 Workshop on Open Problems in Statistical Relational Learning, pages 1-8
- Croonenborghs, Tom;
Tuyls, K.;
Ramon, Jan;
Bruynooghe, Maurice.
Multi-agent relational reinforcement learning Explorations in multi-state coordination tasks, Learning and Adaptation in Multi Agent Systems 2005, Utrecht, The Netherlands, July 25-26, 2005, Lecture Notes in Computer Science, volume 3898, pages 192-206, Springer, 2006
- Fu, Qiang;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Requirements for constraint solvers in verificiation of data-Intensive embedded system software, Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA 2006), Nantes, France, September 25, 2006, Proceedings of the 1st Workshop on Constraints in Software Testing, Verification and Analysis, pages 46-57
- Guiza Grandas, Fabian;
Fierens, Daan;
Ramon, Jan;
Blockeel, Hendrik;
Meyfroidt, Geert;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Predictive data mining in intensive care, Saeys, Y.; Tsiporkova, R.; De Baets, B.; Van de Peer, Y (eds.), Annual Machine Learning Conference of Belgium and the Netherlands (BENELEARN), Ghent, Belgium, 11-12 May 2006, Proceedings of the 15th Annual Machine Learning Conference of Belgium and the Netherlands (BENELEARN), pages 81-88
- Nguyen, Manh Thang;
Bruynooghe, Maurice;
De Schreye, Danny;
Leuschel, Michael.
Program specialisation as a preprocessing step for termination analysis, Geser, A.; Sondergaard, H (eds.), 8th International Workshop on Termination, Seattle, Washington, United States, August 15-16, 2006, WST 2006: Eighth International Workshop on Termination, pages 7-11
- Raeymaekers, Stefan;
Bruynooghe, Maurice.
Wrapper induction: Learning (k,l)-contextual tree languages directly as unranked tree automata, Gaertner, T.; Garriga, G.C.; Meinl, T (eds.), Mining and Learning with Graphs, Berlin, Germany, September 18, 2006, Proceedings of the International Workshop on Mining and Learning with Graphs (MLG-2006), pages 197-204
- Ramon, Jan;
Croonenborghs, Tom;
Fierens, Daan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Generalizing ordering-search for learning directed probabilistic logical models, Muggleton, Stephen; Otero, Ramon (eds.), International Conference on Inductive Logic Programming, Santiago de Compostela, Spain, August 24-27, 2006, Short Papers of the 16th International Conference on Inductive Logic Programming, pages 173-175
- Schrijvers, Tom;
Bruynooghe, Maurice.
Polymorphic algebraic data type reconstruction, Maher, M (ed.), ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Venice, Italy, July 10-12, 2006, Proceedings of the Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, pages 85-96, ACM Press
- Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
Representing causal information about a probabilistic process, 18th Belgium-Netherlands Conference on Artificial Intelligence, Namur, Belgium, October 5-6, 2006, BNAIC'06, Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence, pages 433-434
- Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
Representing causal information about a probabilistic process, European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, United Kingdom, 13-15 September 2006, Lecture Notes in Computer Science, volume 4160, pages 452-464, Springer
- Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
Extending the role of causality in probabilistic modeling, Dix J., ; Hunter, A (eds.), International Workshop on Non-monotonic Reasoning, Lake district, UK, May 30-June 1, 2006, Proceedings of the 11th International Workshop on Non-monotonic Reasoning, pages 183-190
- Wittocx, Johan;
Vennekens, Joost;
Mariën, Maarten;
Denecker, Marc;
Bruynooghe, Maurice.
Predicate introduction under stable and well-founded semantics, Etalle, S.; Truszczynski, M (eds.), International Conference on Logic Programming, ICLP, Seattle, Washington, USA, August 17-10, 2006, Lecture Notes in Computer Science, volume 4079, pages 242-256, Springer
- Bruynooghe, Maurice;
Gallagher, John P.;
Van Humbeeck, W..
Inference of well-typings for logic programs with application to termination analysis, The 12th International Static Analysis Symposium, London, United Kingdom, September 7-9, 2005, Lecture Notes in Computer Science, volume 3672, pages 35-51, Springer
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Van Nuffelen, Bert;
Bruynooghe, Maurice.
On the local closed-world assumption of data-sources, International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), Diamante, Cosenza, Italy, September 5-9, 2005, Lecture Notes in Computer Science, volume 3662, pages 145-157, Springer
- Fierens, Daan;
Blockeel, Hendrik;
Bruynooghe, Maurice;
Ramon, Jan.
Logical Bayesian networks and their relation to other probabilistic logical models, International Conference on Inductive Logic Programming, Bonn, Germany, 10-13 August 2005, Lecture Notes in Computer Science, volume 3625, pages 121-135, Springer
- Fierens, Daan;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
A comparison of approaches for learning first-order logical probability estimation trees, Kramer, Stefan; Pfharinger, Bernhard (eds.), International Conference on Inductive Logic Programming, Bonn, Germany, August 10-13, 2005, 15th International Conference on Inductive Logic Programming, Late-breaking Papers, pages 11-16
- Fierens, Daan;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
A comparison of approaches for learning probability trees, European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Lecture Notes in Computer Science, volume 3720, pages 556-563, Springer
- Mariën, Maarten;
Mitra, Rudradeb;
Denecker, Marc;
Bruynooghe, Maurice.
Satisfiability checking for PC(ID), Logic for Programming, Artificial Intelligence, and Reasoning, Montego Bay, Jamaica, 2-6 December 2005, Lecture Notes in Computer Science, volume 3835, pages 565-579, Springer
- Raeymaekers, Stefan;
Bruynooghe, Maurice;
Van den Bussche, J..
Learning (k,l)-contextual tree languages for information extraction, European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Lecture Notes in Computer Science, volume 3720, pages 305-316, Springer
- Schrijvers, Tom;
Bruynooghe, Maurice.
Towards constraint-based type inference with polymorphic recursion for functional and logic languages, Butterfield, A (ed.), Implementation and Application of Functional Languages, 17th International Workshop, Dublin, Ireland, September 19-21, 2005, Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, pages 1-16
- Shashidhar, K. C.;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Verification of source code transformations by program equivalence checking, International Conference on Compiler Construction, Edinburgh, United Kingdom, April 4-8, 2005, Lecture Notes in Computer Science, volume 3443, pages 221-236, Springer
- Shashidhar, K. C.;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Functional equivalence checking for verification of algebraic transformations on array-intensive source code, Design, Automation and Test in Europe, Munich, Germany, March 7-11, 2005, Proceedings of the Design, Automation and Test in Europe, 2005, pages 1310-1315, IEEE
- Tuyls, Karl;
Croonenborghs, Tom;
Ramon, Jan;
Goetschalckx, Robby;
Bruynooghe, Maurice.
Multi-agent relational reinforcement learning, Tuyls, K.; Verbeeck, K.; 't Hoen, P.; Sen, S (eds.), First international workshop on Learning and Adaptation in Multi Agent Systems held at the 4th International Conference on Autonomous Agents and Multi-Agents Systems, Utrecht, The Netherlands, July 25-26, 2005, Proceedings of the First International Workshop on Learning and Adaptation in Multi Agent Systems, pages 123-132
- Vanbroekhoven, Peter;
Janssens, Gerda;
Bruynooghe, Maurice;
Corporaal, Henk;
Catthoor, Francky.
Transformation to dynamic single assignment using a simple data flow analysis, Asian Symposium on Programming Languages and Systems, Tsukuba, Japan, November 3-5, 2005, Lecture Notes in Computer Science, volume 3780, pages 330-346, Springer
- Verdoolaege, Sven;
Beyls, Kristof;
Bruynooghe, Maurice;
Catthoor, Francky.
Experiences with enumeration of integer projections of parametric polytopes, 14th International Conference on Compiler Construction, Edinburgh, United Kingdom, April 4-8, 2005, Lecture Notes in Computer Science, volume 3443, pages 91-105, Springer
- Arieli, Ofer;
Denecker, Marc;
Van Nuffelen, Bert;
Bruynooghe, Maurice.
Database repair by signed formulae, Foundations of Information and Knowledge Systems (FOIKS 2004), Vienna, Austria, February 17-20, 2004, Lecture Notes in Computer Science, volume 2942, pages 14-30, Springer
- Bruynooghe, Maurice;
Gallagher, John P..
Inferring polymorphic types from logic programs, Etalle, S (ed.), 14th International Symposium on Logic-based Program Synthesis and Transformation, Verona, Italy, August 26-28, 2004, Logic Based Synthesis and Transformation, LOPSTR 2004, Pre-Proceedings, pages 244-259
- Croonenborghs, Tom;
Ramon, Jan;
Bruynooghe, Maurice.
Towards informed reinforcement learning, Tadepalli, P.; Givan, R.; Driessens, K (eds.), ICML-2004 workshop on relational reinforcement learning, Banff, Canada, July 8, 2004, Proceedings of the ICML'04 Workshop on Relational Reinforcement Learning, pages 21-26
- Fierens, Daan;
Blockeel, Hendrik;
Ramon, Jan;
Bruynooghe, Maurice.
Logical Bayesian networks, Dzeroski, Saso; Blockeel, Hendrik (eds.), 3rd International Workshop on Multi-Relational Data Mining, Seattle, USA, August 22, 2004, Proceedings of the 3rd International Workshop on Multi-Relational Data Mining, pages 19-30
- Pelov, Nikolay;
Denecker, Marc;
Bruynooghe, Maurice.
Partial stable models for logic programs with aggregates, International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, Florida, USA, January 6-8, 2004, Lecture Notes in Computer Science, volume 2923, pages 207-219, Springer
- Raeymaekers, Stefan;
Bruynooghe, Maurice.
Parameterless information extration using (k,l)-contextual tree languages, Verbrugge, R.; Taatgen, N.; Schomaker, L (eds.), 16th Belgium-Netherlands Conference on Aritficial Intelligence (BNAIC 2004), Groningen, The Netherlands, October 21-22, 2004, BNAIC-2004, Proceedings of the Sixteenth Belgium-Netherlands Conference on Artificial Intelligence, pages 211-218
- Van Nuffelen, Bert;
Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Data integration using ID-Logic, International Conference on Advanced Information Systems Engineering (CAiSE 2004), Riga, Latvia, June 7-11, 2004, Lecture Notes in Computer Science, volume 3084, pages 67-81, Springer
- Vanhoof, Wim;
Bruynooghe, Maurice;
Leuschel, Michael.
Binding-time analysis for Mercury, Program Development in Computational Logic, Lecture Notes in Computer Science, volume 3049, pages 189-232, Springer, 2004
- Vennekens, Joost;
Verbaeten, Sofie;
Bruynooghe, Maurice.
Logic programs with annotated disjunctions, Delgrande, J.P.; Schaub, T (eds.), The 10th International Workshop on Non-Monotonic Reasoning, Whistler, British Columbia, Canada, June 6-8, 2004, Proceedings of the 10th International Workshop on Non-Monotonic Reasoning, pages 409-415
- Vennekens, Joost;
Verbaeten, Sofie;
Bruynooghe, Maurice.
Logic programs with annotated disjunctions, International conference on logic programming (ICLP), Saint-Malo, France, 6-10 September 2004, Lecture Notes in Computer Science, volume 3132, pages 431-445, Springer
- Verdoolaege, Sven;
Seghir, Rachid;
Beyls, Kristof;
Loechner, Vincent;
Bruynooghe, Maurice.
Analytical computation of Ehrhart polynomials: Enabling more compiler analyses and optimizations, International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2004), Washington D.C., September 22-25, 2004, Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2004), pages 248-258, ACM
- Kosala, Raymondus;
Bruynooghe, Maurice;
Blockeel, Hendrik;
Van den Bussche, Jan.
Information extraction from web documents based on local unranked tree automaton inference, Gottlob, G.; Walsh, T (eds.), Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pages 403-408
- Pelov, Nikolay;
Denecker, Marc;
Bruynooghe, Maurice.
Translation of aggregate programs to normal logic programs, De Vos, M.; Provetti, A (eds.), ASP03 Answer Set Programming: Advances in Theory and Implementation, Messina, Sicily, September 26-28, 2003, Answer Set Programming: Advances in Theory and Implementation, pages 29-42
- Shashidhar, K. C.;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Automatic functional verification of memory oriented global source code transformations, 8th Annual IEEE International Workshop on High Level Design Validation and Test, San Francisco, California, USA, 12-14 November 2003, Eight Annual IEEE International Workshop on High-Level Design Validation and Test, pages 31-36, IEEE
- Vanbroekhoven, Peter;
Janssens, Gerda;
Bruynooghe, Maurice;
Corporaal, Henk;
Catthoor, Francky.
Advanced copy propagation for arrays, Mueller, F.; Kremer, U (eds.), Languages, Compilers, and Tools for Embedded Systems - LCTES, San Diego, California, June 11-13, 2003, Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES'03), pages 24 - 33, ACM Press
- Vanhoof, Wim;
Tronçon, Remko;
Bruynooghe, Maurice.
A fixed point semantics for logic programs extended with cuts, Logic Based Program Synthesis and Transformation (LOPSTR 2002), Madrid, Spain, September 16-20, 2002, Lecture Notes in Computer Science, volume 2664, pages 238-257, Springer, 2003
- Verdoolaege, Sven;
Catthoor, Francky;
Bruynooghe, Maurice;
Janssens, Gerda.
Multi-dimensional incremental loop fusion for data locality, IEEE 14th International Conference on Application-Specific Systems, Architectures, and Processors - ASAP, The Hague, The Netherlands, 24-26 June 2003, Proceedings 2003 Application-specific Systems, Architectures and Processors, pages 17-27, IEEE
- Arieli, Ofer;
Denecker, Marc;
Van Nuffelen, Bert;
Bruynooghe, Maurice.
Repairing inconsistent databases: a model-theoretic approach and abductive reasoning, Decker, H.; Waragai, T (eds.), Paraconsistent Computational Logic 2002, Copenhagen, Denmark, July 27, 2002, Proceedings ICLP'02 Workshop on Paraconsistent Computational Logic, pages 51-65
- Bekaert, Pieter;
Van Nuffelen, Bert;
Bruynooghe, Maurice;
Gilis, David;
Denecker, Marc.
On the transformation of object-oriented conceptual models to logical theories, 21th International Conference on Conceptual Modeling (ER 2002), Tampere, Finland, October 7-11, 2002, Lecture Notes in Computer Science, volume 2503, pages 152-166, Springer
- Blockeel, Hendrik;
Bruynooghe, Maurice;
Džeroski, Sašo;
Ramon, Jan;
Struyf, Jan.
Hierarchical multi-classification, De Raedt, Luc; Džeroski, Saso; Wrobel, Stefan (eds.), Workshop on Multi-Relational Data Mining, Edmonton, Canada, July 23, 2002, Workshop Notes of the KDD'02 Workshop on Multi-Relational Data Mining, pages 21-35
- Bruynooghe, Maurice;
Codish, Michael;
Genaim, Samir;
Vanhoof, Wim.
Reuse of results in termination analysis of typed logic programs, The 9th International Static Analysis Symposium, Madrid, Spain, September 17-20, 2002, Lecture Notes in Computer Science, volume 2477, pages 477-492, Springer
- Kosala, Raymondus;
Bruynooghe, Maurice;
Blockeel, Hendrik;
Van den Bussche, Jan.
Information extraction by means of a generalized k-testable tree automata inference algorithm, Ibrahim, I.K.; Bressan, S.; Schwinger, W (eds.), Fourth International Conference on Information Integration and Web-based Application & Services, Bandung, Indonesia, September 10-12, 2002, IiWAS2002, Proceedings Fourth International Conference on Information Integration and Web-based Application & Services, pages 105-109
- Kosala, Raymondus;
Bruynooghe, Maurice;
Van den Bussche, Jan;
Blockeel, Hendrik.
Information extraction from web pages based on k-testable tree automaton induction, Moens, M.-F.; De Busser, R.; Hiemstra, D.; Kraaij, W (eds.), Third Dutch Belgian Information Retrieval workshop, Leuven, Belgium, December 6, 2002, Proceedings of the Third Dutch-Belgian Information Retrieval Workshop (DIR-2002), pages 13-19
- Kosala, Raymondus;
Van den Bussche, Jan;
Bruynooghe, Maurice;
Blockeel, Hendrik.
Information extraction in structured documents using tree automata induction, Elomaa, T.; Mannila, H.; Toivonen, H (eds.), 6th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2002), Helsinki, Finland, August 19-23, 2002, Lecture Notes in Computer Science, volume 2431, pages 299-310, Springer
- Shashidhar, K. C.;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations, International Workshop on Compilers Meets Compiler Verification - COCV, Grenoble, France, April 13, 2002, Compiler Optimization Meets Compiler Verification (COCV'02), pages 71-86
- Tronçon, Remko;
Bruynooghe, Maurice;
Janssens, Gerda;
Catthoor, Francky.
Storage size reduction by in-place mapping of arrays, Cortesi, A (ed.), Third International Workshop on Verification, Model Checking and Abstract Interpretation, Venice, Italy, January 21-22, 2002, VMCAI 2002, Third International Workshop on Verification, Model Checking and Abstract Interpretation, Pre-Proceedings, pages 1-12
- Tronçon, Remko;
Bruynooghe, Maurice;
Janssens, Gerda;
Catthoor, Francky.
Storage size reduction by in-place mapping of arrays, Verification, Model Checking, and Abstract Interpretation - VMCAI. 3rd international Workshop, Venice, Italy, January 21-22, 2002, Lecture Notes in Computer Science, volume 2294, pages 167-181, Springer
- Vanhoof, Wim;
Bruynooghe, Maurice.
When size does matter - Termination analysis for typed logic programs, Logic-based Program Synthesis and Transformation, Paphos, Cyprus, November 28-30, 2001, Lecture Notes in Computer Science, volume 2372, pages 129-147, Springer, 2002
- Vanhoof, Wim;
Bruynooghe, Maurice.
Bottom-up transformation for programs with procedural control, Leuschel, M.; Bueno, F (eds.), International Workshop on Logic Based Program Development and Transformation 2002, Madrid, Spain, September 16-20, 2002, LOPSTR 2002, Preproceedings of the International Workshop on Logic Based Program Development and Transformation, pages 234-250
- Arieli, Ofer;
Van Nuffelen, Bert;
Denecker, Marc;
Bruynooghe, Maurice.
Coherent composition of distributed knowledge-bases through abduction, Nieuwenhuis, R.; Voronkov, A (eds.), International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Havana, Cuba, December 3-7, 2001, Lecture Notes in Computer Science, volume 2250, pages 620-635, Springer
- Bruynooghe, Maurice;
Vanhoof, Wim;
Codish, Michael.
Pos(T) : Analyzing dependencies in typed logic programs, Bjørner, Dines; Broy, Manfred; Zalumin, Alexandre (eds.), Andrei Ershov Fourth International Conference "Perspectives of System Informatics", Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Perspectives of System Informatics (Proceedings of Andrei Ershov Fourth International Conference), Preliminary Proceedings
- Bruynooghe, Maurice;
Vanhoof, Wim;
Codish, Michael.
Pos(T) : Analyzing dependencies in typed logic programs, Bjørner, D.; Broy, M.; Zalumin, A.V (eds.), 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorod, Novosibirsk, Russia, July 2-6, 2001, Lecture Notes in Computer Science, volume 2244, pages 406-420, Springer
- Denecker, Marc;
Pelov, Nikolay;
Bruynooghe, Maurice.
Ultimate Well-founded and stable semantics for logic programs with aggregates, Codognet, P (ed.), 17th International Conference on Logic Programming, Paphos, Cyprus, November 26 - December 1, 2001, Lecture Notes in Computer Science, pages 212-226, Springer
- Mazur, Nancy;
Ross, Peter;
Janssens, Gerda;
Bruynooghe, Maurice.
Practical aspects for a working compile time garbage collection system for Mercury, Codognet, P (ed.), International Conference on Logic Programming, Paphos, Cyprus, November 26 - December 1, 2001, Lecture Notes in Computer Science, volume 2237, pages 105-119, Springer
- Vanhoof, Wim;
Bruynooghe, Maurice.
When size does matter - Termination analysis for typed logic programs, Pettorossi, A (ed.), Logic-based Program Synthesis and Transformation, Paphos, Cyprus, November 28-30, 2001, Pre-Proceedings, LOPSTR'01 : Logic-based Program Synthesis and Transformation, pages 67-76
- Vanhoof, Wim;
Bruynooghe, Maurice.
Binding-time annotations without binding-time analysis, Nieuwenhuis, R.; Voronkov, A (eds.), International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Havana, Cuba, December 3-7, 2001, Lecture Notes in Computer Science, volume 2250, pages 707-722, Springer
- Bruynooghe, Maurice.
Logic programming for describing and solving planning problems, Baral, Chitta; Truszczynski, Miroslaw (eds.), 8th International Workshop on Nonmonotonic Reasoning, Breckenridge, Colorado, USA, 9-11 April 2000, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, pages 1-8
- Mazur, Nancy;
Janssens, Gerda;
Bruynooghe, Maurice.
A module based analysis for memory reuse in Mercury, Lloyd, John; Dahl, Veronica; Furbach, Ulrich; Kerber, Manfred; Lau, Kung-Kiu; Palamidessi, Catuscia; Pereira, Luis Moniz; Sagiv, Yehoshua; Stuckey, Peter J (eds.), First International Conference on Computational Logic, London, United Kingdom, July 24-28, 2000, Lecture Notes in Computer Science, volume 1861, pages 1255-1269, Springer
- Pelov, Nikolay;
Bruynooghe, Maurice.
Extending constraint logic programming with open functions, Gabbrielli, M.; Pfenning, F (eds.), 2nd International Conference on Principles and Practice of Declarative Programming, Montreal, Canada, September 20-22, 2000, Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00), pages 235-244, ACM Press
- Pelov, Nikolay;
De Mot, Emmanuel;
Bruynooghe, Maurice.
A comparison of logic programming approaches for representation and solving of constraint satisfaction problems, Baral, Chitta; Truszczynski, Miroslaw (eds.), 8th International Workshop on Non-Monotonic Reasoning, Breckendridge, Colorado, USA, 9-11 April 2000, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, pages 1-10
- Vanhoof, Wim;
Bruynooghe, Maurice.
Towards a modular binding-time analysis for higher-order Mercury, Lau, Kung-Kiu (ed.), Tenth International Workshop on Logic-based Program Synthesis and Transformation, 2000, London, United Kingdom, July 24-28, 2000, Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation, 2000, pages 55-63
- Bruynooghe, Maurice;
Pelov, Nikolay;
Denecker, Marc.
Towards a more declarative language for solving finite domain problems, Apt, Krzysztof R.; Kakas, Antonios; Monfroy, Eric; Rossi, Francesca (eds.), 1999 ERCIM/COMPULOG Workshop on Constraints, Paphos, Cyprus, October 1999, Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints, pages 1-14
- Mazur, Nancy;
Janssens, Gerda;
Bruynooghe, Maurice.
Towards modular liveness analysis for Mercury, Sagonas, Konstantinos; Tarau, Paul (eds.), International Workshop on Implementation of Declarative Languages, Paris, France, September 1999, Proceedings of the International Workshop on Implementation of Declarative Languages, pages 1-17
- Mazur, Nancy;
Janssens, Gerda;
Bruynooghe, Maurice.
Towards modular liveness analysis for Mercury, Etalle, Sandro (ed.), 1999 Benelux Workshop on Logic Programming, Maastricht, The Netherlands, 5 November 1999, Proceedings of the 1999 Benelux Workshop on Logic Programming, pages 1-17
- Pelov, Nikolay;
Bruynooghe, Maurice.
Proving failure of queries for definite logic programs using XSB-Prolog, Ganzinger, Harald; McAllester, David; Voronkov, Andrei (eds.), 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), Tbilisi, Republic of Georgia, 6-10 September 1999, Lecture Notes in Computer Science, volume 1705, pages 358-375, Springer
- Vanhoof, Wim;
Bruynooghe, Maurice.
Binding-time analysis for Mercury, Bossi, A (ed.), 9th International Workshop on Logic-based Program Synthesis and Transformation, Venezia, Italia, 22-24 September 1999, Pre-Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), pages 1-10
- Vanhoof, Wim;
Bruynooghe, Maurice.
Binding-time analysis for Mercury, De Schreye, Danny (ed.), International Conference on Logic Programming, Las Cruces, New Mexico, USA, November 29 - December 4, Proceedings of the 16th International Conference on Logic Programming, pages 500 -514, MIT Press, 1999
- Vanhoof, Wim;
Bruynooghe, Maurice.
Towards modular binding-time analysis for first-order Mercury, Leuschel, Michael (ed.), Workshop on Optimization and Implementation of Declarative Languages, Las Cruces, New Mexico, USA, December 1999, Proceedings of the Workshop on Optimization and Implementation of Declarative Languages, pages 1-9
- Bruynooghe, Maurice;
Leuschel, Michael;
Sagonas, Konstantinos.
A polyvariant binding-time analysis for off-line partial deduction, Hankin, Chris (ed.), European Symposium on Programming, Lisboa, Portugal, March 1998, Lecture Notes in Computer Science, volume 1381, pages 27-41, Springer
- Bruynooghe, Maurice;
Vandecasteele, Henk;
de Waal, D André;
Denecker, Marc.
Detecting unsolvable queries for definite logic programs, Palamidessi, C.; Glaser, H.; Meinke, K (eds.), Principles of Declarative Programming, Joint Symposium on PLILP/ALP, Pisa, Italy, 16-18 September 1998, Lecture Notes in Computer Science, volume 1490, pages 118-133, Springer
- Ramon, Jan;
Bruynooghe, Maurice.
A framework for defining distances between first-order logic objects, Page, D (ed.), 8th International Conference on Inductive Logic Programming, Madison, Wisconsin, USA, 22-24 July 1998, Lecture Notes in Computer Science, volume 1446, pages 271-280, Springer
- Ramon, Jan;
Bruynooghe, Maurice;
De Schreye, Danny.
Recent research results in the group declarative languages and artificial intelligence, van Raamsdonk, Femke (ed.), Benelux Workshop on Logic Programming, Amsterdam, The Netherlands, 20 November 1998, Proceedings of the Benelux Workshop on Logic Programming, pages 1-11
- Ramon, Jan;
Bruynooghe, Maurice;
Van Laer, Wim.
Distance measures between atoms, Lloyd, L (ed.), the CompulogNet Area Meeting on Computational Logic and Machine Learing, Manchester, UK, June 1998, Proceedings of the CompulogNet Area Meeting on Computational Logic and Machine Learing, pages 35-41
- Bruynooghe, Maurice;
Janssens, Gerda;
Kågedal, Andreas.
Live-structure analysis for logic programming languages with declarations, Naish, Lee (ed.), Fourteenth International Conference on Logic Programming (ICLP'97), Leuven, Belgium, Junly 8-10, 1997, Logic Programming, The Fourteenth International Conference on Logic Programming, pages 33-47, MIT Press
- de Waal, D André;
Denecker, Marc;
Bruynooghe, Maurice;
Thielscher, Michael.
The generation of pre-interpretations for detecting unsolvable planning problems, Furbach, U (ed.), Workshop on Model-Based Automated Reasoning (15th International Joint Conference on Artificial Intelligence), Nagoya, Japan, 23-29 August 1997, Workshop on Model-Based Automated Reasoning (15th International Joint Conference on Artificial Intelligence), pages 103-112
- de Waal, D Andre;
Denecker, Marc;
Bruynooghe, Maurice;
Thielscher, Michael.
The Generation of Pre-interpretations for Detecting Unsolvable Planning Problems, Venter, L M.; Lombard, R R (eds.), the 1997 National Research and Development Conference (SIACSIT'97), Potschefstroomse University South Africa, November 1997, The 1997 National Research and Development Conference (SIASIT'97), pages 77-86
- Bruynooghe, Maurice;
Demoen, Bart;
Boulanger, Dmitri;
Denecker, Marc;
Mulkers, Anne.
A freeness and sharing analysis of logic programs based on a pre-interpretation, Cousot, R.; Schmidt, D.A (eds.), Third International Symposium on Static Analysis, Aachen, Germany, September 24-27, 1996, Lecture Notes in Computer Science, volume 1445, pages 128-142, Springer
- Bruynooghe, Maurice;
Janssens, Gerda;
Dumortier, Veroniek.
A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs, Garcia de la Banda, Maria; Janssens, Gerda; Stuckey, Peter (eds.), the ICLP'95 Post-Conference Workshop on Abstract Interpretation of Logic Languages, Tokyo, Japan, June 1995, Proceedings of the ICLP'95 Post-Conference Workshop on Abstract Interpretation of Logic Languages, pages 18-35
- Janssens, Gerda;
Bruynooghe, Maurice;
Dumortier, Veroniek.
A blueprint for an abstract machine for abstract interpretation of (constraint) logic programming, Lloyd, John (ed.), 1995 International Symposium on Logic Programming, Portland, Oregon, USA, December 4-7, 1995, Proceedings of the 1995 International Sympoisum (ILPS'95), pages 336-350, MIT Press
- Mulkers, Anne;
Simoens, Wim;
Janssens, Gerda;
Bruynooghe, Maurice.
On the practicality of abstract equation systems, Sterling, Leon (ed.), The Twelfth International Conference on Logic Programming, Tokyo, Japan, 13-16 June 1995, Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, pages 781-795, MIT Press
- Boulanger, Dmitri;
Bruynooghe, Maurice.
Using abstract interpretation for goal replacement, Deville, Yves (ed.), Workshop on Logic Program Synthesis and Transformation (LOPSTR'93), Louvain-la-Neuve, Belgium, July 7-9, 1993, Logic Program Synthesis and Transformation (LOPSTR'93), pages 210-228, Springer, 1994
- Boulanger, Dmitri;
Bruynooghe, Maurice.
Using call/exit analysis for logic program transformation, Fribourg, (ed.), Logic Program Synthesis and Transformation, Pisa, Italy, June 20-21, 1994, Lecture Notes in Computer Science, volume 883, pages 36-50, Springer
- Boulanger, Dmitri;
Bruynooghe, Maurice.
A systematic construction of abstract domains, Le Charlier, B (ed.), Static Analysis, Proc. of First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Lecture Notes in Computer Science, volume 864, pages 61-77, Springer
- Boulanger, Dmitri;
Bruynooghe, Maurice.
Abstract domains - a model theoretic approach, de Boer, F.S.; Gabbrielli, M (eds.), Workshop W2 Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994, Workshop W2 Verification and Analysis of (Concurrent) Logic Languages, pages 175-196
- Boulanger, Dmitri;
Bruynooghe, Maurice;
Denecker, Marc.
Abstracting s-semantics using a model-theoretic approach, Hermenegildo, M.; Penjam, J (eds.), Programming Language Implementation and Logic Programming, Madrid, Spain, September 14-16, 1994, Lecture Notes in Computer Science, volume 844, pages 432-446, Springer
- Bruynooghe, Maurice;
Codish, Michael;
Mulkers, Anne.
Abstract unification for a composite domain deriving sharing and freeness properties of program variables, de Boer, F.S.; Gabbrielli, M (eds.), W2 Post-conference Workshop on Verification and Analysis of Logic Languages, ICLP'94, Santa Margherita Ligure, Italy, June 1994, Proceedings of the W2 Post-conference Workshop on Verification and Analysis of Logic Languages, pages 213-229
- Codish, Michael;
García de la Banda, Maria;
Bruynooghe, Maurice;
Hermenegildo, Manuel.
Goal dependent vs goal independent analysis of logic programs, Pfenning, F (ed.), Logic Programming and Automated Reasoning, Kiev, Ukraine, July 16-22, 1994, Lecture Notes in Computer Science, volume 822, pages 305-319, Springer
- Janssens, Gerda;
Bruynooghe, Maurice;
Englebert, Vincent.
Abstracting numerical values in CLP(H,N), Manuel. Hermenegildo, ; Jaan Penjam, (eds.), Programming Language Implementation and Logic Programming, Madrid, Spain, September 14-16, 1994, Lecture Notes in Computer Science, volume 844, pages 400-414, Springer
- Sablon, Gunther;
Bruynooghe, Maurice.
Using the event calculus to integrate planning and learning in an intelligent autonomous agent, Bäckström, C.; Sandewall, E (eds.), Workshop on Planning Current Trends in AI Planning, Linköping, Sweden, December 1993, Current Trends in AI Planning, pages 254-265, 1994
- Adé, Hilde;
De Raedt, Luc;
Bruynooghe, Maurice.
Theory Revision, 3rd International Workshop on Inductive Logic Programming, Bled, Slovenia, 1-3 April 1993, Proceedings of the 3rd International Workshop on Inductive Logic Programming, pages 179-192
- Adé, Hilde;
De Raedt, Luc;
Bruynooghe, Maurice.
Revision de Théorie: Approche Logique, Journees Francophones sur l'Apprentissage, St Raphaël, France, 29-31 March 1993, Actes Des Journees Francophones Sur L'Apprentissage, pages 1-15
- Boulanger, Dmitri;
Bruynooghe, Maurice.
Deriving transformations of logic programs using abstract interpretation, Lau, Kung-Kiu; Clement, Tim P (eds.), Logic Programming Synthesis and Transformation, Manchester, 2-3 July 1992, Logic Program Synthesis and Transformation, Proceedings of LOPSTR'92, pages 99-117, Springer, 1993
- Bruynooghe, Maurice;
Codish, Michael.
Freeness, sharing, linearity and correctness - all at once, Cousot, P.; Falaschi, M.; Filè, G.; Rauzy, A (eds.), International Workshop on Static Analysis, Padova, Italy, September 22-24, 1993, Lecture Notes in Computer Science, volume 724, pages 153-164, Springer
- Codish, Michael;
Dams, Dennis;
Filè, Gilberto;
Bruynooghe, Maurice.
Freeness analysis for logic programs - and correctness, Warren, D.S (ed.), Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-24, 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, pages 116-131, MIT Press
- Codish, Michael;
Mulkers, Anne;
Bruynooghe, Maurice;
García de la Banda, Maria;
Hermenegildo, Manuel.
Improving abstract interpretations by combining domains, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, June 14-16, 1993, Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'93), pages 194-205, ACM Press
- De Raedt, Luc;
Bleken, Erlend;
Coget, Vincent;
Ghil, Chaouat;
Swennen, Bart;
Bruynooghe, Maurice.
Learning to survive, International Workshop on Multistrategy Learning, Harper's Ferry, USA, 1993, Proceedings of the 2nd International Workshop on Multistrategy Learning, Harper's Ferry, USA, pages 92-106
- De Raedt, Luc;
Bruynooghe, Maurice.
A theory of clausal discovery, International Joint Conference on Artificial Intelligence, Chambéry, France, August 28 -September 3, 1993, Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 1058-1063, Morgan Kaufmann
- Dumortier, Veroniek;
Janssens, Gerda;
Bruynooghe, Maurice;
Codish, Michael.
Freeness analysis in the presence of numerical constraints, Warren, D.S (ed.), Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-24, 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, pages 100-115, MIT Press
- Adé, Hilde;
Bruynooghe, Maurice.
A comparative study of declarative and dynamically adjustable language bias in concept learning, ML92 Workshop on Biases in Inductive Learning, Aberdeen, Scotland, July 1992, Proceedings of ML92 Workshop on Biases in Inductive Learning, pages 1-14
- Adé, Hilde;
Bruynooghe, Maurice.
A comparative study of declarative and dynamically adjustable language bias in concept learning, ECAI92 Workshop : Logical Approaches to Machine Learning, Vienna, Austria, August 1992, Proceedings of the ECAI92 Workshop : Logical Approaches to Machine Learning (Vienna, Austria, August 1992), pages 1-5
- Bruynooghe, Maurice;
Janssens, Gerda.
Propagation - a new operation in a framework for abstract interpretation of logic programs, Third International Workshop, META-92, Uppsala, Sweden, June 10–12, 1992, Lecture Notes in Computer Science, volume 649, pages 294-307, Springer verlag
- Bruynooghe, Maurice;
Janssens, Gerda.
Propagation : a new operation in a framework for abstract interpretation of logic programs, Pettorossi, Alberto; Barklund, Jonas (eds.), Third International Workshop on Metaprogramming in Logic (META-92),, Uppsala, Sweden, 10-12 June 1992, Proceedings of Third International Workshop on Metaprogramming in Logic (META-92) (Preliminary Proceedings), pages 238-252
- De Schreye, Danny;
Verschaetse, Christophe;
Bruynooghe, Maurice.
A framework for analysing the termination of definite logic programs with respect to call patterns, International Conference on Fifth Generation Computer Systems, Tokyo, Japan, 1-5 June 1992, Fifth Generation Computer Systems '92: Proceedings of the International Conference on Fifth Generation Computer Systems, pages 481-488
- Denecker, Marc;
Missiaen, Lode;
Bruynooghe, Maurice.
Temporal reasoning with abductive event calculus, Neumann, Bernd (ed.), 10th European Conference on Artificial Intelligence, Vienna, Austria, 3-7 August 1992, Proceedings of the 10th European Conference on Artificial Intelligence, ECAI92, pages 384-388, John Wiley and Sons
- Dumortier, Veroniek;
Janssens, Gerda;
Bruynooghe, Maurice.
Detection of free variables in the presence of numeric constraints, JICSLP'92 Post-conference workshop on CLP, Washington, DC, USA, 13 November 1992, Proceedings of JICSLP'92 Post-conference Workshop on CLP, pages 105-118
- Dumortier, Veroniek;
Janssens, Gerda;
Bruynooghe, Maurice.
Detection of free variables in numeric constraints by means of abstract interpretation, Benelux Workshop on Logic Programming (BeNeLog), Luxembourg, 11 September 1992, Benelog'92 Workshop on Logic Programming, pages 1-14
- Martens, Bernhard;
De Schreye, Danny;
Bruynooghe, Maurice.
Sound and complete partial deduction with unfolding based on well-founded measures, International Conference on the Fifth Generation Computer Systems, Tokyo, Japan, 1-5 June 1992, Fifth Generation Computer Systems '92: Proceedings of the International Conference on Fifth Generation Computer Systems., pages 473-480
- Mulkers, Anne;
Winsborough, Will;
Bruynooghe, Maurice.
Static analysis of logic programs to detect run-time garbage cells, Dewilde, Patrickl; Vandewalle, Joseph (eds.), Computer Systems and Software Engineering, Den Haag, The Netherlands, May 4-8, 1992, Proceedings of the International Conference on Computer Systems and Software Engineering (COMPEURO'92), pages 526-531
- Van Holder, Wim;
De Raedt, Luc;
Adé, Hilde;
Sablon, Gunther;
Bruynooghe, Maurice;
Willems, Yves.
MacCLINT: an interactive machine learning system, European Apple University Consortium Conference, Bruges, Belgium, 21-23 April 1992, Proc. of the European Apple University Consortium Conference, pages 67-70
- Adé, Hilde;
De Raedt, Luc;
Bruynooghe, Maurice.
Inverse resolutie in een geïntegreerd inductief-deductief leersysteem : SWAN, Treur, Jan (ed.), Nederlandes AI Conferentie, Amsterdam, The Netherlands, NAIC/AIT '91: Nederlandse AI Conferentie/AI Toepassingen '91, Amsterdam, pages 299-308, 1991
- Bruynooghe, Maurice;
De Schreye, Danny;
Martens, Bernhard.
A general criterion for avoiding infinite unfolding during partial deduction of logic programs, Saraswat, V.; Ueda, K (eds.), 1991 International Logic Programming Symposium, San Diego, California, USA, October 28 - November 1, 1991, ILPS91: International Logic Programming Symposium, pages 117-131, MIT Press
- De Raedt, Luc;
Bruynooghe, Maurice.
CLINT : a multi-strategy interactive concept-learner and theory revision system, Michalski, R.S.; Tecuci, G (eds.), First International Workshop on Multistrategy Learning, Harpers Ferry, Virginia, USA, November 7-9, 1991, Proceedings of the Multi-Strategy Learning Workshop, Virginia, pages 175-191
- De Raedt, Luc;
Bruynooghe, Maurice;
Martens, Bernhard.
Integrity constraints and interactive concept-learning, Birnbaum, L.A.; Collins, G.C (eds.), 8th International Workshop on Machine Learning, Machine Learning, Proceedings of the 8th International Workshop, pages 394-398, Morgan Kaufmann, 1991
- De Raedt, Luc;
Feyaerts, J.;
Bruynooghe, Maurice.
Acquiring object knowledge for learning systems, Kodratoff, Yves (ed.), Fifth European Working Session on Learning, Porto, Portugal, 6-8 March 1991, Lecture Notes in Computer Science, volume 482, pages 245-264, Springer
- Sablon, Gunther;
Adé, Hilde;
De Raedt, Luc;
Bruynooghe, Maurice.
Some thoughts on inverse resolution, Muggleton, S (ed.), Inductive Logic Programming, Viana de Castelo, Portugal, March 2-4, 1991, Proceedings of the Inductive Logic Programming Workshop, pages 83-91
- De Raedt, Luc;
Bruynooghe, Maurice.
On negation and three-valued logic in interactive concept-learning, Aiello, L (ed.), 9th European Conference on Artificial Intelligence, Stockholm, Sweden, August 6-10, 1990, Proceedings ECAI90: 9th European Conference on Artificial Intelligence, pages 207-212
- De Raedt, Luc;
Bruynooghe, Maurice.
Interactief leren van concepten: een overzicht, Van den Herik, H.J.; Mars, N.J.I (eds.), Nederlandstalige AI-Conferentie, Proceedings NAIC'90: Derde Nederlandstalige AI-Conferentie, pages 115-125, 1990
- De Raedt, Luc;
Vandersmissen, B.;
Denecker, Marc;
Bruynooghe, Maurice.
A hybrid approach to learning and its knowledge representation, Cognitiva'90, 1990, Proceedings of Cognitiva'90, pages 409-416
- De Schreye, Danny;
Martens, Bernhard;
Sablon, Gunther;
Bruynooghe, Maurice.
Compiling bottom-up and mixed derivations into top-down executable logic programs, Bruynooghe, Maurice (ed.), Second Workshop on Meta-programming in Logic, Leuven, Belgium, April 4-6, 1990, Proceedings of the Second Workshop on Meta-Programming in Logic, pages 37-56
- De Schreye, Danny;
Verschaetse, Christophe;
Bruynooghe, Maurice.
A practical technique for detecting non-terminating queries for a restricted class of Horn Clauses, using directed, weighted graphs, Warren, D.H.D.; Szeredi, P (eds.), Seventh International Conference on Logic Programming, Jerusalem, Israel, June 18-20, 1990, Logic Programming : Proceedings of the Seventh International Conference, pages 649-663, MIT Press
- Gallagher, John P.;
Bruynooghe, Maurice.
Some low-level source transformations of logic programs, bruynooghe, Maurice (ed.), Second Workshop on Meta-programming in Logic, Leuven, Belgium, April 4-6, 1990, Proceedings of the Second Workshop on Meta-Programming in Logic, pages 229-244
- Gallagher, John P.;
Bruynooghe, Maurice.
The derivation of an algorithm for program specialisation, Warren, D.H.D.; Szeredi, P (eds.), Seventh International Conference on Logic Programming, Jerusalem, Israel, June 18-20, 1990, Logic Programming, Proceedings of the Seventh International Conference (ICLP90), pages 732-746
- Mulkers, Anne;
Winsborough, William H.;
Bruynooghe, Maurice.
Analysis of shared data structures for compile-time garbage collection in logic programs, Warren, D.H.D.; Szeredi, P (eds.), Seventh International Conference on Logic Programming, Jerusalem, Israel, June 18-20, 1990, Logic Programming, Proceedings of the Seventh International Conference (ICLP90), pages 747-762, MIT Press
- Verschaetse, Christophe;
De Schreye, Danny;
Bruynooghe, Maurice.
Generation and compilation of efficient computation rules, Warren, D.H.D.; Szeredi, P (eds.), Seventh International Conference on Logic Programming, Jerusalem, Israel, June 18-20, 1990, Logic Programming: Proceedings of the Seventh International Conference, pages 700-714, MIT Press
- Bruynooghe, Maurice;
De Raedt, Luc;
De Schreye, Danny.
Explanation based program transformation, Sridharan, N.S (ed.), Eleventh International Joint Conference on Artificial Intelligence, Detroit, August 20-25, 1989, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI 1989), pages 407-412, Morgan Kaufmann
- Bruynooghe, Maurice;
De Schreye, Danny.
Some thoughts on the role of examples in program transformation and its relevance for explanation-based learning, Jantke, K.P (ed.), International Workshop on Analogical and Inductive Inference, Reinhardbrunn Castle, Germany, October 1989, Lecture Notes in Computer Science, volume 397, pages 60-77, Springer
- De Raedt, Luc;
Bruynooghe, Maurice.
Constructive induction by analogy, Segre, A.M (ed.), Sixth International Workshop on Machine Learning, Cornell Univ., June 26-27, 1989, Proc. of the Sixth International Workshop on Machine Learning, pages 476-477, Morgan Kaufmann
- De Raedt, Luc;
Bruynooghe, Maurice.
Constructive Induction by Analogy : a method to learn how to learn, Morik, Katharina (ed.), Fourth European Working Session on Learning, Montpellier, France, December 4-6, 1989, EWSL89 Proceedings of the 4th European Working Session on Learning, pages 189-200, Pitman. Morgan Kaufmann
- De Raedt, Luc;
Bruynooghe, Maurice.
On explanation and bias in inductive concept-learning, Boose, J.; Gaines, B.; Ganascia, J.G (eds.), Third European Workshop on Knowledge Acquisition for Knowledge-Based Systems, Paris, France, July 1989, EKAW'89: Third European Workshop on Knowledge Acquisition for Knowledge-Based Systems, pages 338-353
- De Raedt, Luc;
Bruynooghe, Maurice.
Towards friendly concept-learners, Sridharan, N.S (ed.), Eleventh International Joint Conference on Artificial Intelligence, Detroit, August 20-25, 1989, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI 1989), pages 849-854, Morgan Kaufmann
- De Schreye, Danny;
Bruynooghe, Maurice.
Some alternatives for implementing finite-domain CLP on top of PROLOG and their applications, Dechter, Rina (ed.), IJCAI-89 Workshop on Constraint Problem Solving, Detroit, august 1989, Proceedings IJCAI-89 Workshop on Constraint Problem Solving, pages 172-175
- De Schreye, Danny;
Bruynooghe, Maurice.
The compilation of forward checking regimes through meta-interpretation and transformation, Abramson, Harvey; Rogers, M.H (eds.), Workshop on Meta-Programming in Logic Programming, Bristol, UK, June 22-24, 1988, Meta-Programming in Logic Programming, pages 217-232, MIT Press, 1989
- Mariën, André;
Janssens, Gerda;
Mulkers, Anne;
Bruynooghe, Maurice.
The impact of abstract interpretation on code generation: an experiment in code generation, Levi, G.; Martelli, M (eds.), Sixth International Conference on Logic Programming, Lisbon, Portugal, June 19-23, 1989, Proc. of the Sixth International Conference on Logic Programming, pages 33-47, MIT Press
- Sablon, Gunther;
De Raedt, Luc;
Bruynooghe, Maurice.
Generalizing multiple examples in explanation based learning, Jantke, K.P (ed.), International Workshop on Analogical and Inductive Inference, Reinhardsbrunn Castle, Germany, 1-6 October 1989, Lecture Notes in Computer Science, volume 397, pages 177-183, Springer
- Bruynooghe, Maurice;
Janssens, Gerda.
An instance of abstract interpretation integrating type and mode inferencing, Kowalski, R.A.; Bowen, K.A (eds.), Joint International Conference and Symposium on Logic Programming, Seattle, Washington, USA, August 15-19, 1988, Logic Programming: Proc. of the Fifth International Conference and Symposium, pages 669-683, MIT Press
- De Raedt, Luc;
Bruynooghe, Maurice.
On interactive concept-learning and assimilation, Sleeman, Derek (ed.), Third European Working Session on Learning, Glasgow, UK, October 3-5, 1988, Proc. EWSL 88: Third European Working Session on Learning, pages 167-176, Pitman
- De Schreye, Danny;
Bruynooghe, Maurice.
The compilation of forward checking regimes through meta-interpretation and transformation, Lloyd, J.W (ed.), Workshop on Meta-Programming in Logic Programming, Bristol, U.K., June 22-24, 1988, Proceeding of the Workshop on Meta-Programming in Logic Programming, pages 169-184
- Martens, Bernhard;
Bruynooghe, Maurice.
Integrity constraint checking in deductive databases using a rule/goal graph, Kerschberg, L (ed.), Expert Database Systems, Tysons Corner, Virginia, USA, 25-27 April 1988, Proc. of the Second International Conference on Expert Database Systems, pages 297-310
- Verschaetse, Christophe;
De Schreye, Danny;
Bruynooghe, Maurice.
Automatic generation of control information in five steps, Shapiro, Ehud (ed.), Fifth Israeli Symposium on Artificial Intelligence, Vision and Pattern Recognition, Tel Aviv, Israel, December 27-28, 1988, Proc. of the Fifth Israeli Symposium on Artificial Intelligence, Vision and Pattern Recognition, pages 315-330
- Bruynooghe, Maurice.
Is logic programming real programming?, Jorrand, Ph; Sgurev, V (eds.), Artificial Intelligence II, Methodology, Systems, Applications, Varna, Bulgaria, September 16-19, 1986, Artificial Intelligence II, Methodology, Systems, Applications, Proc. AIMSA'86, pages 81-91, North Holland, 1987
- Bruynooghe, Maurice.
Compile time garbage collection or how to transform programs in an assignment-free language into code with assignments, Meertens, L.G.L.T (ed.), IFIP TC2/WG2.1 Working Conference on Program Specification and Transformation, Bad-Tölz, Germany, April 15-17, 1986, Program Specification and Transformation, Proc. IFIP TC2/WG2.1 Working Conference, Bad Tölz '86, pages 113-129, North Holland, 1987
- Bruynooghe, Maurice;
Janssens, Gerda;
Callebaut, Alain;
Demoen, Bart.
Abstract interpretation: towards the global optimisation of PROLOG programs, 1987 Symposium on Logic Programming, San Francisco, USA, August 31 - September 4, 1987, Proc. 1987 Symposium on Logic Programming, pages 192-204, MIT Press
- De Raedt, Luc;
Krekels, Bruno;
Bruynooghe, Maurice;
Van Meir, Dirk.
Using Shapiro's model inference system for concept learning, Plander, Ivan (ed.), Artificial Intelligence and Information Control Systems of Robots 87, Smolenice, Tsecho-Slovakia, 19-23 October 1987, Artificial Intelligence and Information - Control Systems of Robots 87, pages 191-196
- Krekels, Bruno;
De Raedt, Luc;
Bruynooghe, Maurice.
The functional components of concept-acquisition systems, Cognitiva 87, Paris, France, 18-22 May 1987, Proc. Cognitiva 87, pages 328-333
- Missiaen, Lode;
Lecluyse, Hein;
Massart, Jean-Paul;
Bruynooghe, Maurice.
Navigation algorithms for a mobile robot using ultrasonic sensors, Plander, Ivan (ed.), Artificial Intelligence and Information Control Systems of Robots 87, Smolenice, Tsecho-Slovakia, October 1987, Artificial Intelligence and Information Control Systems of Robots 87, pages 63-75, North Holland
- Rosiers, Willem;
Bruynooghe, Maurice.
Empirical study of some constraint satisfaction algorithms, Jorrand, Ph; Sgurev, V (eds.), Artificial Intelligence II, Methodology, Systems, Applications, Varna, Bulgaria, September 16-19, 1986, Artificial Intelligence II, Methodology, Systems, Applications, Proc. AIMSA'86, pages 173-180, North Holland, 1987
- Bruynooghe, Maurice;
De Schreye, Danny;
Krekels, Bruno.
Compiling control, 1986 Logic Programming Symposium, Slat Lake City, USA, September 22-25, 1986, Proceedings of the 1986 Symposium on Logic Programming, pages 70-77, IEEE-CS
- Pittomvils, Edwin;
Bruynooghe, Maurice;
Willems, Yves.
Towards a real time garbage collector for PROLOG, 1985 Logic Programming Symposium, Boston, USA, July 15-18, 1985, Proc. 1985 Logic Programming Symposium, pages 185-198, IEEE-CS
- Venken, Raf;
Bruynooghe, Maurice;
Dekeyser, Luc;
Krekels, Bruno.
The centralised scheduler vs. the distributed specialists: towards a flexible controller in PROLOG for expert systems, Brauer, Wilfried; Radig, Bernd (eds.), International GI Congress'85 on Knowledge Based Systems, München, Germany, 28-29October 1985, Proc. International GI Congress '85 on Knowledge Based Systems, pages 370-383, Springer
- Venken, Raf;
Bruynooghe, Maurice.
Prolog as a language for prototyping of information systems, Budde, R.; Kuhlenkamp, K.; Mathiassen, L.; Zullighoven, H (eds.), Working Conference on Prototyping, Namur, Beligum, October 1983, Approaches to Prototyping, Proc. Working Conf. on Prototyping, Namur '83, pages 447-458, Springer, 1984
- Bruynooghe, Maurice.
Some Reflections on Implementation Issues of Prolog, Pereira, L.M (ed.), Logic Programming Workshop '83, Albufeira, Portugal, June 1983, Proceedings Logic Programming Workshop '83, pages 1-6
- Bruynooghe, Maurice.
Adding redundancy to obtain reliable and readable Prolog programs, Van Caneghem, Michel (ed.), First International Logic Programming Conference, Marseille, France, 14-17 September 1982, Proceedings of the First International Logic Programming Conference, pages 129-133
- Bruynooghe, Maurice.
A note on garbage-collection in Prolog interpreters, Van Caneghem, Michel (ed.), First International Logic Programming Conference, Marseille, France, 14-17 September 1982, Proceedings of the First International Logic Programming Conference, pages 52-55
- Bruynooghe, Maurice.
Intelligent backtracking for an interpreter of Horn clause logic programs, Domolki, B.; Gergely, T (eds.), Colloquium Mathematical Logic in Computer Science, Salgotarjan, Hungary, September 1978, Mathematical Logic in Computer Science, Proc. Colloquium, Salgotarjan, Sept '78, pages 215-257, North Holland, 1981
- Bruynooghe, Maurice.
The memory management of PROLOG implementations, Tärnlund, S.A (ed.), Logic Programming Workshop, Debrecen, Hungary, July 14-16, 1980, Proceedings of the Logic Programming Workshop, pages 12-20
- Bruynooghe, Maurice.
Analysis of dependencies to improve the behaviour of logic programs, Bibel, W.; Kowalski, R (eds.), Fifth Conference on Automated Deduction, Les Arcs, France, 8-11 July 1980, Lecture Notes in Computer Science, volume 87, pages 293-305, Springer
- Bruynooghe, Maurice.
An interface between PROLOG and CYBER-EDMS, Gallaire, H.; Minker, J (eds.), Workshop Logic and Data Bases, Toulouse, France, November 1977, Preprints Workshop Logic and Data Bases, pages 1-7
Papers at other conferences and symposia, published in full in proceedings
3 references- Janssens, Gerda;
Bruynooghe, Maurice;
Dumortier, Veroniek.
A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs, De Bosschere, K (ed.), 7th Benelux Workshop on Logic Programming (Benelog'95), Gent, September 1995, 7th Benelux Workshop on Logic Programming (Benelog'95), pages 38-41
- Bruynooghe, Maurice.
Prolog voor het ontwikkelen van prototype informatiesystemen, Symposium IBM-NFWO, Brussel, Belgium, December 1981, Symposium IBM-NFWO 1981, pages 149-151
- Bruynooghe, Maurice.
Horn clause logika voor het beschrijven en ondervragen van gegevensbanken, Symposium IBM-NFWO, Symposium IBM-NFWO, pages 98-103, 1979
Meeting abstracts, presented at international conferences and symposia
61 references- Van Eyck, Jelle;
Ramon, Jan;
Guiza Grandas, Fabian;
Meyfroidt, Geert;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Data mining techniques for predicting acute kidney injury after elective cardiac surgery, International Symposium on Intensive Care and Emergency Medicine, Brussels, 20-23 March 2012 (Accepted)
- Van Eyck, Jelle;
Ramon, Jan;
Guiza Grandas, Fabian;
Meyfroidt, Geert;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Data mining techniques for predicting acute kidney injury after elective cardiac surgery, LSD, Leuven, 7-8 June 2012
- Van Eyck, Jelle;
Ramon, Jan;
Guiza Grandas, Fabian;
Meyfroidt, Geert;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Predicting tacrolimus blood concentrations in the ICU, International Conference on Complexity in Acute Illness, Bonn, Germany, 9-11 September 2011
- Bruynooghe, Maurice.
ProbLog technology for inference in a probabilistic first order logic, Spring Workshop on Mining and Learning (SMiLe), Boppard, Germany, 17-19 March 2010
- Croonenborghs, Tom;
Driessens, Kurt;
Bruynooghe, Maurice.
Learning a transfer function for reinforcement learning problems, Wehenkel, Louis; Geurts, Pierre; Marée, Raphaël (eds.), Belgian-Dutch Conference on Machine Learning (Benelearn'08), Spa, Belgium, 19-2 May 2008, Proceedings of the Annual Belgian-Dutch Conference on Machine Learning, pages 15-16
- Guiza Grandas, Fabian;
Blockeel, Hendrik;
Bruynooghe, Maurice;
Van Loon, Kristien;
Aerts, Jean-Marie;
Berckmans, Daniel;
Meyfroidt, Geert;
Van den Berghe, Greet.
Time-series analysis techniques combined with Gaussian process classifiers for prediction of clinical stability after coronary bypass surgery, Hierlemann, Andreas (ed.), IASTED International Conference on Biomedical Engineering, Innsbruck, Austria, 13-15 February 2008, Proceedings of the 6th IASTED International Conference on Biomedical Engineering, issue 6, pages 216-221, ACTA Press
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Using deductive databases technology for approximate query answering in partially complete databases, Dutch-Belgian Data Base Day, Eindhoven, The Netherlands, Novemeber 29, 2007
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Approximate query answering in locally closed databases, The 19th Belgian-Dutch Conference on Artificial Intelligence, Utrecht, The Netherlands, November 5-6, 2007
- Croonenborghs, Tom;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Model-assisted approaches for relational reinforcement learning, The 31st Annual Conference of the German Classification Society on Data Analysis, Machine Learning, and Applications (GfKl), Freiburg, Germany, March 7-9, 2007, The 31st Annual Conference of the German Classification Society on Data Analysis, Machine Learning, and Applications (GfKl), page33
- Croonenborghs, Tom;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Model-Assisted approaches for relational reinforcement learning, Former Freiburg, Leuven and Friends Workshop on Machine Learning, Massembre (Heer), Belgium, March 21-23, 2007
- Ramon, Jan;
Croonenborghs, Tom;
Fierens, Daan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Generalized ordering-search for learning directed probabilistic logical models, The 31st Annual Conference of the German Classification Society on Data Analysis, Machine Learning, and Applications (GfKl), Freiburg, Germany, March 7-9, 2007, The 31st Annual Conference of the German Classification Society on Data Analysis, Machine Learning, and Applications (GfKl)
- Schietgat, Leander;
Ramon, Jan;
Bruynooghe, Maurice.
A polynomial-time metric for outerplanar graphs, Benelux Bioinformatics Conference, Leuven, Belgium, November 12-13, 2007
- Schietgat, Leander;
Ramon, Jan;
Bruynooghe, Maurice.
A polynomial-time metric for outerplanar graphs, Former Freiburg, Leuven and Friends Workshop on Machine Learning, Massembre (Heer), Belgium, 21-23 March 2007
- Bruynooghe, Maurice.
A logic for sequences or SeqLog revisited, 7th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Titisee, Germany, March 13-14, 2006
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Query answering for the LCWA, Second International Workshop on Exchange and Integration of Data, Brixen-Bressanone, Italy, June 9-11, 2006
- Croonenborghs, Tom;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Learning a dynamic Bayesian network to do lookahead in Q-learning, 7th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Titisee, Germany, March 13-14, 2006
- Fierens, Daan;
Blockeel, Hendrik;
Ramon, Jan;
Bruynooghe, Maurice.
A comparison of pruning criteria for probability trees, Annual Machine Learning Conference of Belgium and The Netherlands (BENELEARN), Gent, Belgium, May 11-12, 2006, Proceedings of the 15th Annual Machine Learning Conference of Belgium and The Netherlands (BENELEARN), pages 164-165
- Fierens, Daan;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
A (further) comparison of approaches for learning probability trees, Joint APrIL/IQ Workshop, Titisee, Germany, March 15-18, 2006
- Fierens, Daan;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Randomisation tests for probability trees, 7th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Titisee, Germany, March 13-14, 2006
- Goetschalckx, Robby;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Using expert knowledge to construct state-action aggregations for reinforcement learning, ICIS Third All Project Members Meeting, Delft, The Netherlands, May 24, 2006
- Guiza Grandas, Fabian;
Fierens, Daan;
Ramon, Jan;
Blockeel, Hendrik;
Meyfroidt, Geert;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Predictive data mining in intensive care, Annual Machine Learning Conference of Belgium and The Netherlands (BENELEARN), Gent, Belgium, May 11-12, 2006, Proceedings of the 15th Annual Machine Learning Conference of Belgium and The Netherlands (BENELEARN), pages 81-88
- Guiza Grandas, Fabian;
Ramon, Jan;
Fierens, Daan;
Meyfroidt, Geert;
Blockeel, Hendrik;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Machine learning methods for prediction in intensive care, International Conference on Complexity in Acute Illness, Washington, DC, 19-21 October 2006, Journal of Critical Care, volume 21, issue 4, pages 353-354
- Guiza Grandas, Fabian;
Ramon, Jan;
Meyfroidt, Geert;
Blockeel, Hendrik;
Bruynooghe, Maurice;
Van den Berghe, Greet.
Predicting blood temperature using Gaussian processes, International Conference on Complexity in Acute Illness, Washington, DC, 19-21 October 2006, Journal of Critical Care, volume 21, issue 4, pages 354-355
- Schrijvers, Tom;
Bruynooghe, Maurice.
Polymorphic algebraic data type reconstruction, International Federation for Information Processing Working Group G2.1 - Algorithmic Languages and Calculi, Namur, Belgium, 11-15 December, 2006
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Van Nuffelen, Bert;
Bruynooghe, Maurice.
On the local-closed world assumption of data-sources, 17th Belgian-Dutch Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005, BNAIC 2005, Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, pages 333-334
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Van Nuffelen, Bert;
Bruynooghe, Maurice.
On the local closed-world assumption of data-sources, Biennial Israeli Symposium on the Foundations of AI, University of Haifa, Haifa, Israel (Schild, U.J., e.d.), Haifa, Israel, June 28-30, 2005
- Fierens, Daan;
Blockeel, Hendrik;
Bruynooghe, Maurice;
Ramon, Jan.
Logical Bayesian networks and their relation to other probabilistic logical models, 17th Belgian-Dutch Conference on Artificial Intelligence (BNAIC05), Brussels, Belgium, October 17-18, 2005, Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC05), pages 343-344
- Shashidhar, K. C.;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Functional equivalence checking for verification of algebraic transformations on array-intensive source code, ACM Sigda Ph.D. Forum at Design Automation Conference, Anaheim, CA, USA, 14th June, 2005
- Van Nuffelen, Bert;
Arieli, Ofer;
Cortés-Calabuig, Alvaro;
Bruynooghe, Maurice.
An ID-Logic formalization of the composition of autonomous databases, Biennial Israeli Symposium on the Foundations of AI, University of Haifa, Haifa, Israel (Schild, U.J., e.d.), Haifa, Israel, June 28-30, 2005
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Van Nuffelen, Bert;
Arieli, Ofer;
Bruynooghe, Maurice.
A knowledge representation perspective on data integration, ARISE Workshop on Exchange and Integration of Data, Toronto, Canada, October 7, 2004
- Cortés-Calabuig, Alvaro;
Van Nuffelen, Bert;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Data integration using ID-logic, Dagstuhl Seminar 04171: Logic Based Information Agents, Dagstuhl Castle, Germany, April 18-23, 2004
- Vennekens, Joost;
Verbaeten, Sofie;
Bruynooghe, Maurice.
Logic programs with annotated disjunctions, 5th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Hinterzarten, Germany, March 8-10, 2004
- Verdoolaege, Sven;
Beyls, Kristof;
Bruynooghe, Maurice;
Seghir, Rachid;
Loechner, Vincent.
Analytical computation of Ehrhart polynomials and its applications for embedded systems, 2nd Workshop on Optimizations for DSP and Embedded Systems, Palo Alto, USA, March 21, 2004, Digest of the 2nd Workshop on Optimizations for DSP and Embedded Systems (ODES-2)
- Blockeel, Hendrik;
Bruynooghe, Maurice.
Aggregation versus selection bias, and relational neural networks, IJCAI-2003 Workshop on Learning Statistical Models from Relational Data, Acapulco, Mexico, August 11, 2003
- Bruynooghe, Maurice.
What polymorphic types can contribute to termination analysis of logic programs, Termination Day in Leuven: Logic Programming Meets Rewriting, Leuven, Belgium, November 3, 2003
- Codish, Michael;
Genaim, Samir;
Bruynooghe, Maurice;
Gallagher, John P.;
Vanhoof, Wim.
One Loop at a Time, 6th International Workshop on Termination, Valencia, Spain, June 13-14, 2003
- Kosala, Raymondus;
Bruynooghe, Maurice;
Blockeel, Hendrik;
Van den Bussche, Jan.
Unranked tree automaton inference, 4th "Freiburg, Leuven and Friends" Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003
- Struyf, Jan;
Ramon, Jan;
Bruynooghe, Maurice;
Verbaeten, Sofie;
Blockeel, Hendrik.
Compact representation of knowledge bases in inductive logic programming, Fourth Freiburg-Leuven Workshop on Machine Learning, Leuven/Dourbes, Belgium, March 19-21, 2003
- Verdoolaege, Sven;
Danckaert, Koen;
Catthoor, Francky;
Bruynooghe, Maurice;
Janssens, Gerda.
An access regularity criterion and regularity improvement heuristics for data transfer optimization by global loop transformations, 1st Workshop on Optimization for DSP and Embedded Systems, San Francisco, USA, March 23, 2003
- Denecker, Marc;
Pelov, Nikolay;
Bruynooghe, Maurice.
Ultimate well-founded and stable semantics for logic programs with aggregates, Belgian-Dutch Conference on Artificial Intelligence, Leuven, Belgium, October 21-22, 2002
- Kosala, Raymondus;
Van den Bussche, Jan;
Bruynooghe, Maurice;
Blockeel, Hendrik.
Information extraction in structured documents using tree automata induction, Blockeel, Hendrik; Denecker, M (eds.), Belgian-Dutch Conference on Artificial Intelligence, Leuven, Belgium, October 21-22, 2002, BNAIC'02 - Proceedings of the Fourteenth Belgian-Dutch Conference on Artificial Intelligence, pages 455-456
- Verdoolaege, Sven;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Global loop transformations for data transfer and storage optimisation, Symposium Program Acceleration through Application and Architecture driven Code Transformations, Edegem, Belgium, September 9-10, 2002
- Mazur, Nancy;
Ross, Peter;
Janssens, Gerda;
Bruynooghe, Maurice.
Practical structure reuse for Mercury, Semantics, Program Analysis, and Computing Environments for memory management, London, United Kingdom, January 15-16, 2001
- Vanhoof, Wim;
Bruynooghe, Maurice.
Binding-time annotations without binding-time analysis, Fifth international workshop on termination, Utrecht, The Netherlands, May 20-21, 2001
- Bruynooghe, Maurice.
Learning declarative plans, a challenge for ILP ?, 1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000
- Bruynooghe, Maurice.
From Journal of Logic Programming to Theory and Practice of Logic Programming, 91th Annual Special Libraries Association Conference, Philadelphia, USA, June 10-15, 2000
- Bruynooghe, Maurice.
More declarative finite domain CLP-programming with open functions, Reunion Workshop on Implementation of Logics, Reunion Island, November 11, 2000
- Bruynooghe, Maurice.
Logic programming revisited: logic programs as inductive definitions, 2000 Joint Conference on Declarative Programming, La Habana, Cuba, December 4-6, 2000
- Kosala, Raymondus;
Bruynooghe, Maurice.
Instance-based information extraction, 11th Computational Linguistics in the Netherlands Meeting, Tilburg University, Tilburg, The Netherlands, November 3, 2000
- Bruynooghe, Maurice;
Vandecasteele, Henk;
de Waal, D André;
Denecker, Marc.
Detecting unsolvable queries for definite logic programs, The Netherlands/Belgium Conference on Artificial Intelligence, Amsterdam, The Netherlands, 18-19 November 1998
- Ramon, Jan;
Bruynooghe, Maurice.
A framework for defining distance between first-order logic objects, Netherlands/Belgium Conference on Artificial Intelligence, Amsterdam, The Netherlands, 18-19 November 1998
- Adé, Hilde;
De Raedt, Luc;
Bruynooghe, Maurice.
Inverse resolution in an integrated inductive-deductive learning system, The 10th European Conference on Artificial Intelligence, Vienna, Austria, 3-7 August 1992, 10th European Conference on Artificial Intelligence, ECAI 92, Proceedings, pages 456-457, John Wiley and Sons
- De Raedt, Luc;
Bruynooghe, Maurice.
A clausal discovery engine, First Esprit Compulog Network Workshop on Logic Programming and Artificial Intelligence, London, UK, 23-24 March 1992
- De Raedt, Luc;
Bruynooghe, Maurice.
A clausal discovery engine, International School for the Synthesis of Expert Knowledge, Bled, Slovenia, September 3-51992
- De Raedt, Luc;
Bruynooghe, Maurice.
A clausal discovery engine, ECAI Workshop on Logical Approaches to Machine Learning, Vienna, Austria, 3-7 August 1992
- Bruynooghe, Maurice;
De Schreye, Danny.
Tutorial on abstract interpretation of logic programs, Joint International Conference and Symposium on Logic Programming, Seattle, Washington, USA, August 15-19, 1988
- Bruynooghe, Maurice.
Compile time garbage collection or how to transform programs in an assignment free languages into code with assignments, IFIP TC2/WG2.1 Working Conference on Program Specification and Transformation, Bad-Tölz, Germany, April 15-17, 1986
- Bruynooghe, Maurice.
Some thoughts on the relationship between ALGOL-like and applicative languages, AI Methods, Systems & Applications '86 (invited), Varna, Bulgaria, September 16-19, 1986
- Rosiers, Willem;
Bruynooghe, Maurice.
Empirical study of some constraint satisfaction algorithms, AI Methods, Systems & Applications '86, Varna, Bulgaria, September 16-19, 1986
- Venken, Raf;
Bruynooghe, Maurice.
Prolog as a language for prototyping of information systems, Working Conference on Prototyping, Namur, Belgium, October 1983
- Bruynooghe, Maurice.
Intelligent backtracking for an interpreter of Horn clause logic programs, Colloquium Mathematical Logic in Computer Science, Salgotarjan, Hungary, September 1978
Meeting abstracts, presented at other conferences and symposia
11 references- Verdoolaege, Sven;
Bruynooghe, Maurice.
Algorithms for weighted counting over parametric polytopes: A survey and a practical comparison, ACES Symposium, Edegem, Belgium, 17-18 September 2008, Eighth ACES Symposium
- Verdoolaege, Sven;
Janssens, Gerda;
Bruynooghe, Maurice.
Equivalence checking of static affine programs using widening to handle recurrences, ACES Symposium, Edegem, Belgium, 17-18 September 2008, Eighth ACES Symposium
- Vanbroekhoven, Peter;
Shashidhar, K. C.;
Palkovic, Martin;
Janssens, Gerda;
Bruynooghe, Maurice;
Catthoor, Francky.
Dynamic single assignment in action, 5th Symposium on Architectures and Compilers for Embedded Systems (ACES), Edegem, Belgium, September 26-27, 2005
- Vennekens, Joost;
Verbaeten, Sofie;
Bruynooghe, Maurice;
Denecker, Marc.
Logic programs with annotated disjunctions, Seminar on Logic and Computation, Ravelingen, Oostende, Belgium, May 3-4, 2005
- Fu, Qiang;
Bruynooghe, Maurice;
Janssens, Gerda;
Catthoor, Francky.
On the problem of verification of source code transformations: a case study, PA3CT Program Acceleration through Application and Architecture driven Code Transformations, Edegem, Belgium, September 13-14, 2004, PA3CT 2004 Symposium Proceedings
- Shashidhar, K. C.;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Automatic verification of algebraic transformations, PA3CT Program Acceleration through Application and Architecture driven Code Transformations, Edegem, Belgium, September 13-14, 2004, PA3CT Program Acceleration through Application and Architecture Driven Code Transformations, pages 59-61
- Verdoolaege, Sven;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Enumeration of integer projections of parametric polytopes, PA3CT Program Acceleration through Application and Architecture driven Code Transformations, Edegem, Belgium, September 13-14, 2004
- Vanbroekhoven, Peter;
Janssens, Gerda;
Bruynooghe, Maurice;
Corporaal, Henk;
Catthoor, Francky.
Advanced copy propagation for arrays, PACT Symposium 2003, Edegem, Belgium, September 22-23, 2003
- Verdoolaege, Sven;
Catthoor, Francky;
Bruynooghe, Maurice;
Janssens, Gerda.
Two-phase global loop transformations, PACT Symposium 2003, Edegem, Belgium, September 22-23, 2003
- Vanhoof, Wim;
Bruynooghe, Maurice.
Binding-time annotations without binding-time analysis, F.N.R.S. meeting on Validation and Verification of Formal Descriptions, ULB, Brussel, June 6, 2001
- Bruynooghe, Maurice.
Het automatisch bewijzen van stellingen in de predikatenlogica van eerste orde, Tiende Nederlands Mathematisch Congres, Enschede, The Netherlands, April 1974, Samenvattingen van de Sectievoordrachten, pages 58-59
Thesis
30 references- Meyfroidt, Geert.
Computerized data management in the intensive care unit: predictive modeling, time series analysis and opportunities for support of care, PhD thesis, Acute Medical Sciences, Laboratory of Intensive Care Medicine, Faculty of Medicine, March 2010,
Van den Berghe, Greet (supervisor) ,
Bruynooghe, Maurice (cosupervisor)
- Schietgat, Leander.
Graph-Based Data Mining for Biological Applications , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2010,
Blockeel, Hendrik and
Bruynooghe, Maurice (supervisors)
- Croonenborghs, Tom.
Model-Assisted Approaches for Relational Reinforcement Learning , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, September 2009,
Bruynooghe, Maurice and
Blockeel, Hendrik (supervisors)
- Goetschalckx, Robby.
The Use of Domain Knowledge in Reinforcement Learning , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, September 2009,
Bruynooghe, Maurice and
Blockeel, Hendrik (supervisors)
- Guiza Grandas, Fabian.
Predictive Data Mining in Intensive Care , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, September 2009, 151 pages, isbn: 978-946-018-123-8,
Bruynooghe, Maurice and
Blockeel, Hendrik (supervisors)
- Cortes Calabuig, Alvaro.
Towards a Logical Reconstruction of a Theory for Locally Complete Databases , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, December 2008,
Denecker, Marc and
Bruynooghe, Maurice (supervisors)
- Fierens, Daan.
Learning Directed Probabilistic Logical Models from Relational Data , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, July 2008,
Blockeel, Hendrik and
Bruynooghe, Maurice (supervisors)
- Kodamballi, Shashidhar.
Efficient Automatic Verification of Loop and Data-Flow Transformations by Functional Equivalence Checking , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2008,
Bruynooghe, Maurice and
Catthoor, Francky (supervisors)
- Raeymaekers, Stefan.
Information Extraction from Web Pages based on Tree Automata Induction , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, January 2008,
Bruynooghe, Maurice (supervisor) ,
Van den Bussche, Jan (cosupervisor)
- Verdoolaege, Sven.
Incremental Loop Transformations and Enumeration of Parametric Sets , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, April 2005, 342+XXVI pages, isbn: 905-682-594-1,
Bruynooghe, Maurice (supervisor) ,
Catthoor, Francky (cosupervisor)
- Driessens, Kurt.
Relational reinforcement learning, PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2004, 222 + xx pages, isbn: 905-682-500-3,
Bruynooghe, Maurice and
De Raedt, Luc (supervisors)
- Jacobs, Nico.
Relational sequence learning and user modelling, PhD thesis, Informatics Section, Department of Computer Science, Faculty of Science, October 2004, 235 + xii pages,
Bruynooghe, Maurice (supervisor) ,
De Raedt, Luc (cosupervisor)
- Mazur, Nancy.
Compile-time garbage collection for the declarative language Mercury, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2004, 346 + xvi pages, isbn: 905-682-505-4,
Bruynooghe, Maurice and
Janssens, Gerda (supervisors)
- Pelov, Nikolay.
Semantics of logic programs with aggregates, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2004, 152 + X pages,
Bruynooghe, Maurice and
Denecker, Marc (supervisors)
- Kosala, Raymondus.
Information extraction by tree automata inference, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2003, 202 + xii pages,
Bruynooghe, Maurice (supervisor) ,
Van den Bussche, Jan (cosupervisor)
- Ramon, Jan.
Conceptuele clustering en instance based leren in eerste orde logica, PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, October 2002, xvi + 269 pages, isbn: 905-682-374-4,
Bruynooghe, Maurice and
De Raedt, Luc (supervisors)
- Van Laer, Wim.
From Propositional to First Order Logic in Machine Learning and Data Mining - Induction of first order rules with ICL, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2002, 240 + xviii pages,
Bruynooghe, Maurice and
De Raedt, Luc (supervisors)
- Vanhoof, Wim.
Techniques for on- and off-line specialisation of logic programs, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2001, 323 + xiv pages,
Bruynooghe, Maurice and
De Schreye, Danny (supervisors)
- Vandecasteele, Henk.
Constraint logic programming: applications and implementation, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1999, 226 + xii pages,
De Schreye, Danny and
Bruynooghe, Maurice (supervisors)
- Blockeel, Hendrik.
Neerwaartse inductie van eerste-orde logische beslissingsbomen., PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, December 1998, 202+xv pages, isbn: 905-682-156-3,
Bruynooghe, Maurice and
De Raedt, Luc (supervisors)
- Dehaspe, Luc.
Frequent pattern discovery in first-order logic, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1998,
De Raedt, Luc and
Bruynooghe, Maurice (supervisors)
- Dussart, Dirk.
Topics in program specialization and analysis for statically typed functional languages, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1997,
De Vlaminck, Karel and
Bruynooghe, Maurice and
Gobin, Marc (supervisors)
- Adé, Hilde.
Theory revision in inductive logic programming: inductive learning, abductive reasoning and bias, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1995,
Bruynooghe, Maurice and
Gobin, Marc (supervisors)
- Sablon, Gunther.
Iterative versionspaces with an application in inductive logic programming, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1995,
Bruynooghe, Maurice and
Gobin, Marc (supervisors)
- Dumortier, Veroniek.
Freeness and related analyses of constraint logic programs using abstract interpretation, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1994,
Bruynooghe, Maurice and
Gobin, Marc (supervisors)
- De Raedt, Luc.
Interactive concept-learning, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1991,
Bruynooghe, Maurice and
Gobin, Marc (supervisors)
- Mulkers, Anne.
Deriving live data structures in logic programs by means of abstract interpretation, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1991,
Bruynooghe, Maurice and
Gobin, Marc (supervisors)
- Janssens, Gerda.
Deriving run time properties of logic programs by means of abstract interpretation, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990,
Bruynooghe, Maurice and
Willems, Yves (supervisors)
- Bruynooghe, Maurice.
Twee methodes voor de globale optimalisatie van programma's in de logika der Horn-uitdrukkingen, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1988
- Bruynooghe, Maurice.
Naar een betere beheersing van de uitvoering van programma's in de logika der Horn-uitdrukkingen, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1979,
Willems, Yves and
Gobin, Marc (supervisors)
Internal reports
109 references- Verdoolaege, Sven;
Janssens, Gerda;
Bruynooghe, Maurice.
Equivalence checking of static affine programs using widening to handle recurrences, CW Reports, volume CW565, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2009
- Verdoolaege, Sven;
Palkovic, Martin;
Bruynooghe, Maurice;
Janssens, Gerda;
Catthoor, Francky.
Experience with widening based equivalence checking in realistic multimedia systems, CW Reports, volume CW572, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 2009
- Schrijvers, Tom;
Gallagher, John P.;
Bruynooghe, Maurice.
From monomorphic to polymorphic well-typings and beyond - Extended report, CW Reports, volume CW518, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2008
- Shashidhar, K. C.;
Bruynooghe, Maurice;
Catthoor, Francky;
Janssens, Gerda.
Automatic verification of source code transformations on array-intensive programs: demonstration with real-life examples, CW Reports, volume CW401, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2008
- Vennekens, Joost;
Denecker, Marc;
Bruynooghe, Maurice.
On the equivalence between CP-logic and LPADs, CW Reports, volume CW436, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2008
- Fierens, Daan;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
A comparison of pruning criteria for probability trees, CW Reports, volume CW488, 35 pages, Department of Computer Science, Katholieke Universiteit Leuven, April 2007
- Fierens, Daan;
Ramon, Jan;
Bruynooghe, Maurice;
Blockeel, Hendrik.
Learning directed probabilistic logical models: Ordering-search versus structure-search, CW Reports, volume CW490, 26 pages, Department of Computer Science, Katholieke Universiteit Leuven, May 2007
- Cortés-Calabuig, Alvaro;
Denecker, Marc;
Arieli, Ofer;
Bruynooghe, Maurice.
Representation of partial knowledge and query answering in locally complete databases, CW Reports, volume CW457, 19 pages, K.U.Leuven, Department of Computer Science, August 2006
- Goetschalckx, Robby;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
Using Expert Knowledge to Construct State-Action Aggregations for Reinforcement Learning, CW Reports, volume CW445, 14 pages, K.U.Leuven, Department of Computer Science, May 2006
- Bruynooghe, Maurice;
Gallagher, John P.;
Van Humbeeck, Wouter.
Inference of well-typings for logic programs with application to termination analysis, CW Reports, volume CW409, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2005
- Fierens, Daan;
Ramon, Jan;
Blockeel, Hendrik;
Bruynooghe, Maurice.
A comparison of approaches for learning probability trees, CW Reports, volume CW418, 13 pages, Department of Computer Science, Katholieke Universiteit Leuven, July 2005
- Mariën, Maarten;
Mitra, Rudradeb;
Denecker, Marc;
Bruynooghe, Maurice.
Satisfiability checking for PC(ID), CW Reports, volume CW426, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2005
- Pelov, Nikolay;
Denecker, Marc;
Bruynooghe, Maurice.
Well-founded and stable semantics of logic programs with aggregates, CW Reports, volume CW422, 48 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2005
- Verdoolaege, Sven;
Woods, Kevin M.;
Bruynooghe, Maurice;
Cools, Ronald.
Computation and manipulation of enumerators of integer projections of parametric polytopes, CW Reports, volume CW392, 104 pages, K.U.Leuven, Department of Computer Science, March 2005
- Raeymaekers, Stefan;
Bruynooghe, Maurice;
Van den Bussche, Jan.
Learning (k,1)-contextual tree languages for information extraction, CW Reports, volume CW390, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2004
- Struyf, Jan;
Ramon, Jan;
Bruynooghe, Maurice;
Verbaeten, Sofie;
Blockeel, Hendrik.
Compact representation of knowledge bases in inductive logic programming, CW Reports, volume CW377, 44 pages, K.U.Leuven, Department of Computer Science, May 2004
- Verdoolaege, Sven;
Beyls, Kristof;
Bruynooghe, Maurice;
Catthoor, Francky.
Experiences with enumeration of integer projections of parametric polytopes, CW Reports, volume CW395, 19 pages, K.U.Leuven, Department of Computer Science, October 2004
- Verdoolaege, Sven;
Beyls, Kristof;
Bruynooghe, Maurice;
Seghir, Rachid;
Loechner, Vincent.
Analytical computation of Ehrhart polynomials and its applications for embedded systems, CW Reports, volume CW376, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2004
- Bruynooghe, Maurice;
Codish, Michael;
Genaim, Samir;
Vanhoof, Wim.
A note on the reuse of the results of a termination analysis based on polymorphic types, CW Reports, volume CW383, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2003
- Vanbroekhoven, Peter;
Janssens, Gerda;
Bruynooghe, Maurice;
Corporaal, Henk;
Catthoor, Francky.
A step toward a scalable dynamic single assignment conversion, CW Reports, volume CW360, 61 pages, K.U.Leuven, Department of Computer Science, April 2003
- Vanbroekhoven, Peter;
Janssens, Gerda;
Bruynooghe, Maurice;
Corporaal, Henk;
Catthoor, Francky.
Advanced Signal Propagation, CW Reports, volume CW353, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 2002
- Verdoolaege, Sven;
Catthoor, Francky;
Bruynooghe, Maurice;
Janssens, Gerda.
Feasibility of incremental translation, CW Reports, volume CW348, 58 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2002
- Mazur, Nancy;
Ross, Peter;
Janssens, Gerda;
Bruynooghe, Maurice.
Practical aspects for a working compile time garbage collection sys, CW Reports, volume CW310, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2001
- Verdoolaege, Sven;
Catthoor, Francky;
Bruynooghe, Maurice;
Janssens, Gerda.
A heuristic for improving the regularity of accesses by global loop transformations in the polyhedral model, CW Reports, volume CW325, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 2001
- Ramon, Jan;
Bruynooghe, Maurice.
A polynomial time computable metric between point sets, CW Reports, volume CW301, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2000
- Vandecasteele, Henk;
Bruynooghe, Maurice.
Abstracts of the Benelux workshop on computational logic, CW Reports, volume CW290, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2000
- Mazur, Nancy;
Janssens, Gerda;
Bruynooghe, Maurice.
Towards memory reuse for Mercury, CW Reports, volume CW278, 25 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1999
- Bruynooghe, Maurice;
Vandecasteele, Henk;
de Waal, D André;
Denecker, Marc.
Detecting unsolvable queries for definite logic programs, CW Reports, volume CW270, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1998
- Ramon, Jan;
Bruynooghe, Maurice.
A framework for defining distances between first-order logic objects, CW Reports, volume CW263, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1998
- Ramon, Jan;
Bruynooghe, Maurice;
Van Laer, Wim.
Distance measures between atoms, CW Reports, volume CW264, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1998
- Bruynooghe, Maurice;
Demoen, Bart;
Boulanger, Dmitri;
Denecker, Marc;
Mulkers, Anne.
A freeness and sharing analysis of logic programs based on a pre-interpretation, CW Reports, volume CW233, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1996
- Bruynooghe, Maurice;
Janssens, Gerda;
Kå gedal, Andreas.
Live-structure analysis for logic programming languages with declarations, CW Reports, volume CW231, 20 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1996
- Bruynooghe, Maurice;
Janssens, Gerda;
Martens, Bernhard.
Industrial applications of computational logic, CW Reports, volume CW227, 54 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1996
- de Waal, D André;
Denecker, Marc;
Bruynooghe, Maurice;
Thielscher, Michael.
The automatic generation of pre-interpretations for detecting unsolvable planning problems, CW Reports, volume CW224, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1996
- Martens, Bernhard;
Bruynooghe, Maurice;
Denecker, Marc;
De Raedt, Luc;
De Schreye, Danny;
Janssens, Gerda.
A brief overview of logic programming research at the K.U.Leuven, with notes on its industrialrelevance, CW Reports, volume CW223, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1996
- Boulanger, Dmitri;
Bruynooghe, Maurice.
Index-driven semantics of logic programs, CW Reports, volume CW211, 36 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1995
- García de la Banda, Maria;
Hermenegildo, Manuel;
Bruynooghe, Maurice;
Dumortier, Veroniek;
Janssens, Gerda;
Simoens, Wim.
Global analysis of constraint logic programs, CW Reports, volume CW205, 39 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1995
- Janssens, Gerda;
Bruynooghe, Maurice;
Dumortier, Veroniek.
A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs, CW Reports, volume CW212, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1995
- Janssens, Gerda;
Bruynooghe, Maurice;
Mulkers, Anne.
Abstract equation systems: some practical experiments, CW Reports, volume CW218, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1995
- Janssens, Gerda;
Bruynooghe, Maurice;
Mulkers, Anne.
Abstract equation systems: description and insights, CW Reports, volume CW217, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1995
- Adé, Hilde;
De Raedt, Luc;
Bruynooghe, Maurice.
Declarative bias for specific-to-general ILP systems, CW Reports, volume CW193, 37 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1994
- Bruynooghe, Maurice;
Codish, Michael;
Mulkers, Anne.
A composite domain for freeness, sharing, and compoundness analysis of logic programs, CW Reports, volume CW196, 35 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1994
- Janssens, Gerda;
Bruynooghe, Maurice;
Englebert, Vincent.
Abstracting numerical values in CLP(H,N), CW Reports, volume CW189, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1994
- Mulkers, Anne;
Simoens, Wim;
Janssens, Gerda;
Bruynooghe, Maurice.
On the practicality of abstract equation systems, CW Reports, volume CW198, 30 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1994
- Sablon, Gunther;
De Raedt, Luc;
Bruynooghe, Maurice.
Iterative versionspaces, CW Reports, volume CW190, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1994
- Boulanger, Dmitri;
Bruynooghe, Maurice.
Using abstract interpretation for goal replacement, CW Reports, volume CW181, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1993
- Bruynooghe, Maurice;
Boulanger, Dmitri.
Abstract interpretation for (constraint) logic programming, CW Reports, volume CW183, 34 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1993
- Bruynooghe, Maurice;
Codish, Michael.
Freeness, sharing, linearity and correctness - all at once, CW Reports, volume CW179, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1993
- Codish, Michael;
García de la Banda, Maria;
Bruynooghe, Maurice;
Hermenegildo, Manuel.
Top-down vs bottom-up analysis of logic programs - closing the circle, CW Reports, volume CW177, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1993
- Mulkers, Anne;
Winsborough, Will;
Bruynooghe, Maurice.
A live-structure data-flow analysis for Prolog: theory, CW Reports, volume CW167, 50 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1993
- Mulkers, Anne;
Winsborough, Will;
Bruynooghe, Maurice.
A live-structure data-flow analysis for Prolog: design and evaluation, CW Reports, volume CW166, 45 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1993
- Adé, Hilde;
De Raedt, Luc;
Bruynooghe, Maurice.
Inverse resolution in an integrated inductive-deductive learning system, CW Reports, volume CW155, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1992
- Boulanger, Dmitri;
Bruynooghe, Maurice.
Deriving fold/unfold transformation of logic programs using extended OLDT-based abstractinterpretation, CW Reports, volume CW163, 28 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1992
- Bruynooghe, Maurice;
Janssens, Gerda.
Propagation: a new operation in a framework for abstract interpretation of logic programs, CW Reports, volume CW146, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1992
- Bruynooghe, Maurice;
Winsborough, Will.
Type graph unification, CW Reports, volume CW160, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1992
- Codish, Michael;
Dams, Denis;
Filé, Gilberto;
Bruynooghe, Maurice.
Freeness analysis for logic programs - and correctness, CW Reports, volume CW161, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1992
- Codish, Michael;
Mulkers, Anne;
Bruynooghe, Maurice.
Improving abstract interpretations by combining domains, CW Reports, volume CW162, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1992
- De Raedt, Luc;
Bruynooghe, Maurice.
A theory of clausal discovery, CW Reports, volume CW164, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1992
- Dumortier, Veroniek;
Janssens, Gerda;
Bruynooghe, Maurice.
Detection of free variables in the presence of numeric constraints by means of abstractinterpretation, CW Reports, volume CW145, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1992
- Dumortier, Veroniek;
Janssens, Gerda;
Bruynooghe, Maurice;
Codish, Michael.
Freeness analysis in the presence of numerical constraints, CW Reports, volume CW158, 17 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1992
- Bruynooghe, Maurice;
De Schreye, Danny;
Martens, Bernhard.
A general criterion for avoiding infinite unfolding during partial deduction, CW Reports, volume CW126, 26 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1991
- De Raedt, Luc;
Bruynooghe, Maurice.
A practical multi valued logic to reason about (in)completeness and (in)consistency, CW Reports, volume CW128, 6 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990
- De Raedt, Luc;
Bruynooghe, Maurice.
Unifying intensional knowledge base updating and incremental concept-learning. or belief updatingfrom integrity constraints and queries, CW Reports, volume CW118, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1990
- De Schreye, Danny;
Verschaetse, Christophe;
Bruynooghe, Maurice.
A practical technique for detecting non- terminating queries for a restricted class of Hornclauses, using directed, weighted graphs, CW Reports, volume CW109, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990
- Janssens, Gerda;
Bruynooghe, Maurice.
On abstracting the procedural behaviour of logic programs, CW Reports, volume CW119, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1990
- Janssens, Gerda;
Bruynooghe, Maurice.
Deriving descriptions of possible values of program variables by means of abstract interpretation:definitions and proofs, CW Reports, volume CW108, 124 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1990
- Janssens, Gerda;
Bruynooghe, Maurice.
Deriving descriptions of possible values of program variables by means of abstract interpretation, CW Reports, volume CW107, 70 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990
- Mulkers, Anne;
Winsborough, Will;
Bruynooghe, Maurice.
Analysis of shared data structures for compile-time garbage collection in logic programs, CW Reports, volume CW117, 36 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1990
- Verschaetse, Christophe;
De Schreye, Danny;
Bruynooghe, Maurice.
Generation and compilation of efficient computation rules, CW Reports, volume CW110, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990
- Bruynooghe, Maurice;
De Raedt, Luc;
De Schreye, Danny.
Explanation based program transformation, CW Reports, volume CW89, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1989
- Bruynooghe, Maurice;
De Schreye, Danny.
Some thoughts on the role of examples in program transformation and its relevance forexplanation-based learning, CW Reports, volume CW94, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1989
- De Raedt, Luc;
Bruynooghe, Maurice.
On explanation and Bias in inductive concept-learning, CW Reports, volume CW101, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1989
- De Raedt, Luc;
Bruynooghe, Maurice.
Constructive induction by analogy, CW Reports, volume CW87, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1989
- De Schreye, Danny;
Bruynooghe, Maurice;
Verschaetse, Christophe.
On the existence of non-terminating queries for a restricted class of Prolog-clauses, CW Reports, volume CW90, 11 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1989
- De Schreye, Danny;
Martens, Bernhard;
Sablon, Gunther;
Bruynooghe, Maurice.
Compiling bottom-up and mixed derivations into top-down executable logic programs, CW Reports, volume CW103, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1989
- De Schreye, Danny;
Pollet, D.;
Ronsyn, J.;
Bruynooghe, Maurice.
Implementing finite-domain constraint logic programming on top of a Prolog-system withdelay-mechanism, CW Reports, volume CW104, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1989
- Janssens, Gerda;
Bruynooghe, Maurice.
An application of abstract interpretation: integrated type and mode inferencing, CW Reports, volume CW86, 57 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1989
- De Raedt, Luc;
Bruynooghe, Maurice.
Towards friendly concept-learners, CW Reports, volume CW88, 6 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1988
- De Raedt, Luc;
Bruynooghe, Maurice.
Features of concept learning: a generic algorithm, CW Reports, volume CW76, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1988
- De Schreye, Danny;
Bruynooghe, Maurice.
An application of abstract interpretation in source level program transformation, CW Reports, volume CW68, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1988
- De Schreye, Danny;
Bruynooghe, Maurice.
The compilation of forward checking regimes through meta-interpretation and transformation, CW Reports, volume CW69, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1988
- Martens, Bernhard;
Bruynooghe, Maurice.
Integrity constraint checking in deductive databases using a rule/goal graph, CW Reports, volume CW66, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1988
- Verschaetse, Christophe;
De Schreye, Danny;
Bruynooghe, Maurice.
Automatic generation of control information in five steps, CW Reports, volume CW79, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1988
- Weemeeuw, Patrick;
Bruynooghe, Maurice;
De Hondt, Marleen.
On implementing logic programming languages on a dataflow architecture, CW Reports, volume CW67, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1988
- Bruynooghe, Maurice.
A framework for the abstract interpretation of logic programs, CW Reports, volume CW62, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1987
- Bruynooghe, Maurice;
Janssens, Gerda;
Callebaut, Allain;
Demoen, Bart.
Abstract interpretation: towards the global optimisation of PROLOG programs, CW Reports, volume CW56, 25 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1987
- De Raedt, Luc;
Krekels, Bruno;
Bruynooghe, Maurice;
Van Meir, D..
Using Shapiro's model inference system for concept-learning, CW Reports, volume CW65, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1987
- De Schreye, Danny;
Bruynooghe, Maurice.
On the transformation of logic programs with instantiation based computation rules, CW Reports, volume CW55, 36 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1987
- Krekels, Bruno;
De Raedt, Luc;
Bruynooghe, Maurice.
The functional components of concept-acquisition systems, CW Reports, volume CW64, 11 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1987
- Bruynooghe, Maurice.
Compile time garbage collection, CW Reports, volume CW43, 35 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1986
- Bruynooghe, Maurice.
Is logic programming real programming?, CW Reports, volume CW48, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1986
- Bruynooghe, Maurice;
De Schreye, Danny;
Krekels, Bruno.
Compiling control, CW Reports, volume CW47, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1986
- Bruynooghe, Maurice;
Weemeeuw, Patrick.
Towards more efficiency of PROLOG on conventional hardware, CW Reports, volume CW45, 11 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1986
- Rosiers, Wim;
Bruynooghe, Maurice.
Empirical study of some constraint satisfaction algorithms, CW Reports, volume CW50, 8 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1986
- Bruynooghe, Maurice.
Graph coloring and constraint satisfaction, CW Reports, volume CW44, 6 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1985
- Pittomvils, Edwin;
Bruynooghe, Maurice;
Willems, Yves.
Towards a real time garbage collector for PROLOG, CW Reports, volume CW38, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1985
- Bibel, Wolfgang;
Freksa, Christian;
Haddawy, Peter;
Moreau, M.;
Bruynooghe, Maurice.
An overview of formalisms, issues, languages and systems for the representation of knowledge, CW Reports, volume CW34, 46 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1984
- Bruynooghe, Maurice.
Some pragmatics of deriving negative information in PROLOG, CW Reports, volume CW33, 8 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1984
- Bruynooghe, Maurice;
Pereira, Louis M..
Deduction revision by intelligent backtracking, CW Reports, volume CW32, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1983
- Bruynooghe, Maurice.
Implementatie van PROLOG, CW Reports, volume CW26, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1982
- Bruynooghe, Maurice.
Adding redundancy to obtain more reliable and more readable prolog programs, CW Reports, volume CW27, 5 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1982
- Bruynooghe, Maurice.
A note on garbage collection in prolog interpreters, CW Reports, volume CW28, 4 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1982
- Bruynooghe, Maurice;
Pereira, Louis M..
Revision of top-down logical reasoning through intelligent backtracking, CW Reports, volume CW23, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1981
- Bruynooghe, Maurice.
The memory management of PROLOG implementations, CW Reports, volume CW21, 9 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1980
- Bruynooghe, Maurice.
Analysis of dependencies to improve the behaviour of logic programs, CW Reports, volume CW19, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1979
- Bruynooghe, Maurice.
Solving combinatorial search problems by intelligent backtracking, CW Reports, volume CW18, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1979
- Bruynooghe, Maurice.
Intelligent backtracking for an interpreter of Horn clause logic programs, CW Reports, volume CW16, 26 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1978
- Bruynooghe, Maurice.
An interpreter for predicate logic programs. Part I : Basic principles, CW Reports, volume CW10, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1976
- Bruynooghe, Maurice.
The inheritance of links in a connection graph, CW Reports, volume CW2, 38 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1975
No publications found for the period 1974-2013 and the types
- Books, internationally recognised scientific publisher; as author
- Other published books; as author
- Other published books; as editor
- Article in other published book
- Review
- Translation without scientific introduction
- Scientific popularisation
- Misc.
- External reports
Last update local database Sun May 12 2013 0:18 am; It contains 510 publications of Maurice Bruynooghe.