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.), 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 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.), International Workshop on Analogical and Inductive Inference, Reinhardbrunn Castle, Germany, October 1989, Lecture Notes in Computer Science, volume 397, pages 60-77, Springer DOI PDF BibTeX
  • 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 BibTeX
  • 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 PDF BibTeX
  • 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 BibTeX
  • 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 PDF BibTeX
  • 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 BibTeX
  • 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 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.), 1989 North American Conference on Logic Programming, Cleveland, Ohio, October 16-20, Logic Programming, Proceedings of the North American Conference 1989, pages 1030-1047, 1989 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.), 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 BibTeX
  • 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 DOI PDF BibTeX

Top

Internal reports

14 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

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

Search collection COMPUTER SCIENCE

Bibtexs of this page