Publications DTAI

1988

Articles in internationally reviewed journals

2 references
  • Venken, R.; Demoen, Bart. A partial evaluation system for prolog - some practical considerations, New Generation Computing, volume 6, issue 2-3, pages 279-290, 1988 DOI BibTeX
  • 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 DOI PDF BibTeX

Top

Articles in other journals

1 reference
  • Missiaen, Lode; Willems, Yves. Kunstmatige intelligentie. Deel 2, School en Computer, volume 8, issue 1, pages 2-6, 1988 BibTeX

Top

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

6 references
  • 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 BibTeX
  • 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 PDF BibTeX
  • 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 BibTeX
  • Janssens, Gerda; Demoen, Bart; Mariën, André. Improving the register allocation of WAM by reordering unification, Kowalski, R.; Bowen, K (eds.), Logic Programming: Proceedings of the Fifth International Conference and Symposium, pages 1388-1402, 1988 BibTeX
  • Martens, Bern; 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 BibTeX
  • 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 BibTeX

Top

Meeting abstracts, presented at international conferences and symposia

1 reference
  • 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 BibTeX

Top

Thesis

1 reference

Top

Internal reports

8 references
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX
  • Janssens, Gerda; Demoen, Bart; Mariën, André. Improving the register allocation in WAM by reordering unification, CW Reports, volume CW71, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1988 BibTeX
  • Martens, Bern; 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

Top

 
Last update local database Sun Sep 21 2014 0:19 am; It contains now 10691 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