Publications DTAI

1992

Articles in internationally reviewed journals

14 references

• Bruynooghe, Maurice; De Schreye, Danny; Martens, Bernhard. A general criterion for avoiding infinite unfolding during partial deduction, New Generation Computing, volume 11, issue 1, pages 47-79, 1992

  @article{124088,
    author = "Bruynooghe, Maurice and De Schreye, Danny and Martens, Bernhard",
    title = "A general criterion for avoiding infinite unfolding during partial deduction",
    journal = "New Generation Computing",
    volume = "11",
    number = "1",
    pages = "47--79",
    year = "1992",
    doi = "10.1007/BF03037527",
    url = "https://lirias.kuleuven.be/handle/123456789/124088",
  }
  

• 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

  @article{133870,
    title = "Programming {L}anguage {I}mplementation and {L}ogic {P}rogramming, 4th {I}nternational {S}ymposium, {PLILP}'92, {P}roceedings",
    journal = "Lecture Notes in Computer Science",
    volume = "631",
    pages = "492",
    year = "1992",
    doi = "10.1007/3-540-55844-6",
    url = "https://lirias.kuleuven.be/handle/123456789/133870",
  }
  

• Bry, F.; Manthey, R.; Martens, Bernhard. Integrity verification in knowledge bases, Lecture Notes in Artificial Intelligence, volume 592, pages 114-139, 1992

  @article{125084,
    author = "Bry, F. and Manthey, R. and Martens, Bernhard",
    title = "Integrity verification in knowledge bases",
    journal = "Lecture Notes in Artificial Intelligence",
    volume = "592",
    pages = "114--139",
    year = "1992",
    doi = "10.1007/3-540-55460-2\_{}9",
    url = "https://lirias.kuleuven.be/handle/123456789/125084",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. Belief updating from integrity constraints and queries, Artificial Intelligence, volume 53, issue 2-3, pages 291-307, 1992

  @article{125092,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "Belief updating from integrity constraints and queries",
    journal = "Artificial Intelligence",
    volume = "53",
    number = "2-3",
    pages = "291--307",
    month = Feb,
    year = "1992",
    doi = "10.1016/0004-3702(92)90075-9",
    url = "https://lirias.kuleuven.be/handle/123456789/125092",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. A unifying framework for concept-learning algorithms, The Knowledge Engineering Review, volume 7, issue 3, pages 251-269, 1992

  @article{133186,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "A unifying framework for concept-learning algorithms",
    journal = "The Knowledge Engineering Review",
    volume = "7",
    number = "3",
    pages = "251--269",
    year = "1992",
    doi = "10.1017/S0269888900006366",
    url = "https://lirias.kuleuven.be/handle/123456789/133186",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. Interactive concept-learning and constructive induction by analogy, Machine Learning, volume 8, issue 2, pages 107-150, 1992

  @article{123780,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "Interactive concept-learning and constructive induction by analogy",
    journal = "Machine Learning",
    volume = "8",
    number = "2",
    pages = "107--150",
    month = Mar,
    year = "1992",
    doi = "10.1007/BF00992861",
    url = "https://lirias.kuleuven.be/handle/123456789/123780",
  }
  

• De Raedt, Luc; Feyaerts, J.; Bruynooghe, Maurice. Acquiring object-knowledge, Journal of Experimental and Theoretical Artificial Intelligence, volume 4, pages 213-232, 1992

  @article{133185,
    author = "De Raedt, Luc and Feyaerts, J. and Bruynooghe, Maurice",
    title = "Acquiring object-knowledge",
    journal = "Journal of Experimental and Theoretical Artificial Intelligence",
    volume = "4",
    pages = "213--232",
    year = "1992",
    doi = "10.1080/09528139208953748",
    url = "https://lirias.kuleuven.be/handle/123456789/133185",
  }
  

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

  @article{125433,
    author = "De Schreye, Danny and Martens, Bernhard",
    title = "A sensible least herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation",
    journal = "Lecture Notes in Computer Science",
    volume = "649",
    pages = "192--204",
    year = "1992",
    doi = "10.1007/3-540-56282-6\_{}13",
    url = "https://lirias.kuleuven.be/handle/123456789/125433",
  }
  

• De Schreye, Danny; Verschaetse, K.. Tutorial on termination of logic programs, Lecture Notes in Computer Science, volume 649, pages 70-88, 1992

  @article{125447,
    author = "De Schreye, Danny and Verschaetse, K.",
    title = "Tutorial on termination of logic programs",
    journal = "Lecture Notes in Computer Science",
    volume = "649",
    pages = "70--88",
    year = "1992",
    doi = "10.1007/3-540-56282-6\_{}5",
    url = "https://lirias.kuleuven.be/handle/123456789/125447",
  }
  

• Demoen, Bart; Mariën, André. Implementation of prolog as binary definite programs, Lecture Notes in Artificial Intelligence, volume 592, pages 165-176, 1992

  @article{125083,
    author = "Demoen, Bart and Mari{\"e}n, Andr{\'e}",
    title = "Implementation of prolog as binary definite programs",
    journal = "Lecture Notes in Artificial Intelligence",
    volume = "592",
    pages = "165--176",
    year = "1992",
    doi = "10.1007/3-540-55460-2\_{}12",
    url = "https://lirias.kuleuven.be/handle/123456789/125083",
  }
  

• 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

  @article{124442,
    author = "Janssens, Gerda and Bruynooghe, Maurice",
    title = "Deriving descriptions of possible values of program variables by means of abstract interpretation",
    journal = "Journal of Logic Programming",
    volume = "13",
    number = "2-3",
    pages = "205--258",
    month = Jul,
    year = "1992",
    doi = "10.1016/0743-1066(92)90032-X",
    url = "https://lirias.kuleuven.be/handle/123456789/124442",
  }
  

• Janssens, Gerda; Bruynooghe, Maurice. On abstracting the procedural behavior of logic programs, Lecture Notes in Computer Science, volume 592, pages 240-262, 1992

  @article{125080,
    author = "Janssens, Gerda and Bruynooghe, Maurice",
    title = "On abstracting the procedural behavior of logic programs",
    journal = "Lecture Notes in Computer Science",
    volume = "592",
    pages = "240--262",
    year = "1992",
    doi = "10.1007/3-540-55460-2\_{}18",
    url = "https://lirias.kuleuven.be/handle/123456789/125080",
  }
  

• Verschaetse, K.; De Schreye, Danny. Derivation of linear size relations by abstract interpretation, Lecture Notes in Computer Science, volume 631, pages 296-310, 1992

  @article{124305,
    author = "Verschaetse, K. and De Schreye, Danny",
    title = "Derivation of linear size relations by abstract interpretation",
    journal = "Lecture Notes in Computer Science",
    volume = "631",
    pages = "296--310",
    year = "1992",
    doi = "10.1007/3-540-55844-6\_{}102",
    url = "https://lirias.kuleuven.be/handle/123456789/124305",
  }
  

• Weemeeuw, P.; Demoen, Bart. Garbage collection in aurora - an overview, Lecture Notes in Computer Science, volume 637, pages 454-472, 1992

  @article{125435,
    author = "Weemeeuw, P. and Demoen, Bart",
    title = "Garbage collection in aurora - an overview",
    journal = "Lecture Notes in Computer Science",
    volume = "637",
    pages = "454--472",
    year = "1992",
    doi = "10.1007/BFb0017207",
    url = "https://lirias.kuleuven.be/handle/123456789/125435",
  }
  

Books, internationally recognised scientific publisher; as author

1 reference

• De Raedt, Luc. Interactive Theory Revision: an Inductive Logic Programming Approach, Academic Press, 1992

  @book{134657,
    author = "De Raedt, Luc",
    title = "Interactive {T}heory {R}evision: an {I}nductive {L}ogic {P}rogramming {A}pproach",
    publisher = "Academic Press",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134657",
  }
  

Article in book, internationally recognised scientific publisher

5 references

• Bruynooghe, Maurice; De Schreye, Danny. Meta Interpretation, Shapiro, S.C (ed.), John Wiley & Sons, 1992

  @incollection{134243,
    author = "Bruynooghe, Maurice and De Schreye, Danny",
    title = "Meta {I}nterpretation",
    editor = "Shapiro, S.C.",
    publisher = "John Wiley \& Sons",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134243",
  }
  

• Bruynooghe, Maurice; Venken, Raf. Backtracking, Shapiro, S.C (ed.), John Wiley & Sons, 1992

  @incollection{134244,
    author = "Bruynooghe, Maurice and Venken, Raf",
    title = "Backtracking",
    editor = "Shapiro, S.C.",
    publisher = "John Wiley \& Sons",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134244",
  }
  

• Bruynooghe, Maurice; Venken, Raf. Coroutines, Shapiro, S.C (ed.), John Wiley & Sons, 1992

  @incollection{134241,
    author = "Bruynooghe, Maurice and Venken, Raf",
    title = "Coroutines",
    editor = "Shapiro, S.C.",
    publisher = "John Wiley \& Sons",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134241",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. An overview of the interactive concept-learner and theory revisor CLINT, Muggleton, S (ed.), Academic Press, 1992

  @incollection{133557,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "An overview of the interactive concept-learner and theory revisor {CLINT}",
    editor = "Muggleton, S.",
    publisher = "Academic Press",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/133557",
  }
  

• Sablon, Gunther; Adé, Hilde; Bruynooghe, Maurice. Some Thoughts on inverse resolution, Muggleton, S (ed.), Academic Press, 1992

  @incollection{133556,
    author = "Sablon, Gunther and Ad{\'e}, Hilde and Bruynooghe, Maurice",
    title = "Some {T}houghts on inverse resolution",
    editor = "Muggleton, S.",
    publisher = "Academic Press",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/133556",
  }
  

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

23 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

  @inproceedings{167235,
    author = "Ad{\'e}, Hilde and Bruynooghe, Maurice",
    title = "A comparative study of declarative and dynamically adjustable language bias in concept learning",
    booktitle = "Proceedings of ML92 Workshop on Biases in Inductive Learning, ",
    pages = "1--14",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/167235",
  }
  

• 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

  @inproceedings{132529,
    author = "Ad{\'e}, Hilde and Bruynooghe, Maurice",
    title = "A comparative study of declarative and dynamically adjustable language bias in concept learning",
    booktitle = "Proceedings of the ECAI92 Workshop : Logical Approaches to Machine Learning (Vienna, Austria, August 1992), ",
    pages = "1--5",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132529",
  }
  

• Barbuti, R.; Codish, Michael; Giacobazzi, R.; Maher, Michael. Oracle semantics for Prolog, Proc. of the Third International Conference on Algebraic and Logic Programming, pages 100-114, 1992

  @inproceedings{134446,
    author = "Barbuti, R. and Codish, Michael and Giacobazzi, R. and Maher, Michael",
    title = "Oracle semantics for {P}rolog",
    booktitle = "Proc. of the Third International Conference on Algebraic and Logic Programming",
    pages = "100--114",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134446",
  }
  

• 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

  @inproceedings{125424,
    author = "Bruynooghe, Maurice and Janssens, Gerda",
    title = "Propagation - a new operation in a framework for abstract interpretation of logic programs",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer verlag",
    pages = "294--307",
    year = "1992",
    doi = "10.1007/3-540-56282-6\_{}20",
    url = "https://lirias.kuleuven.be/handle/123456789/125424",
  }
  

• 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

  @inproceedings{166716,
    author = "Bruynooghe, Maurice and Janssens, Gerda",
    title = "Propagation : a new operation in a framework for abstract interpretation of logic programs",
    booktitle = "Proceedings of Third International Workshop on Metaprogramming in Logic (META-92) (Preliminary Proceedings), ",
    editor = "Pettorossi, Alberto and Barklund, Jonas",
    pages = "238--252",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/166716",
  }
  

• Codish, Michael; Falaschi, M.; Marriott, K.; Winsborough, W.. Efficient analysis of reactive properties of concurrent constraint logic programs, Proc. of the Second International Workshop on Static Program Analysis, 1992

  @inproceedings{134445,
    author = "Codish, Michael and Falaschi, M. and Marriott, K. and Winsborough, W.",
    title = "Efficient analysis of reactive properties of concurrent constraint logic programs",
    booktitle = "Proc. of the Second International Workshop on Static Program Analysis",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134445",
  }
  

• 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

  @inproceedings{134475,
    author = "De Raedt, Luc",
    title = "Inductive logic programming: an introduction",
    booktitle = "Proc. of the 14th International Conference on Information Technology Interfaces, ",
    pages = "17--22",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134475",
  }
  

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

  @inproceedings{166752,
    author = "De Schreye, Danny and Martens, Bernhard",
    title = "A sensible {L}east {H}erbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation",
    booktitle = "Proc. of the Third International Workshop on Meta-programming in Logic, Meta92",
    editor = "Pettorossi, A.",
    pages = "192--204",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/166752",
  }
  

• 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

  @inproceedings{131117,
    author = "De Schreye, Danny and Verschaetse, Christophe",
    title = "Tutorial notes on termination of logic programs",
    booktitle = "Proc. of the Third International Workshop on Meta-programming in Logic, Meta92",
    editor = "Pettorossi, A.",
    pages = "70--88",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131117",
  }
  

• 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

  @inproceedings{132737,
    author = "De Schreye, Danny and Verschaetse, Christophe and Bruynooghe, Maurice",
    title = "A framework for analysing the termination of definite logic programs with respect to call patterns",
    booktitle = "Fifth Generation Computer Systems '92: Proceedings of the International Conference on Fifth Generation Computer Systems, ",
    pages = "481--488",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132737",
  }
  

• 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

  @inproceedings{132676,
    author = "Demoen, Bart",
    title = "On the transformation of a {P}rolog program to a more efficient binary program",
    booktitle = "Proceedings of the LOPSTR'92 Workshop, Manchester, July 1992",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132676",
  }
  

• 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

  @inproceedings{132738,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "On the duality of abduction and model generation",
    booktitle = "Proc. of the International Conference on Fifth Generation Computer Systems, FGCS92, ",
    editor = "ICOT",
    pages = "650--657",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132738",
  }
  

• 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

  @inproceedings{132989,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "Temporal reasoning with {A}bductive {E}vent {C}alculus; extended abstract in proceedings",
    booktitle = "Proceedings First Compulog-Net Workshop on Logic Programming in AI, ",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132989",
  }
  

• 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

  @inproceedings{132884,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "{SLDNFA}: an abductive procedure for normal abductive programs",
    booktitle = "Proc. of the International Joint Conference and Symposium on Logic Programming, ",
    editor = "Apt, K.R.",
    pages = "686--700",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132884",
  }
  

• 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

  @inproceedings{131375,
    author = "Denecker, Marc and Missiaen, Lode and Bruynooghe, Maurice",
    title = "Temporal reasoning with abductive event calculus",
    booktitle = "Proceedings of the 10th European Conference on Artificial Intelligence, ECAI92, ",
    editor = "Neumann, Bernd",
    publisher = "John Wiley and Sons",
    location = "Chichester",
    pages = "384--388",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131375",
  }
  

• 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

  @inproceedings{132499,
    author = "Dumortier, Veroniek and Janssens, Gerda and Bruynooghe, Maurice",
    title = "Detection of free variables in the presence of numeric constraints",
    booktitle = "Proceedings of JICSLP'92 Post-conference Workshop on CLP, ",
    pages = "105--118",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132499",
  }
  

• 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

  @inproceedings{132227,
    author = "Dumortier, Veroniek and Janssens, Gerda and Bruynooghe, Maurice",
    title = "Detection of free variables in numeric constraints by means of abstract interpretation",
    booktitle = "Benelog'92 Workshop on Logic Programming, ",
    pages = "1--14",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132227",
  }
  

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

  @inproceedings{166875,
    author = "Martens, Bernhard and De Schreye, Danny",
    title = "A perfect {H}erbrand semantics for untyped vanilla meta-programming",
    booktitle = "Proceedings of Joint International Conference and Symposium on Logic Programming, Washington, November 1992",
    editor = "Apt, K.",
    pages = "511--525",
    month = Nov,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/166875",
  }
  

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

  @inproceedings{166823,
    author = "Martens, Bernhard and De Schreye, Danny and Bruynooghe, Maurice",
    title = "Sound and complete partial deduction with unfolding based on well-founded measures",
    booktitle = "Fifth Generation Computer Systems '92: Proceedings of the International Conference on Fifth Generation Computer Systems., ",
    pages = "473--480",
    month = Jun,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/166823",
  }
  

• 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

  @inproceedings{133673,
    author = "Mulkers, Anne and Winsborough, Will and Bruynooghe, Maurice",
    title = "Static analysis of logic programs to detect run-time garbage cells",
    booktitle = "Proceedings of the International Conference on Computer Systems and Software Engineering (COMPEURO'92), ",
    editor = "Dewilde, Patrickl and Vandewalle, Joseph",
    pages = "526--531",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/133673",
  }
  

• 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

  @inproceedings{134476,
    author = "Rouveirol, C. and De Raedt, Luc",
    title = "The use of backgroundknowledge for generalisation in {ILP}",
    booktitle = "Proc. of the ECAI Workshop on Logical Approaches to Machine Learning, Vienna, ",
    pages = "6",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134476",
  }
  

• 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

  @inproceedings{132671,
    author = "Van Holder, Wim and De Raedt, Luc and Ad{\'e}, Hilde and Sablon, Gunther and Bruynooghe, Maurice and Willems, Yves",
    title = "Mac{CLINT}: an interactive machine learning system",
    booktitle = "Proc. of the European Apple University Consortium Conference, ",
    pages = "67--70",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132671",
  }
  

• 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

  @inproceedings{132864,
    author = "Verschaetse, Christophe and De Schreye, Danny and Decorte, Stefaan",
    title = "Automatic termination analysis",
    booktitle = "Proc. of the Second International Workshop on Logic Program Synthesis and Transformation, LOPSTR92",
    editor = "Lau, K. and Clement, T.",
    pages = "11",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132864",
  }
  

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

  @unpublished{167198,
    author = "Ad{\'e}, Hilde and De Raedt, Luc and Bruynooghe, Maurice",
    title = "Inverse resolution in an integrated inductive-deductive learning system",
    note = "The 10th European Conference on Artificial Intelligence, Vienna, Austria, 3-7 August 1992",
    booktitle = "10th European Conference on Artificial Intelligence, ECAI 92, Proceedings",
    publisher = "John Wiley and Sons",
    pages = "456--457",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/167198",
  }
  

• 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

  @unpublished{167194,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "A clausal discovery engine",
    note = "First Esprit Compulog Network Workshop on Logic Programming and Artificial Intelligence, London, UK, 23-24 March 1992",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/167194",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. A clausal discovery engine, International School for the Synthesis of Expert Knowledge, Bled, Slovenia, September 3-51992

  @unpublished{167196,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "A clausal discovery engine",
    note = "International School for the Synthesis of Expert Knowledge, Bled, Slovenia, September 3-51992",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/167196",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. A clausal discovery engine, ECAI Workshop on Logical Approaches to Machine Learning, Vienna, Austria, 3-7 August 1992

  @unpublished{134108,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "A clausal discovery engine",
    note = "ECAI Workshop on Logical Approaches to Machine Learning, Vienna, Austria, 3-7 August 1992",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134108",
  }
  

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)

  @phdthesis{134584,
    author = "Verschaetse, Christophe",
    title = "Static termination analysis for definite {H}orn clause programs",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    month = Jun,
    year = "1992",
    note = "De Schreye, Danny and Denef, Jan (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134584",
  }
  

Internal reports

26 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

  @techreport{132110,
    author = "Ad{\'e}, Hilde and De Raedt, Luc and Bruynooghe, Maurice",
    title = "Inverse resolution in an integrated inductive-deductive learning system",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW155",
    month = Sep,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132110",
  }
  

• Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Maher, Michael. Oracle semantics for Prolog, CW Reports, volume CW152, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1992

  @techreport{270798,
    author = "Barbuti, Roberto and Codish, Michael and Giacobazzi, Roberto and Maher, Michael",
    title = "Oracle semantics for {P}rolog",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW152",
    month = Sep,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/270798",
  }
  

• 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

  @techreport{132039,
    author = "Boulanger, Dmitri and Bruynooghe, Maurice",
    title = "Deriving fold/unfold transformation of logic programs using extended {OLDT}-based abstractinterpretation",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW163",
    month = Nov,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132039",
  }
  

• 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

  @techreport{167008,
    author = "Bruynooghe, Maurice and Janssens, Gerda",
    title = "Propagation: a new operation in a framework for abstract interpretation of logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW146",
    month = Mar,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/167008",
  }
  

• Bruynooghe, Maurice; Winsborough, Will. Type graph unification, CW Reports, volume CW160, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1992

  @techreport{132712,
    author = "Bruynooghe, Maurice and Winsborough, Will",
    title = "Type graph unification",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW160",
    month = Nov,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132712",
  }
  

• 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

  @techreport{132084,
    author = "Codish, Michael and Dams, Denis and Fil{\'e}, Gilberto and Bruynooghe, Maurice",
    title = "Freeness analysis for logic programs - and correctness",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW161",
    month = Dec,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132084",
  }
  

• Codish, Michael; Debray, S.; Giacobazzi, R.. Compositional analysis of modular logic programs, CW Reports, volume CW154, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1992

  @techreport{134623,
    author = "Codish, Michael and Debray, S. and Giacobazzi, R.",
    title = "Compositional analysis of modular logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW154",
    month = Sep,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134623",
  }
  

• Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William. Efficient analysis of concurrent constraint logic programs, CW Reports, volume CW153, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1992

  @techreport{270795,
    author = "Codish, Michael and Falaschi, Moreno and Marriott, Kim and Winsborough, William",
    title = "Efficient analysis of concurrent constraint logic programs",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW153",
    month = Sep,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/270795",
  }
  

• 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

  @techreport{132104,
    author = "Codish, Michael and Mulkers, Anne and Bruynooghe, Maurice",
    title = "Improving abstract interpretations by combining domains",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW162",
    month = Dec,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132104",
  }
  

• 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

  @techreport{131617,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "A theory of clausal discovery",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW164",
    month = Oct,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131617",
  }
  

• 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

  @techreport{134631,
    author = "De Raedt, Luc and Lavrac, N. and Dzeroski, Saso",
    title = "Multiple predicate learning",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW165",
    month = Oct,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134631",
  }
  

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

  @techreport{166940,
    author = "De Schreye, Danny and Martens, Bernhard",
    title = "A sensible least {H}erbrand semantics for untyped {V}anilla {M}eta-programming and its extension to a limited form of amalgamation",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW142",
    month = Feb,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/166940",
  }
  

• 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

  @techreport{132607,
    author = "De Schreye, Danny and Verschaetse, Christophe",
    title = "Termination of logic programs: tutorial notes",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW148",
    month = May,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132607",
  }
  

• 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

  @techreport{131853,
    author = "Demoen, Bart and Mari{\"e}n, Andr{\'e}",
    title = "Can {P}rolog execute as fast as {A}quarius",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW144",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131853",
  }
  

• 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

  @techreport{131564,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "A family of abductive procedures for normal abductive programs, their soundness and completeness",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW136",
    month = May,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131564",
  }
  

• 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

  @techreport{132107,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "Justification semantics: a unifying framework for the semantics of logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW157",
    month = Nov,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132107",
  }
  

• 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

  @techreport{132034,
    author = "Dumortier, Veroniek and Janssens, Gerda and Bruynooghe, Maurice",
    title = "Detection of free variables in the presence of numeric constraints by means of abstractinterpretation",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW145",
    month = Mar,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132034",
  }
  

• 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

  @techreport{132083,
    author = "Dumortier, Veroniek and Janssens, Gerda and Bruynooghe, Maurice and Codish, Michael",
    title = "Freeness analysis in the presence of numerical constraints",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW158",
    month = Nov,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132083",
  }
  

• 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

  @techreport{131606,
    author = "Janssens, Gerda and Hermenegildo, Manuel and Bueno, F. and Garc{\'{\i}}a de la Banda, M. and Mulkers, Anne",
    title = "A review of some abstract interpretation systems",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW143",
    month = Feb,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131606",
  }
  

• Kovacic, M.; Lavrac, N.; Grobelnik, M.; Zupanic, D.; Mladenic, D.. Stochastic search in inductive logic programming, CW Reports, volume CW141, 5 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1992

  @techreport{134640,
    author = "Kovacic, M. and Lavrac, N. and Grobelnik, M. and Zupanic, D. and Mladenic, D.",
    title = "Stochastic search in inductive logic programming",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW141",
    month = Jan,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134640",
  }
  

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

  @techreport{131614,
    author = "Martens, Bernhard and De Schreye, Danny",
    title = "A perfect {H}erbrand semantics for untyped vanilla meta-programming",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW149",
    month = Jul,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131614",
  }
  

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

  @techreport{132534,
    author = "Martens, Bernhard and De Schreye, Danny",
    title = "Sound and complete partial deduction with unfolding based on well-founded measures",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW137",
    month = Jan,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132534",
  }
  

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

  @techreport{132762,
    author = "Martens, Bernhard and De Schreye, Danny",
    title = "Why untyped non-ground meta-programming is not (much of) of problem",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW159",
    month = Dec,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132762",
  }
  

• Mladenic, D.; Zupanic, D.; Grobelnik, M.; Lavrac, N.. Stochastic search in inductive concept learning, CW Reports, volume CW140, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1992

  @techreport{134641,
    author = "Mladenic, D. and Zupanic, D. and Grobelnik, M. and Lavrac, N.",
    title = "Stochastic search in inductive concept learning",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW140",
    month = Jan,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134641",
  }
  

• 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

  @techreport{131844,
    author = "Verschaetse, Christophe and De Schreye, Danny",
    title = "Automatic derivation of linear size relations",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW139",
    month = Jan,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131844",
  }
  

• 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

  @techreport{132609,
    author = "Verschaetse, Christophe and De Schreye, Danny",
    title = "Termination analysis of definite logic programs with respect to call patterns",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW138",
    month = Jan,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132609",
  }
  

 
Last update local database Sun Jun 16 2013 0:17 am; It contains now 9772 items.

Yearly overview: