Publications DTAI

1990

Articles in internationally reviewed journals

5 references

• Daels, J.; Bruynooghe, Maurice. Criteria for stopping unfolding during partial evaluation, CCAI: Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology, volume 7, pages 345-362, 1990

  @article{132920,
    author = "Daels, J. and Bruynooghe, Maurice",
    title = "Criteria for stopping unfolding during partial evaluation",
    journal = "CCAI: Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology",
    volume = "7",
    pages = "345--362",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132920",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. Indirect relevance and bias in inductive concept learning, Knowledge Acquisition, volume 2, pages 365-390, 1990

  @article{133187,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "Indirect relevance and bias in inductive concept learning",
    journal = "Knowledge Acquisition",
    volume = "2",
    pages = "365--390",
    year = "1990",
    doi = "10.1016/S1042-8143(05)80014-7",
    url = "https://lirias.kuleuven.be/handle/123456789/133187",
  }
  

• De Schreye, Danny; Pollet, Dirk; Ronsyn, Johan; Bruynooghe, Maurice. Implementing finite-domain constraint logic programming on top of a prolog-system with delay-mechanism, Lecture Notes in Computer Science, volume 432, pages 106-117, 1990

  @article{166921,
    author = "De Schreye, Danny and Pollet, Dirk and Ronsyn, Johan and Bruynooghe, Maurice",
    title = "Implementing finite-domain constraint logic programming on top of a prolog-system with delay-mechanism",
    journal = "Lecture Notes in Computer Science",
    volume = "432",
    pages = "106--117",
    year = "1990",
    doi = "10.1007/3-540-52592-0\_{}58",
    url = "https://lirias.kuleuven.be/handle/123456789/166921",
  }
  

• Denecker, Marc; De Schreye, Danny; Willems, Yves. Terms in Logic programs: a problem with their semantics and its effect on the programming methodology, CCAI: Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology, volume 7, issue 3-4, pages 363-383, 1990

  @article{133188,
    author = "Denecker, Marc and De Schreye, Danny and Willems, Yves",
    title = "Terms in {L}ogic programs: a problem with their semantics and its effect on the programming methodology",
    journal = "CCAI: Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology",
    volume = "7",
    number = "3-4",
    pages = "363--383",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/133188",
  }
  

• Dumortier, Veroniek; Bruynooghe, Maurice. On the automatic-generation of events in delta prolog, Lecture Notes in Computer Science, volume 456, pages 324-339, 1990

  @article{125333,
    author = "Dumortier, Veroniek and Bruynooghe, Maurice",
    title = "On the automatic-generation of events in delta prolog",
    journal = "Lecture Notes in Computer Science",
    volume = "456",
    pages = "324--339",
    year = "1990",
    doi = "10.1007/BFb0024193",
    url = "https://lirias.kuleuven.be/handle/123456789/125333",
  }
  

Articles in other journals

1 reference

• De Schreye, Danny; Bruynooghe, Maurice; Verschaetse, Christophe. Een vergelijking van methoden voor het opsplitsen van de logica- en de controle-componenten in logische programmeertalen, Informatie, volume 32, pages 364-378, 1990

  @article{132912,
    author = "De Schreye, Danny and Bruynooghe, Maurice and Verschaetse, Christophe",
    title = "Een vergelijking van methoden voor het opsplitsen van de logica- en de controle-componenten in logische programmeertalen",
    journal = "Informatie",
    volume = "32",
    pages = "364--378",
    month = Apr,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132912",
  }
  

Books, internationally recognised scientific publisher; as editor

1 reference

• Bruynooghe, Maurice (ed.), Proceedings of the Second Workshop on Meta-Programming in Logic, Second Workshop on Meta-Programming in Logic, Leuven, Belgium, April 4-6 1990, 396 pages, K.U.Leuven, Department of Computer Science, 1990

  @book{133856,
    editor = "Bruynooghe, Maurice",
    title = "Proceedings of the {S}econd {W}orkshop on {M}eta-{P}rogramming in {L}ogic",
    publisher = "K.U.Leuven, Department of Computer Science",
    pages = "396",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/133856",
  }
  

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

11 references

• De Raedt, Luc; Bruynooghe, Maurice. On negation and three-valued logic in interactive concept-learning, Aiello, L (ed.), 9th European Conference on Artificial Intelligence, Stockholm, Sweden, August 6-10, 1990, Proceedings ECAI90: 9th European Conference on Artificial Intelligence, pages 207-212

  @inproceedings{133049,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "On negation and three-valued logic in interactive concept-learning",
    booktitle = "Proceedings ECAI90: 9th European Conference on Artificial Intelligence, ",
    editor = "Aiello, L.",
    pages = "207--212",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/133049",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. Interactief leren van concepten: een overzicht, Van den Herik, H.J.; Mars, N.J.I (eds.), Nederlandstalige AI-Conferentie, Proceedings NAIC'90: Derde Nederlandstalige AI-Conferentie, pages 115-125, 1990

  @inproceedings{132611,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "Interactief leren van concepten: een overzicht",
    booktitle = "Proceedings NAIC'90: Derde Nederlandstalige AI-Conferentie, ",
    editor = "Van den Herik, H.J. and Mars, N.J.I.",
    pages = "115--125",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132611",
  }
  

• De Raedt, Luc; Vandersmissen, B.; Denecker, Marc; Bruynooghe, Maurice. A hybrid approach to learning and its knowledge representation, Cognitiva'90, 1990, Proceedings of Cognitiva'90, pages 409-416

  @inproceedings{132672,
    author = "De Raedt, Luc and Vandersmissen, B. and Denecker, Marc and Bruynooghe, Maurice",
    title = "A hybrid approach to learning and its knowledge representation",
    booktitle = "Proceedings of Cognitiva'90, ",
    pages = "409--416",
    month = Nov,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132672",
  }
  

• De Schreye, Danny; Martens, Bernhard; Sablon, Gunther; Bruynooghe, Maurice. Compiling bottom-up and mixed derivations into top-down executable logic programs, Bruynooghe, Maurice (ed.), Second Workshop on Meta-programming in Logic, Leuven, Belgium, April 4-6, 1990, Proceedings of the Second Workshop on Meta-Programming in Logic, pages 37-56

  @inproceedings{133262,
    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",
    booktitle = "Proceedings of the Second Workshop on Meta-Programming in Logic, ",
    editor = "Bruynooghe, Maurice",
    pages = "37--56",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/133262",
  }
  

• De Schreye, Danny; Verschaetse, Christophe; Bruynooghe, Maurice. A practical technique for detecting non-terminating queries for a restricted class of Horn Clauses, using directed, weighted graphs, Warren, D.H.D.; Szeredi, P (eds.), Seventh International Conference on Logic Programming, Jerusalem, Israel, June 18-20, 1990, Logic Programming : Proceedings of the Seventh International Conference, pages 649-663, MIT Press

  @inproceedings{166777,
    author = "De Schreye, Danny and Verschaetse, Christophe and Bruynooghe, Maurice",
    title = "A practical technique for detecting non-terminating queries for a restricted class of {H}orn {C}lauses, using directed, weighted graphs",
    booktitle = "Logic Programming : Proceedings of the Seventh International Conference, ",
    editor = "Warren, D.H.D. and Szeredi, P.",
    publisher = "MIT Press",
    pages = "649--663",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/166777",
  }
  

• Gallagher, John P.; Bruynooghe, Maurice. Some low-level source transformations of logic programs, bruynooghe, Maurice (ed.), Second Workshop on Meta-programming in Logic, Leuven, Belgium, April 4-6, 1990, Proceedings of the Second Workshop on Meta-Programming in Logic, pages 229-244

  @inproceedings{133264,
    author = "Gallagher, John P. and Bruynooghe, Maurice",
    title = "Some low-level source transformations of logic programs",
    booktitle = "Proceedings of the Second Workshop on Meta-Programming in Logic, ",
    editor = "bruynooghe, Maurice",
    pages = "229--244",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/133264",
  }
  

• Gallagher, John P.; Bruynooghe, Maurice. The derivation of an algorithm for program specialisation, Warren, D.H.D.; Szeredi, P (eds.), Seventh International Conference on Logic Programming, Jerusalem, Israel, June 18-20, 1990, Logic Programming, Proceedings of the Seventh International Conference (ICLP90), pages 732-746

  @inproceedings{131725,
    author = "Gallagher, John P. and Bruynooghe, Maurice",
    title = "The derivation of an algorithm for program specialisation",
    booktitle = "Logic Programming, Proceedings of the Seventh International Conference (ICLP90), ",
    editor = "Warren, D.H.D. and Szeredi, P.",
    location = "MIT Press",
    pages = "732--746",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/131725",
  }
  

• Lansky, A.; Missiaen, Lode. Localized search for complex planning domains, Proceedings of the 1990 AAAI Workshop on Planning for Complex Domains, Boston, Massachusetts, 1990

  @inproceedings{134431,
    author = "Lansky, A. and Missiaen, Lode",
    title = "Localized search for complex planning domains",
    booktitle = "Proceedings of the 1990 AAAI Workshop on Planning for Complex Domains, Boston, Massachusetts",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/134431",
  }
  

• Mulkers, Anne; Winsborough, William H.; Bruynooghe, Maurice. Analysis of shared data structures for compile-time garbage collection in logic programs, Warren, D.H.D.; Szeredi, P (eds.), Seventh International Conference on Logic Programming, Jerusalem, Israel, June 18-20, 1990, Logic Programming, Proceedings of the Seventh International Conference (ICLP90), pages 747-762, MIT Press

  @inproceedings{131724,
    author = "Mulkers, Anne and Winsborough, William H. and Bruynooghe, Maurice",
    title = "Analysis of shared data structures for compile-time garbage collection in logic programs",
    booktitle = "Logic Programming, Proceedings of the Seventh International Conference (ICLP90), ",
    editor = "Warren, D.H.D. and Szeredi, P.",
    publisher = "MIT Press",
    pages = "747--762",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/131724",
  }
  

• Verschaetse, Christophe; De Schreye, Danny; Bruynooghe, Maurice. Generation and compilation of efficient computation rules, Warren, D.H.D.; Szeredi, P (eds.), Seventh International Conference on Logic Programming, Jerusalem, Israel, June 18-20, 1990, Logic Programming: Proceedings of the Seventh International Conference, pages 700-714, MIT Press

  @inproceedings{131723,
    author = "Verschaetse, Christophe and De Schreye, Danny and Bruynooghe, Maurice",
    title = "Generation and compilation of efficient computation rules",
    booktitle = "Logic Programming: Proceedings of the Seventh International Conference, ",
    editor = "Warren, D.H.D. and Szeredi, P.",
    publisher = "MIT Press",
    pages = "700--714",
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/131723",
  }
  

• Weemeeuw, Patrick; Demoen, Bart. Memory compaction for shared memory multiprocessors: design and specification, Proceedings of NACLP'90: North American Conference on Logic Programming, Austin, Texas, pages 306-320, 1990

  @inproceedings{132350,
    author = "Weemeeuw, Patrick and Demoen, Bart",
    title = "Memory compaction for shared memory multiprocessors: design and specification",
    booktitle = "Proceedings of NACLP'90: North American Conference on Logic Programming, Austin, Texas",
    pages = "306--320",
    month = Oct,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132350",
  }
  

Thesis

1 reference

• Janssens, Gerda. Deriving run time properties of logic programs by means of abstract interpretation, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990, Bruynooghe, Maurice and Willems, Yves (supervisors)

  @phdthesis{131417,
    author = "Janssens, Gerda",
    title = "Deriving run time properties of logic programs by means of abstract interpretation",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "312",
    month = Mar,
    year = "1990",
    note = "Bruynooghe, Maurice and Willems, Yves (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/131417",
  }
  

Internal reports

13 references

• De Raedt, Luc; Bruynooghe, Maurice. A practical multi valued logic to reason about (in)completeness and (in)consistency, CW Reports, volume CW128, 6 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990

  @techreport{131613,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "A practical multi valued logic to reason about (in)completeness and (in)consistency",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW128",
    month = Mar,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/131613",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. Unifying intensional knowledge base updating and incremental concept-learning. or belief updatingfrom integrity constraints and queries, CW Reports, volume CW118, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1990

  @techreport{132710,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "Unifying intensional knowledge base updating and incremental concept-learning. or belief updatingfrom integrity constraints and queries",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW118",
    month = Sep,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132710",
  }
  

• De Schreye, Danny; Verschaetse, Christophe; Bruynooghe, Maurice. A practical technique for detecting non- terminating queries for a restricted class of Hornclauses, using directed, weighted graphs, CW Reports, volume CW109, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990

  @techreport{131612,
    author = "De Schreye, Danny and Verschaetse, Christophe and Bruynooghe, Maurice",
    title = "A practical technique for detecting non- terminating queries for a restricted class of {H}ornclauses, using directed, weighted graphs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW109",
    month = Mar,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/131612",
  }
  

• Demoen, Bart. From a specification to an implementation of a database update view for Prolog: a proof, CW Reports, volume CW121, 7 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1990

  @techreport{132081,
    author = "Demoen, Bart",
    title = "From a specification to an implementation of a database update view for {P}rolog: a proof",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW121",
    month = Dec,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132081",
  }
  

• Demoen, Bart. On the transformation of a Prlog program to a more efficient binary program, CW Reports, volume CW130, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1990

  @techreport{132336,
    author = "Demoen, Bart",
    title = "On the transformation of a {P}rlog program to a more efficient binary program",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW130",
    month = Dec,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132336",
  }
  

• Demoen, Bart; Boerger, E.. A framework to specify database update views for Prolog, CW Reports, volume CW120, 11 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1990

  @techreport{131558,
    author = "Demoen, Bart and Boerger, E.",
    title = "A framework to specify database update views for {P}rolog",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW120",
    month = Dec,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/131558",
  }
  

• Demoen, Bart; Mariën, André. Implementation of Prolog as binary definite programs, CW Reports, volume CW129, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1990

  @techreport{132106,
    author = "Demoen, Bart and Mari{\"e}n, Andr{\'e}",
    title = "Implementation of {P}rolog as binary definite programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW129",
    month = Dec,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132106",
  }
  

• Janssens, Gerda; Bruynooghe, Maurice. On abstracting the procedural behaviour of logic programs, CW Reports, volume CW119, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1990

  @techreport{132295,
    author = "Janssens, Gerda and Bruynooghe, Maurice",
    title = "On abstracting the procedural behaviour of logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW119",
    month = Nov,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132295",
  }
  

• Janssens, Gerda; Bruynooghe, Maurice. Deriving descriptions of possible values of program variables by means of abstract interpretation:definitions and proofs, CW Reports, volume CW108, 124 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1990

  @techreport{132040,
    author = "Janssens, Gerda and Bruynooghe, Maurice",
    title = "Deriving descriptions of possible values of program variables by means of abstract interpretation:definitions and proofs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW108",
    month = Apr,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132040",
  }
  

• Janssens, Gerda; Bruynooghe, Maurice. Deriving descriptions of possible values of program variables by means of abstract interpretation, CW Reports, volume CW107, 70 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990

  @techreport{132041,
    author = "Janssens, Gerda and Bruynooghe, Maurice",
    title = "Deriving descriptions of possible values of program variables by means of abstract interpretation",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW107",
    month = Mar,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/132041",
  }
  

• Mulkers, Anne; Winsborough, Will; Bruynooghe, Maurice. Analysis of shared data structures for compile-time garbage collection in logic programs, CW Reports, volume CW117, 36 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1990

  @techreport{166922,
    author = "Mulkers, Anne and Winsborough, Will and Bruynooghe, Maurice",
    title = "Analysis of shared data structures for compile-time garbage collection in logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW117",
    month = Oct,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/166922",
  }
  

• Verschaetse, Christophe; De Schreye, Danny; Bruynooghe, Maurice. Generation and compilation of efficient computation rules, CW Reports, volume CW110, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990

  @techreport{166966,
    author = "Verschaetse, Christophe and De Schreye, Danny and Bruynooghe, Maurice",
    title = "Generation and compilation of efficient computation rules",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW110",
    month = Mar,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/166966",
  }
  

• Weemeeuw, Patrick; Demoen, Bart. A la recherche de la mémoire perdue or: memory compaction for shared memory multiprocessors.Design and spefication, CW Reports, volume CW112, 26 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990

  @techreport{131552,
    author = "Weemeeuw, Patrick and Demoen, Bart",
    title = "A la recherche de la m{\'e}moire perdue or: memory compaction for shared memory multiprocessors.{D}esign and spefication",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW112",
    month = Mar,
    year = "1990",
    url = "https://lirias.kuleuven.be/handle/123456789/131552",
  }
  

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

Yearly overview: