Publications DTAI

1992

Articles in internationally reviewed journals

14 references
  • Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern. A general criterion for avoiding infinite unfolding during partial deduction, New Generation Computing, volume 11, issue 1, pages 47-79, 1992 DOI BibTeX
  • 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 DOI BibTeX
  • Bry, F.; Manthey, R.; Martens, Bern. Integrity verification in knowledge bases, Lecture Notes in Artificial Intelligence, volume 592, pages 114-139, 1992 DOI BibTeX
  • De Raedt, Luc; Bruynooghe, Maurice. Belief updating from integrity constraints and queries, Artificial Intelligence, volume 53, issue 2-3, pages 291-307, 1992 DOI PDF BibTeX
  • De Raedt, Luc; Bruynooghe, Maurice. A unifying framework for concept-learning algorithms, The Knowledge Engineering Review, volume 7, issue 3, pages 251-269, 1992 DOI PDF BibTeX
  • De Raedt, Luc; Bruynooghe, Maurice. Interactive concept-learning and constructive induction by analogy, Machine Learning, volume 8, issue 2, pages 107-150, 1992 DOI PDF BibTeX
  • De Raedt, Luc; Feyaerts, J.; Bruynooghe, Maurice. Acquiring object-knowledge, Journal of Experimental and Theoretical Artificial Intelligence, volume 4, pages 213-232, 1992 DOI PDF BibTeX
  • De Schreye, Danny; Martens, Bern. A sensible least herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation, Lecture Notes in Computer Science, volume 649, pages 192-204, 1992 DOI BibTeX
  • De Schreye, Danny; Verschaetse, K.. Tutorial on termination of logic programs, Lecture Notes in Computer Science, volume 649, pages 70-88, 1992 DOI BibTeX
  • Demoen, Bart; Mariën, André. Implementation of prolog as binary definite programs, Lecture Notes in Artificial Intelligence, volume 592, pages 165-176, 1992 DOI BibTeX
  • 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 DOI BibTeX
  • Janssens, Gerda; Bruynooghe, Maurice. On abstracting the procedural behavior of logic programs, Lecture Notes in Computer Science, volume 592, pages 240-262, 1992 DOI PDF BibTeX
  • Verschaetse, K.; De Schreye, Danny. Derivation of linear size relations by abstract interpretation, Lecture Notes in Computer Science, volume 631, pages 296-310, 1992 DOI BibTeX
  • Weemeeuw, P.; Demoen, Bart. Garbage collection in aurora - an overview, Lecture Notes in Computer Science, volume 637, pages 454-472, 1992 DOI BibTeX

Top

Books, internationally recognised scientific publisher; as author

1 reference

Top

Article in book, internationally recognised scientific publisher

5 references
  • Bruynooghe, Maurice; De Schreye, Danny. Meta Interpretation, Shapiro, S.C (ed.), Encyclopedia of Artificial Intelligence, Second Edition, pages 939-940, John Wiley & Sons, 1992 BibTeX
  • Bruynooghe, Maurice; Venken, Raf. Backtracking, Shapiro, S.C (ed.), Encyclopedia of Artificial Intelligence, Second Edition, pages 84-88, John Wiley & Sons, 1992 BibTeX
  • Bruynooghe, Maurice; Venken, Raf. Coroutines, Shapiro, S.C (ed.), Encyclopedia of Artificial Intelligence, Second Edition, pages 301-307, John Wiley & Sons, 1992 BibTeX
  • De Raedt, Luc; Bruynooghe, Maurice. An overview of the interactive concept-learner and theory revisor CLINT, Muggleton, S (ed.), Inductive Logic Programming, pages 163-191, Academic Press, 1992 PDF BibTeX
  • Sablon, Gunther; Adé, Hilde; Bruynooghe, Maurice. Some Thoughts on inverse resolution, Muggleton, S (ed.), Inductive Logic Programming, pages 409-422, Academic Press, 1992 BibTeX

Top

Papers at international conferences and symposia, published in full in proceedings

25 references
  • Adé, Hilde; Bruynooghe, Maurice. A comparative study of declarative and dynamically adjustable language bias in concept learning, Proceedings of ML92 Workshop on Biases in Inductive Learning, pages 1-14, ML92 Workshop on Biases in Inductive Learning, Aberdeen, Scotland, July 1992 BibTeX
  • Adé, Hilde; Bruynooghe, Maurice. A comparative study of declarative and dynamically adjustable language bias in concept learning, Proceedings of the ECAI92 Workshop : Logical Approaches to Machine Learning (Vienna, Austria, August 1992), pages 1-5, ECAI92 Workshop : Logical Approaches to Machine Learning, Vienna, Austria, August 1992 BibTeX
  • Barbuti, R.; Codish, Michael; Giacobazzi, R.; Maher, Michael. Oracle semantics for Prolog, Proc. of the Third International Conference on Algebraic and Logic Programming, pages 100-114, 1992 BibTeX
  • Bruynooghe, Maurice; Janssens, Gerda. Propagation - a new operation in a framework for abstract interpretation of logic programs, Lecture Notes in Computer Science, volume 649, pages 294-307, Springer verlag, Third International Workshop, META-92, Uppsala, Sweden, June 10–12, 1992 DOI PDF BibTeX
  • Bruynooghe, Maurice; Janssens, Gerda. Propagation : a new operation in a framework for abstract interpretation of logic programs, Pettorossi, Alberto; Barklund, Jonas (eds.), Proceedings of Third International Workshop on Metaprogramming in Logic (META-92) (Preliminary Proceedings), pages 238-252, Third International Workshop on Metaprogramming in Logic (META-92),, Uppsala, Sweden, 10-12 June 1992 BibTeX
  • Codish, Michael; Falaschi, M.; Marriott, K.; Winsborough, W.. Efficient analysis of reactive properties of concurrent constraint logic programs, Proc. of the Second International Workshop on Static Program Analysis, 1992 BibTeX
  • De Raedt, Luc. Inductive logic programming: an introduction, Proc. of the 14th International Conference on Information Technology Interfaces, pages 17-22, 1992, International Conference on Information Technology Interfaces BibTeX
  • De Schreye, Danny; Martens, Bern. A sensible Least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation, Pettorossi, A (ed.), Proc. of the Third International Workshop on Meta-programming in Logic, Meta92, pages 192-204, 1992 BibTeX
  • De Schreye, Danny; Verschaetse, Christophe. Tutorial notes on termination of logic programs, Pettorossi, A (ed.), Proc. of the Third International Workshop on Meta-programming in Logic, Meta92, pages 70-88, 1992 BibTeX
  • De Schreye, Danny; Verschaetse, Christophe; Bruynooghe, Maurice. A framework for analysing the termination of definite logic programs with respect to call patterns, Fifth Generation Computer Systems '92: Proceedings of the International Conference on Fifth Generation Computer Systems, pages 481-488, International Conference on Fifth Generation Computer Systems, Tokyo, Japan, 1-5 June 1992 BibTeX
  • Demoen, Bart. On the transformation of a Prolog program to a more efficient binary program, Proceedings of the LOPSTR'92 Workshop, Manchester, July 1992, 1992 BibTeX
  • Denecker, Marc; De Schreye, Danny. On the duality of abduction and model generation, ICOT, (ed.), Proc. of the International Conference on Fifth Generation Computer Systems, FGCS92, pages 650-657, 1992, International Conference on Fifth Generation Computer Systems, FGCS92 BibTeX
  • Denecker, Marc; De Schreye, Danny. Temporal reasoning with Abductive Event Calculus; extended abstract in proceedings, Proceedings First Compulog-Net Workshop on Logic Programming in AI, 1992, First Compulog-Net Workshop on Logic Programming in AI, Imperial College, London BibTeX
  • Denecker, Marc; De Schreye, Danny. SLDNFA: an abductive procedure for normal abductive programs, Apt, K.R (ed.), Proc. of the International Joint Conference and Symposium on Logic Programming, pages 686-700, 1992, the International Joint Conference and Symposium on Logic Programming BibTeX
  • Denecker, Marc; Missiaen, Lode; Bruynooghe, Maurice. Temporal reasoning with abductive event calculus, Neumann, Bernd (ed.), Proceedings of the 10th European Conference on Artificial Intelligence, ECAI92, pages 384-388, John Wiley and Sons, 10th European Conference on Artificial Intelligence, Vienna, Austria, 3-7 August 1992 BibTeX
  • Dumortier, Veroniek; Janssens, Gerda; Bruynooghe, Maurice. Detection of free variables in the presence of numeric constraints, Proceedings of JICSLP'92 Post-conference Workshop on CLP, pages 105-118, JICSLP'92 Post-conference workshop on CLP, Washington, DC, USA, 13 November 1992 BibTeX
  • Dumortier, Veroniek; Janssens, Gerda; Bruynooghe, Maurice. Detection of free variables in numeric constraints by means of abstract interpretation, Benelog'92 Workshop on Logic Programming, pages 1-14, Benelux Workshop on Logic Programming (BeNeLog), Luxembourg, 11 September 1992 BibTeX
  • Martens, Bern; De Schreye, Danny. A perfect Herbrand semantics for untyped vanilla meta-programming, Apt, K (ed.), Proceedings of Joint International Conference and Symposium on Logic Programming, Washington, November 1992, pages 511-525, 1992 BibTeX
  • Martens, Bern; De Schreye, Danny; Bruynooghe, Maurice. Sound and complete partial deduction with unfolding based on well-founded measures, Fifth Generation Computer Systems '92: Proceedings of the International Conference on Fifth Generation Computer Systems., pages 473-480, International Conference on the Fifth Generation Computer Systems, Tokyo, Japan, 1-5 June 1992 BibTeX
  • Mulkers, Anne; Winsborough, Will; Bruynooghe, Maurice. Static analysis of logic programs to detect run-time garbage cells, Dewilde, Patrickl; Vandewalle, Joseph (eds.), Proceedings of the International Conference on Computer Systems and Software Engineering (COMPEURO'92), pages 526-531, Computer Systems and Software Engineering, Den Haag, The Netherlands, May 4-8, 1992 BibTeX
  • Rouveirol, C.; De Raedt, Luc. The use of backgroundknowledge for generalisation in ILP, Proc. of the ECAI Workshop on Logical Approaches to Machine Learning, Vienna, 6 pages, 1992, Workshop on Logical Approaches to Machine Learning, Vienna BibTeX
  • Van Holder, Wim; De Raedt, Luc; Adé, Hilde; Sablon, Gunther; Bruynooghe, Maurice; Willems, Yves. MacCLINT: an interactive machine learning system, Proc. of the European Apple University Consortium Conference, pages 67-70, European Apple University Consortium Conference, Bruges, Belgium, 21-23 April 1992 BibTeX
  • Vergauwen, Bart; Lewi, Johan. Linear local and global model checking algorithms for a kernel temporal logic language, Koczkodaj, W.; Lauer, P.; Toptsis, A (eds.), Proceedings ICCI 92, pages 46-49, 1992 BibTeX
  • Vergauwen, Bart; Lewi, Johan. A linear algorithm for solving fixed-point equations on transition systems, Raoult, J-C (ed.), Proceedings CAAP'92, pages 322-341, 1992 BibTeX
  • Verschaetse, Christophe; De Schreye, Danny; Decorte, Stefaan. Automatic termination analysis, Lau, K.; Clement, T (eds.), Proc. of the Second International Workshop on Logic Program Synthesis and Transformation, LOPSTR92, 11 pages, 1992 BibTeX

Top

Meeting abstracts, presented at international conferences and symposia

4 references
  • Adé, Hilde; De Raedt, Luc; Bruynooghe, Maurice. Inverse resolution in an integrated inductive-deductive learning system, 10th European Conference on Artificial Intelligence, ECAI 92, Proceedings, pages 456-457, John Wiley and Sons, The 10th European Conference on Artificial Intelligence, Vienna, Austria, 3-7 August 1992 BibTeX
  • 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 BibTeX
  • De Raedt, Luc; Bruynooghe, Maurice. A clausal discovery engine, International School for the Synthesis of Expert Knowledge, Bled, Slovenia, September 3-51992 BibTeX
  • De Raedt, Luc; Bruynooghe, Maurice. A clausal discovery engine, ECAI Workshop on Logical Approaches to Machine Learning, Vienna, Austria, 3-7 August 1992 BibTeX

Top

Thesis

1 reference
  • Verschaetse, Christophe. Static termination analysis for definite Horn clause programs, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1992, De Schreye, Danny and Denef, Jan (supervisors) BibTeX

Top

Internal reports

26 references
  • 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 BibTeX
  • Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Maher, Michael. Oracle semantics for Prolog, CW Reports, volume CW152, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1992 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • Bruynooghe, Maurice; Winsborough, Will. Type graph unification, CW Reports, volume CW160, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1992 BibTeX
  • 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 BibTeX
  • Codish, Michael; Debray, S.; Giacobazzi, R.. Compositional analysis of modular logic programs, CW Reports, volume CW154, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1992 BibTeX
  • Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William. Efficient analysis of concurrent constraint logic programs, CW Reports, volume CW153, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1992 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • De Raedt, Luc; Lavrac, N.; Dzeroski, Saso. Multiple predicate learning, CW Reports, volume CW165, 20 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1992 BibTeX
  • De Schreye, Danny; Martens, Bern. A sensible least Herbrand semantics for untyped Vanilla Meta-programming and its extension to a limited form of amalgamation, CW Reports, volume CW142, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1992 BibTeX
  • De Schreye, Danny; Verschaetse, Christophe. Termination of logic programs: tutorial notes, CW Reports, volume CW148, 20 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1992 BibTeX
  • Demoen, Bart; Mariën, André. Can Prolog execute as fast as Aquarius, CW Reports, volume CW144, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992 BibTeX
  • Denecker, Marc; De Schreye, Danny. A family of abductive procedures for normal abductive programs, their soundness and completeness, CW Reports, volume CW136, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1992 BibTeX
  • Denecker, Marc; De Schreye, Danny. Justification semantics: a unifying framework for the semantics of logic programs, CW Reports, volume CW157, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1992 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • Janssens, Gerda; Hermenegildo, Manuel; Bueno, F.; García de la Banda, M.; Mulkers, Anne. A review of some abstract interpretation systems, CW Reports, volume CW143, 42 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1992 BibTeX
  • Kovacic, M.; Lavrac, N.; Grobelnik, M.; Zupanic, D.; Mladenic, D.. Stochastic search in inductive logic programming, CW Reports, volume CW141, 5 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1992 BibTeX
  • Martens, Bern; De Schreye, Danny. A perfect Herbrand semantics for untyped vanilla meta-programming, CW Reports, volume CW149, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1992 BibTeX
  • Martens, Bern; De Schreye, Danny. Sound and complete partial deduction with unfolding based on well-founded measures, CW Reports, volume CW137, 20 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1992 BibTeX
  • Martens, Bern; De Schreye, Danny. Why untyped non-ground meta-programming is not (much of) of problem, CW Reports, volume CW159, 59 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1992 BibTeX
  • Mladenic, D.; Zupanic, D.; Grobelnik, M.; Lavrac, N.. Stochastic search in inductive concept learning, CW Reports, volume CW140, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1992 BibTeX
  • Verschaetse, Christophe; De Schreye, Danny. Automatic derivation of linear size relations, CW Reports, volume CW139, 39 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1992 BibTeX
  • Verschaetse, Christophe; De Schreye, Danny. Termination analysis of definite logic programs with respect to call patterns, CW Reports, volume CW138, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1992 BibTeX

Top

 
Last update local database Sun Jan 15 2017 8:23 am; It contains now 12817 items.

Yearly overview:

 

Search pubs of DTAI

Make a selection by author, year, publication type.

Search collection INFORMATICS

Search collection COMPUTER SCIENCE

Bibtexs of this page