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

  @article{124761,
    author = "Bruynooghe, Maurice and De Schreye, Danny and Krekels, B.",
    title = "Compiling control",
    journal = "Journal of Logic Programming",
    volume = "6",
    number = "1-2",
    pages = "135--162",
    month = Jan,
    year = "1989",
    doi = "10.1016/0743-1066(89)90033-2",
    url = "https://lirias.kuleuven.be/handle/123456789/124761",
  }
  

• 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

  @article{124722,
    author = "De Schreye, Danny and Bruynooghe, Maurice",
    title = "An application of abstract interpretation in source level program transformation",
    journal = "Lecture Notes in Computer Science",
    volume = "348",
    pages = "35--57",
    year = "1989",
    doi = "10.1007/3-540-50820-1\_{}39",
    url = "https://lirias.kuleuven.be/handle/123456789/124722",
  }
  

• 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

  @article{124516,
    author = "De Schreye, Danny and Bruynooghe, Maurice",
    title = "On the transformation of logic programs with instantiation based computation rules",
    journal = "Journal of Symbolic Computation",
    volume = "7",
    number = "2",
    pages = "125--154",
    month = Feb,
    year = "1989",
    doi = "10.1016/S0747-7171(89)80046-X",
    url = "https://lirias.kuleuven.be/handle/123456789/124516",
  }
  

• 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

  @article{124032,
    author = "De Schreye, Danny and Bruynooghe, Maurice and Verschaetse, K.",
    title = "On the existence of nonterminating queries for a restricted class of prolog-clauses",
    journal = "Artificial Intelligence",
    volume = "41",
    number = "2",
    pages = "237--248",
    month = Dec,
    year = "1989",
    doi = "10.1016/0004-3702(89)90012-X",
    url = "https://lirias.kuleuven.be/handle/123456789/124032",
  }
  

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

  @inproceedings{166923,
    author = "Bruynooghe, Maurice and De Raedt, Luc and De Schreye, Danny",
    title = "Explanation based program transformation",
    booktitle = "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI 1989), ",
    editor = "Sridharan, N.S.",
    publisher = "Morgan Kaufmann",
    pages = "407--412",
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/166923",
  }
  

• 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

  @inproceedings{166888,
    author = "Bruynooghe, Maurice and De Schreye, Danny",
    title = "Some thoughts on the role of examples in program transformation and its relevance for explanation-based learning",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Jantke, K.P.",
    publisher = "Springer",
    pages = "60--77",
    year = "1989",
    doi = "10.1007/3-540-51734-0\_{}52",
    url = "https://lirias.kuleuven.be/handle/123456789/166888",
  }
  

• 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

  @inproceedings{131322,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "Constructive induction by analogy",
    booktitle = "Proc. of the Sixth International Workshop on Machine Learning, ",
    editor = "Segre, A.M.",
    publisher = "Morgan Kaufmann",
    pages = "476--477",
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/131322",
  }
  

• 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

  @inproceedings{132898,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "Constructive {I}nduction by {A}nalogy : a method to learn how to learn",
    booktitle = "EWSL89 Proceedings of the 4th European Working Session on Learning, ",
    editor = "Morik, Katharina",
    publisher = "Pitman. Morgan Kaufmann",
    pages = "189--200",
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132898",
  }
  

• 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

  @inproceedings{166827,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "On explanation and bias in inductive concept-learning",
    booktitle = "EKAW'89: Third European Workshop on Knowledge Acquisition for Knowledge-Based Systems, ",
    editor = "Boose, J. and Gaines, B. and Ganascia, J.G.",
    pages = "338--353",
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/166827",
  }
  

• 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

  @inproceedings{133590,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "Towards friendly concept-learners",
    booktitle = "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI 1989), ",
    editor = "Sridharan, N.S.",
    publisher = "Morgan Kaufmann",
    pages = "849--854",
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/133590",
  }
  

• 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

  @inproceedings{133979,
    author = "De Schreye, Danny and Bruynooghe, Maurice",
    title = "Some alternatives for implementing finite-domain {CLP} on top of {PROLOG} and their applications",
    booktitle = "Proceedings IJCAI-89 Workshop on Constraint Problem Solving, ",
    editor = "Dechter, Rina",
    pages = "172--175",
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/133979",
  }
  

• 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

  @inproceedings{132542,
    author = "De Schreye, Danny and Bruynooghe, Maurice",
    title = "The compilation of forward checking regimes through meta-interpretation and transformation",
    booktitle = "Meta-Programming in Logic Programming, ",
    editor = "Abramson, Harvey and Rogers, M.H.",
    publisher = "MIT Press",
    pages = "217--232",
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132542",
  }
  

• 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

  @inproceedings{131676,
    author = "Demoen, Bart and Binot, J. and Hanne, K. and Solomon, L. and Vassiliou, Y. and von Hahn, W. and Wachtel, T.",
    title = "{LOKI}: {A} logic oriented approach to data and knowledge bases supporting natural language interaction",
    booktitle = "Esprit '88 Putting the Technology to Use",
    editor = "Commission of the European Communities DG XIII,  and Innovation, Part 1.",
    pages = "562--577",
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/131676",
  }
  

• 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

  @inproceedings{132691,
    author = "Demoen, Bart and Mari{\"e}n, Andr{\'e} and Callebaut, Allain",
    title = "Indexing in {P}rolog",
    booktitle = "Proceedings of NACLP'89 (North American Conference on Logic Programming, Cleveland, Ohio)",
    pages = "1001--1012",
    month = Oct,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132691",
  }
  

• 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

  @inproceedings{134417,
    author = "Mari{\"e}n, Andr{\'e} and Demoen, Bart",
    title = "On the management of choicepoint and environment frames in the {WAM}",
    booktitle = "Logic Programming, Proceedings of the North American Conference 1989, ",
    editor = "Lusk, Ewing L. and Overbeek, Ross A.",
    pages = "1030--1047",
    month = Oct,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/134417",
  }
  

• 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

  @inproceedings{132319,
    author = "Mari{\"e}n, Andr{\'e} and Janssens, Gerda and Mulkers, Anne and Bruynooghe, Maurice",
    title = "The impact of abstract interpretation on code generation: an experiment in code generation",
    booktitle = "Proc. of the Sixth International Conference on Logic Programming, ",
    editor = "Levi, G. and Martelli, M.",
    publisher = "MIT Press",
    pages = "33--47",
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132319",
  }
  

• 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

  @inproceedings{132881,
    author = "Sablon, Gunther and De Raedt, Luc and Bruynooghe, Maurice",
    title = "Generalizing multiple examples in explanation based learning",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Jantke, K.P.",
    publisher = "Springer",
    pages = "177--183",
    year = "1989",
    doi = "10.1007/3-540-51734-0\_{}60",
    url = "https://lirias.kuleuven.be/handle/123456789/132881",
  }
  

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

  @techreport{132061,
    author = "Bruynooghe, Maurice and De Raedt, Luc and De Schreye, Danny",
    title = "Explanation based program transformation",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW89",
    month = Apr,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132061",
  }
  

• 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

  @techreport{132536,
    author = "Bruynooghe, Maurice and De Schreye, Danny",
    title = "Some thoughts on the role of examples in program transformation and its relevance forexplanation-based learning",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW94",
    month = Jun,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132536",
  }
  

• 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

  @techreport{132326,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "On explanation and {B}ias in inductive concept-learning",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW101",
    month = Jan,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132326",
  }
  

• 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

  @techreport{166950,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "Constructive induction by analogy",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW87",
    month = Feb,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/166950",
  }
  

• 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

  @techreport{167002,
    author = "De Schreye, Danny and Bruynooghe, Maurice and Verschaetse, Christophe",
    title = "On the existence of non-terminating queries for a restricted class of {P}rolog-clauses",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW90",
    month = Apr,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/167002",
  }
  

• De Schreye, Danny; Martens, Bernhard; 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

  @techreport{131849,
    author = "De Schreye, Danny and Martens, Bernhard and Sablon, Gunther and Bruynooghe, Maurice",
    title = "Compiling bottom-up and mixed derivations into top-down executable logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW103",
    month = Nov,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/131849",
  }
  

• 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

  @techreport{132105,
    author = "De Schreye, Danny and Pollet, D. and Ronsyn, J. and Bruynooghe, Maurice",
    title = "Implementing finite-domain constraint logic programming on top of a {P}rolog-system withdelay-mechanism",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW104",
    month = Dec,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132105",
  }
  

• 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

  @techreport{131586,
    author = "Demoen, Bart",
    title = "A 20' implementation of catch and throw in {WAM}",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW96",
    month = Jun,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/131586",
  }
  

• 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

  @techreport{132682,
    author = "Demoen, Bart",
    title = "The implementation of catch and throw in {WAM}: optimizations and alternatives",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW99",
    month = Jun,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132682",
  }
  

• 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

  @techreport{132099,
    author = "Demoen, Bart and Mari{\"e}n, Andr{\'e} and Callebaut, Allain",
    title = "Indexing {P}rolog clauses",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW95",
    month = Jun,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132099",
  }
  

• 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

  @techreport{131874,
    author = "Denecker, Marc and Willems, Yves",
    title = "Data {R}epresentation in {O}bject {O}riented {P}rolog {S}ystems",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW98",
    month = Sep,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/131874",
  }
  

• 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

  @techreport{131812,
    author = "Janssens, Gerda and Bruynooghe, Maurice",
    title = "An application of abstract interpretation: integrated type and mode inferencing",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW86",
    month = Apr,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/131812",
  }
  

• 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

  @techreport{132346,
    author = "Mari{\"e}n, Andr{\'e} and Demoen, Bart",
    title = "On the management of {E} and {B} in {WAM}",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW97",
    month = Jun,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132346",
  }
  

• Martens, Bernhard; 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

  @techreport{132409,
    author = "Martens, Bernhard and Willems, Yves",
    title = "Readings in knowledge representation: a survey, with some comments on the role of logic",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW93",
    month = Jun,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/132409",
  }
  

• 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

  @techreport{134638,
    author = "Missiaen, Lode",
    title = "Situation {C}alculus and {E}vent {C}alculus in {M}odal {L}ogic {Z}",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW85",
    month = Mar,
    year = "1989",
    url = "https://lirias.kuleuven.be/handle/123456789/134638",
  }
  

 
Last update local database Sun May 19 2013 0:18 am; It contains now 9737 items.

Yearly overview: