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.), John Wiley & Sons, 1992 BibTeX
  • Bruynooghe, Maurice; Venken, Raf. Backtracking, Shapiro, S.C (ed.), John Wiley & Sons, 1992 BibTeX
  • Bruynooghe, Maurice; Venken, Raf. Coroutines, Shapiro, S.C (ed.), John Wiley & Sons, 1992 BibTeX
  • De Raedt, Luc; Bruynooghe, Maurice. An overview of the interactive concept-learner and theory revisor CLINT, Muggleton, S (ed.), Academic Press, 1992 PDF BibTeX
  • Sablon, Gunther; Adé, Hilde; Bruynooghe, Maurice. Some Thoughts on inverse resolution, Muggleton, S (ed.), Academic Press, 1992 BibTeX

Top

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

21 references
  • 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 BibTeX
  • 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 BibTeX
  • 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 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.), 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 BibTeX
  • De Raedt, Luc. Inductive logic programming: an introduction, International Conference on Information Technology Interfaces, Proc. of the 14th International Conference on Information Technology Interfaces, pages 17-22, 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, 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, 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 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.), International Conference on Fifth Generation Computer Systems, FGCS92, Proc. of the International Conference on Fifth Generation Computer Systems, FGCS92, pages 650-657, 1992 BibTeX
  • Denecker, Marc; De Schreye, Danny. Temporal reasoning with Abductive Event Calculus; extended abstract in proceedings, First Compulog-Net Workshop on Logic Programming in AI, Imperial College, London, Proceedings First Compulog-Net Workshop on Logic Programming in AI, 1992 BibTeX
  • Denecker, Marc; De Schreye, Danny. SLDNFA: an abductive procedure for normal abductive programs, Apt, K.R (ed.), the International Joint Conference and Symposium on Logic Programming, Proc. of the International Joint Conference and Symposium on Logic Programming, pages 686-700, 1992 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 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, 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 BibTeX
  • 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 BibTeX
  • Rouveirol, C.; De Raedt, Luc. The use of backgroundknowledge for generalisation in ILP, Workshop on Logical Approaches to Machine Learning, Vienna, Proc. of the ECAI Workshop on Logical Approaches to Machine Learning, Vienna, 6 pages, 1992 BibTeX
  • 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 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, 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 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

21 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
  • 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; 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
  • 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
  • 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 Aug 31 2014 0:21 am; It contains now 10649 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