Publications DTAI

1989

Articles in internationally reviewed journals

4 references
  • Bruynooghe, Maurice; De Schreye, Danny; Krekels, B.. Compiling control, Journal of Logic Programming, volume 6, issue 1-2, pages 135-162, 1989 DOI PDF BibTeX
  • 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 DOI PDF BibTeX
  • 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 DOI PDF BibTeX
  • 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 DOI BibTeX

Top

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

13 references
  • Bruynooghe, Maurice; De Raedt, Luc; De Schreye, Danny. Explanation based program transformation, Sridharan, N.S (ed.), Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI 1989), pages 407-412, Morgan Kaufmann, Eleventh International Joint Conference on Artificial Intelligence, Detroit, August 20-25, 1989 PDF BibTeX
  • 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.), Lecture Notes in Computer Science, volume 397, pages 60-77, Springer, International Workshop on Analogical and Inductive Inference, Reinhardbrunn Castle, Germany, October 1989 DOI PDF BibTeX
  • De Raedt, Luc; Bruynooghe, Maurice. Constructive induction by analogy, Segre, A.M (ed.), Proc. of the Sixth International Workshop on Machine Learning, pages 476-477, Morgan Kaufmann, Sixth International Workshop on Machine Learning, Cornell Univ., June 26-27, 1989 BibTeX
  • De Raedt, Luc; Bruynooghe, Maurice. Constructive Induction by Analogy : a method to learn how to learn, Morik, Katharina (ed.), EWSL89 Proceedings of the 4th European Working Session on Learning, pages 189-200, Pitman. Morgan Kaufmann, Fourth European Working Session on Learning, Montpellier, France, December 4-6, 1989 PDF BibTeX
  • De Raedt, Luc; Bruynooghe, Maurice. On explanation and bias in inductive concept-learning, Boose, J.; Gaines, B.; Ganascia, J.G (eds.), EKAW'89: Third European Workshop on Knowledge Acquisition for Knowledge-Based Systems, pages 338-353, Third European Workshop on Knowledge Acquisition for Knowledge-Based Systems, Paris, France, July 1989 BibTeX
  • De Raedt, Luc; Bruynooghe, Maurice. Towards friendly concept-learners, Sridharan, N.S (ed.), Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI 1989), pages 849-854, Morgan Kaufmann, Eleventh International Joint Conference on Artificial Intelligence, Detroit, August 20-25, 1989 PDF BibTeX
  • De Schreye, Danny; Bruynooghe, Maurice. Some alternatives for implementing finite-domain CLP on top of PROLOG and their applications, Dechter, Rina (ed.), Proceedings IJCAI-89 Workshop on Constraint Problem Solving, pages 172-175, IJCAI-89 Workshop on Constraint Problem Solving, Detroit, august 1989 BibTeX
  • De Schreye, Danny; Bruynooghe, Maurice. The compilation of forward checking regimes through meta-interpretation and transformation, Abramson, Harvey; Rogers, M.H (eds.), Meta-Programming in Logic Programming, pages 217-232, MIT Press, 1989, Workshop on Meta-Programming in Logic Programming, Bristol, UK, June 22-24, 1988 BibTeX
  • Demoen, Bart; Binot, J.; Hanne, K.; Solomon, L.; Vassiliou, Y.; von Hahn, W.; Wachtel, T.. LOKI: A logic oriented approach to data and knowledge bases supporting natural language interaction, Commission of the European Communities DG XIII, ; Innovation, Part 1 (eds.), Esprit '88 Putting the Technology to Use, pages 562-577, 1989 BibTeX
  • Demoen, Bart; Mariën, André; Callebaut, Allain. Indexing in Prolog, Proceedings of NACLP'89 (North American Conference on Logic Programming, Cleveland, Ohio), pages 1001-1012, 1989 BibTeX
  • Mariën, André; Demoen, Bart. On the management of choicepoint and environment frames in the WAM, Lusk, Ewing L.; Overbeek, Ross A (eds.), Logic Programming, Proceedings of the North American Conference 1989, pages 1030-1047, 1989, 1989 North American Conference on Logic Programming, Cleveland, Ohio, October 16-20 BibTeX
  • 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.), Proc. of the Sixth International Conference on Logic Programming, pages 33-47, MIT Press, Sixth International Conference on Logic Programming, Lisbon, Portugal, June 19-23, 1989 BibTeX
  • Sablon, Gunther; De Raedt, Luc; Bruynooghe, Maurice. Generalizing multiple examples in explanation based learning, Jantke, K.P (ed.), Lecture Notes in Computer Science, volume 397, pages 177-183, Springer, International Workshop on Analogical and Inductive Inference, Reinhardsbrunn Castle, Germany, 1-6 October 1989 DOI PDF BibTeX

Top

Internal reports

15 references
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • De Schreye, Danny; Martens, Bern; 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 BibTeX
  • 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 BibTeX
  • Demoen, Bart. A 20' implementation of catch and throw in WAM, CW Reports, volume CW96, 8 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1989 BibTeX
  • Demoen, Bart. The implementation of catch and throw in WAM: optimizations and alternatives, CW Reports, volume CW99, 8 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1989 BibTeX
  • Demoen, Bart; Mariën, André; Callebaut, Allain. Indexing Prolog clauses, CW Reports, volume CW95, 11 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1989 BibTeX
  • Denecker, Marc; Willems, Yves. Data Representation in Object Oriented Prolog Systems, CW Reports, volume CW98, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1989 BibTeX
  • 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 BibTeX
  • Mariën, André; Demoen, Bart. On the management of E and B in WAM, CW Reports, volume CW97, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1989 BibTeX
  • Martens, Bern; Willems, Yves. Readings in knowledge representation: a survey, with some comments on the role of logic, CW Reports, volume CW93, 20 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1989 BibTeX
  • Missiaen, Lode. Situation Calculus and Event Calculus in Modal Logic Z, CW Reports, volume CW85, 27 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1989 BibTeX

Top

 
Last update local database Sun Feb 26 2017 0:24 am; It contains now 12914 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