Publications DTAI

1993

Articles in internationally reviewed journals

2 references

• Barbuti, R.; Codish, Michael; Giacobazzi, R.; Levi, G.. Modelling Prolog control, Journal of Logic and Computation, volume 3, pages 579-603, 1993

  @article{134680,
    author = "Barbuti, R. and Codish, Michael and Giacobazzi, R. and Levi, G.",
    title = "Modelling {P}rolog control",
    journal = "Journal of Logic and Computation",
    volume = "3",
    pages = "579--603",
    year = "1993",
    doi = "10.1093/logcom/3.6.579",
    url = "https://lirias.kuleuven.be/handle/123456789/134680",
  }
  

• Boulanger, Dmitri; Bruynooghe, Maurice. Deriving fold unfold transformations of logic programs using extended oldt-based abstract interpretation, Journal of Symbolic Computation, volume 15, issue 5-6, pages 495-521, 1993

  @article{124462,
    author = "Boulanger, Dmitri and Bruynooghe, Maurice",
    title = "Deriving fold unfold transformations of logic programs using extended oldt-based abstract interpretation",
    journal = "Journal of Symbolic Computation",
    volume = "15",
    number = "5-6",
    pages = "495--521",
    month = May,
    year = "1993",
    doi = "10.1016/S0747-7171(06)80003-9",
    url = "https://lirias.kuleuven.be/handle/123456789/124462",
  }
  

Books, internationally recognised scientific publisher; as author

1 reference

• Mulkers, Anne. Live data structures in logic programs, derivation by means of abstract interpretation, Springer-Verlag, 1993, isbn 354-056-694-5

  @book{134658,
    author = "Mulkers, Anne",
    title = "Live data structures in logic programs, derivation by means of abstract interpretation",
    publisher = "Springer-Verlag",
    year = "1993",
    doi = "10.1007/3-540-56694-5",
    url = "https://lirias.kuleuven.be/handle/123456789/134658",
  }
  

Books, internationally recognised scientific publisher; as editor

1 reference

• Bruynooghe, Maurice; Penjam, Jaan (eds.), Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Proceedings, Programming Language Implementation and Logic Programming, 5th International Symposium, Tallinn, Estonia,, August 25-27, 1993, Lecture Notes in Computer Science, volume 714, 421 pages, Springer-Verlag, 1993, isbn 038-757-186-8

  @book{133869,
    editor = "Bruynooghe, Maurice and Penjam, Jaan",
    title = "Programming {L}anguage {I}mplementation and {L}ogic {P}rogramming, 5th {I}nternational {S}ymposium, {PLILP}'93, {P}roceedings",
    publisher = "Springer-Verlag",
    pages = "421",
    year = "1993",
    doi = "10.1007/3-540-57186-8",
    url = "https://lirias.kuleuven.be/handle/123456789/133869",
  }
  

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

22 references

• Adé, Hilde; De Raedt, Luc; Bruynooghe, Maurice. Theory Revision, 3rd International Workshop on Inductive Logic Programming, Bled, Slovenia, 1-3 April 1993, Proceedings of the 3rd International Workshop on Inductive Logic Programming, pages 179-192

  @inproceedings{132527,
    author = "Ad{\'e}, Hilde and De Raedt, Luc and Bruynooghe, Maurice",
    title = "Theory {R}evision",
    booktitle = "Proceedings of the 3rd International Workshop on Inductive Logic Programming, ",
    pages = "179--192",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132527",
  }
  

• Adé, Hilde; De Raedt, Luc; Bruynooghe, Maurice. Revision de Théorie: Approche Logique, Journees Francophones sur l'Apprentissage, St Raphaël, France, 29-31 March 1993, Actes Des Journees Francophones Sur L'Apprentissage, pages 1-15

  @inproceedings{132228,
    author = "Ad{\'e}, Hilde and De Raedt, Luc and Bruynooghe, Maurice",
    title = "Revision de {T}h{\'e}orie: {A}pproche {L}ogique",
    booktitle = "Actes Des Journees Francophones Sur L'Apprentissage, ",
    pages = "1--15",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132228",
  }
  

• Boulanger, Dmitri; Bruynooghe, Maurice. Deriving transformations of logic programs using abstract interpretation, Lau, Kung-Kiu; Clement, Tim P (eds.), Logic Programming Synthesis and Transformation, Manchester, 2-3 July 1992, Logic Program Synthesis and Transformation, Proceedings of LOPSTR'92, pages 99-117, Springer, 1993

  @inproceedings{132879,
    author = "Boulanger, Dmitri and Bruynooghe, Maurice",
    title = "Deriving transformations of logic programs using abstract interpretation",
    booktitle = "Logic Program Synthesis and Transformation, Proceedings of LOPSTR'92, ",
    editor = "Lau, Kung-Kiu and Clement, Tim P.",
    publisher = "Springer",
    pages = "99--117",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132879",
  }
  

• Bruynooghe, Maurice; Codish, Michael. Freeness, sharing, linearity and correctness - all at once, Cousot, P.; Falaschi, M.; Filè, G.; Rauzy, A (eds.), International Workshop on Static Analysis, Padova, Italy, September 22-24, 1993, Lecture Notes in Computer Science, volume 724, pages 153-164, Springer

  @inproceedings{166955,
    author = "Bruynooghe, Maurice and Codish, Michael",
    title = "Freeness, sharing, linearity and correctness - all at once",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Cousot, P. and Falaschi, M. and Fil{\`e}, G. and Rauzy, A.",
    publisher = "Springer",
    pages = "153--164",
    year = "1993",
    doi = "10.1007/3-540-57264-3\_{}37",
    url = "https://lirias.kuleuven.be/handle/123456789/166955",
  }
  

• Codish, Michael; Dams, Dennis; Filè, Gilberto; Bruynooghe, Maurice. Freeness analysis for logic programs - and correctness, Warren, D.S (ed.), Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-24, 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, pages 116-131, MIT Press

  @inproceedings{131739,
    author = "Codish, Michael and Dams, Dennis and Fil{\`e}, Gilberto and Bruynooghe, Maurice",
    title = "Freeness analysis for logic programs - and correctness",
    booktitle = "Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, ",
    editor = "Warren, D.S.",
    publisher = "MIT Press",
    pages = "116--131",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/131739",
  }
  

• Codish, Michael; Debray, S.; Giacobazzi, R.. Compositional analysis of modular logic programs, Proceedings of the Twentieth ACM Symposium on Principles of Programming Languages, pages 451-464, 1993

  @inproceedings{134436,
    author = "Codish, Michael and Debray, S. and Giacobazzi, R.",
    title = "Compositional analysis of modular logic programs",
    booktitle = "Proceedings of the Twentieth ACM Symposium on Principles of Programming Languages",
    pages = "451--464",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/134436",
  }
  

• Codish, Michael; Demoen, Bart. Analysing logic programs using propositional logic programs and a magic wand, Miller, D (ed.), 1993 International Logic Programming Symposium, Vancouver, Canada, 1993 International Logic Programming Symposium, pages 114-129, 1993

  @inproceedings{131705,
    author = "Codish, Michael and Demoen, Bart",
    title = "Analysing logic programs using propositional logic programs and a magic wand",
    booktitle = "1993 International Logic Programming Symposium, ",
    editor = "Miller, D.",
    pages = "114--129",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/131705",
  }
  

• Codish, Michael; Falaschi, M.; Marriott, K.; Winsborough, W.. Efficient analysis of concurrent constraint logic programs, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings of the Twentieth International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 700, pages 633-644

  @inproceedings{134443,
    author = "Codish, Michael and Falaschi, M. and Marriott, K. and Winsborough, W.",
    title = "Efficient analysis of concurrent constraint logic programs",
    booktitle = "Proceedings of the Twentieth International Colloquium on Automata, Languages and Programming,  Lecture Notes in Computer Science 700, ",
    pages = "633--644",
    year = "1993",
    doi = "10.1007/3-540-56939-1\_{}108",
    url = "https://lirias.kuleuven.be/handle/123456789/134443",
  }
  

• Codish, Michael; Mulkers, Anne; Bruynooghe, Maurice; García de la Banda, Maria; Hermenegildo, Manuel. Improving abstract interpretations by combining domains, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, June 14-16, 1993, Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'93), pages 194-205, ACM Press

  @inproceedings{132512,
    author = "Codish, Michael and Mulkers, Anne and Bruynooghe, Maurice and Garc{\'{\i}}a de la Banda, Maria and Hermenegildo, Manuel",
    title = "Improving abstract interpretations by combining domains",
    booktitle = "Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'93), ",
    publisher = "ACM Press",
    pages = "194--205",
    year = "1993",
    doi = "10.1145/154630.154650",
    url = "https://lirias.kuleuven.be/handle/123456789/132512",
  }
  

• De Raedt, Luc. A brief introduction to inductive logic programming, Miller, Dale (ed.), International Logic Programming Symposium, Proceedings of the International Logic Programming Symposium, pages 45-51, MIT press, 1993

  @inproceedings{134472,
    author = "De Raedt, Luc",
    title = "A brief introduction to inductive logic programming",
    booktitle = "Proceedings of the International Logic Programming Symposium, ",
    editor = "Miller, Dale",
    publisher = "MIT press",
    pages = "45--51",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/134472",
  }
  

• De Raedt, Luc; Bleken, Erlend; Coget, Vincent; Ghil, Chaouat; Swennen, Bart; Bruynooghe, Maurice. Learning to survive, International Workshop on Multistrategy Learning, Harper's Ferry, USA, 1993, Proceedings of the 2nd International Workshop on Multistrategy Learning, Harper's Ferry, USA, pages 92-106

  @inproceedings{132669,
    author = "De Raedt, Luc and Bleken, Erlend and Coget, Vincent and Ghil, Chaouat and Swennen, Bart and Bruynooghe, Maurice",
    title = "Learning to survive",
    booktitle = "Proceedings of the 2nd International Workshop on Multistrategy Learning, Harper's Ferry, USA, ",
    pages = "92--106",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132669",
  }
  

• De Raedt, Luc; Bruynooghe, Maurice. A theory of clausal discovery, International Joint Conference on Artificial Intelligence, Chambéry, France, August 28 -September 3, 1993, Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 1058-1063, Morgan Kaufmann

  @inproceedings{132670,
    author = "De Raedt, Luc and Bruynooghe, Maurice",
    title = "A theory of clausal discovery",
    booktitle = "Proceedings of the 13th International Joint Conference on Artificial Intelligence, ",
    publisher = "Morgan Kaufmann",
    pages = "1058--1063",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132670",
  }
  

• De Raedt, Luc; Lavrac, Nada. The many faces of inductive logic programming, Komorowski, J.; Ras, Z. W (eds.), International Symposium on Methodologies for Intelligent Systems, Lecture Notes in Computer Science, volume 689, pages 435-449, Springer, 1993

  @inproceedings{134473,
    author = "De Raedt, Luc and Lavrac, Nada",
    title = "The many faces of inductive logic programming",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Komorowski, J. and Ras, Z. W.",
    publisher = "Springer",
    pages = "435--449",
    year = "1993",
    doi = "10.1007/3-540-56804-2\_{}41",
    url = "https://lirias.kuleuven.be/handle/123456789/134473",
  }
  

• De Raedt, Luc; Lavrac, Nada; Dzeroski, Saso. Multiple predicate learning, International Joint Conference on Artificial Intelligence, Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 1037-1042, Morgan Kaufman, 1993

  @inproceedings{134474,
    author = "De Raedt, Luc and Lavrac, Nada and Dzeroski, Saso",
    title = "Multiple predicate learning",
    booktitle = "Proceedings of the 13th International Joint Conference on Artificial Intelligence, ",
    publisher = "Morgan Kaufman",
    pages = "1037--1042",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/134474",
  }
  

• Decorte, Stefaan; De Schreye, Danny; Fabris, M.. Automatic inference of norms: a missing link in automatic termination analysis, Miller, D (ed.), International Logic Programming Symposium 1993, Vancouver, Canada, Proceedings International Logic Programming Symposium 1993, pages 420-436, 1993

  @inproceedings{131706,
    author = "Decorte, Stefaan and De Schreye, Danny and Fabris, M.",
    title = "Automatic inference of norms: a missing link in automatic termination analysis",
    booktitle = "Proceedings International Logic Programming Symposium 1993, ",
    editor = "Miller, D.",
    pages = "420--436",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/131706",
  }
  

• Denecker, Marc; De Schreye, Danny. Representing incomplete knowledge in abductive logic programming, International Symposium on Logic Programming (ILPS'93), Vancouver, Proc. of the International Symposium on Logic Programming (ILPS'93), pages 147-163, 1993

  @inproceedings{132974,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "Representing incomplete knowledge in abductive logic programming",
    booktitle = "Proc. of the International Symposium on Logic Programming (ILPS'93), ",
    pages = "147--163",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132974",
  }
  

• Denecker, Marc; De Schreye, Danny. Justification semantics: a unifying framework for the semantics of logic programs, Pereira, L.M.; Nerode, A (eds.), Proc. of the Logic Programming and Nonmonotonic Reasoning Workshop, 1993, Proc. of the Logic Programming and Nonmonotonic Reasoning Workshop, pages 365-379

  @inproceedings{133075,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "Justification semantics: a unifying framework for the semantics of logic programs",
    booktitle = "Proc. of the Logic Programming and Nonmonotonic Reasoning Workshop, ",
    editor = "Pereira, L.M. and Nerode, A.",
    pages = "365--379",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/133075",
  }
  

• Dumortier, Veroniek; Janssens, Gerda; Bruynooghe, Maurice; Codish, Michael. Freeness analysis in the presence of numerical constraints, Warren, D.S (ed.), Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-24, 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, pages 100-115, MIT Press

  @inproceedings{131737,
    author = "Dumortier, Veroniek and Janssens, Gerda and Bruynooghe, Maurice and Codish, Michael",
    title = "Freeness analysis in the presence of numerical constraints",
    booktitle = "Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, ",
    editor = "Warren, D.S.",
    publisher = "MIT Press",
    pages = "100--115",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/131737",
  }
  

• Mariën, André; Demoen, Bart. Findall without findall/3, Warren, D.S (ed.), Proceedings of the Tenth Int. Conf. on Logic Programming, pages 408-423, 1993

  @inproceedings{131736,
    author = "Mari{\"e}n, Andr{\'e} and Demoen, Bart",
    title = "Findall without findall/3",
    booktitle = "Proceedings of the Tenth Int. Conf. on Logic Programming",
    editor = "Warren, D.S.",
    pages = "408--423",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/131736",
  }
  

• Moolenaar, Remco; Demoen, Bart. A parallel implementation for AKL, Bruynooghe, Maurice; Penjam, J (eds.), Programming Language Implementation and Logic Programming, pages 246-261, 1993

  @inproceedings{133267,
    author = "Moolenaar, Remco and Demoen, Bart",
    title = "A parallel implementation for {AKL}",
    booktitle = "Programming Language Implementation and Logic Programming",
    editor = "Bruynooghe, Maurice and Penjam, J.",
    pages = "246--261",
    month = Aug,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/133267",
  }
  

• Rouveirol, C.; Adé, Hilde; De Raedt, Luc. Bottom-up generalisation in inductive logic programming, IJCAI Workshop on Inductive Logic Programming, Chambery, Proceedings of the IJCAI Workshop on Inductive Logic Programming, pages 59-70, 1993

  @inproceedings{134471,
    author = "Rouveirol, C. and Ad{\'e}, Hilde and De Raedt, Luc",
    title = "Bottom-up generalisation in inductive logic programming",
    booktitle = "Proceedings of the IJCAI Workshop on Inductive Logic Programming, ",
    pages = "59--70",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/134471",
  }
  

• Van Laer, Wim; De Raedt, Luc. Discovering quantitative laws in inductive logic programming, Familiarization Workshop of the ESPRIT Nework of Excellence on Machine Learning (Extended Abstract), Blanes, Spain, Familiarization Workshop of the ESPRIT Nework of Excellence on Machine Learning (Extended Abstract), 4 pages, 1993

  @inproceedings{132793,
    author = "Van Laer, Wim and De Raedt, Luc",
    title = "Discovering quantitative laws in inductive logic programming",
    booktitle = "Familiarization Workshop of the ESPRIT Nework of Excellence on Machine Learning (Extended Abstract), ",
    pages = "4",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132793",
  }
  

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

2 references

• De Raedt, Luc. Inductive logic programming, Third Benelearn Workshop on Research and applications of Machine Learning in Benelux, Brussel, Third Benelearn Workshop on Research and Applications of Machine Learning in the Benelux, 1993

  @inproceedings{134675,
    author = "De Raedt, Luc",
    title = "Inductive logic programming",
    booktitle = "Third Benelearn Workshop on Research and Applications of Machine Learning in the Benelux, ",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/134675",
  }
  

• Vandecasteele, Henk; De Schreye, Danny. Solving finite domain problems with efficient prun ing and smart enumeration, Laenens, Els (ed.), Fifth Benelux Workshop on Logic Programming, Fifth Benelux Workshop on Logic Programming, 1993

  @inproceedings{132025,
    author = "Vandecasteele, Henk and De Schreye, Danny",
    title = "Solving finite domain problems with efficient prun ing and smart enumeration",
    booktitle = "Fifth Benelux Workshop on Logic Programming, ",
    editor = "Laenens, Els",
    month = Sep,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132025",
  }
  

Thesis

3 references

• Denecker, Marc. Knowledge representation and reasoning in incomplete logic programming, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1993, 265 pages, De Schreye, Danny and Denef, Jan (supervisors)

  @phdthesis{131431,
    author = "Denecker, Marc",
    title = "Knowledge representation and reasoning in incomplete logic programming",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "265",
    month = Sep,
    year = "1993",
    note = "De Schreye, Danny and Denef, Jan (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/131431",
  }
  

• Mariën, André. Improving the compilation of Prolog in the framework of the Warren Abstract Machine, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1993, Willems, Yves and Demoen, Bart (supervisors)

  @phdthesis{131393,
    author = "Mari{\"e}n, Andr{\'e}",
    title = "Improving the compilation of {P}rolog in the framework of the {W}arren {A}bstract {M}achine",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "270",
    month = Sep,
    year = "1993",
    note = "Willems, Yves and Demoen, Bart (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/131393",
  }
  

• Weemeeuw, Patrick. Two parallel garbage collection algorithms for Prolog, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1993, Willems, Yves and Demoen, Bart (supervisors)

  @phdthesis{134583,
    author = "Weemeeuw, Patrick",
    title = "Two parallel garbage collection algorithms for {P}rolog",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "151",
    month = May,
    year = "1993",
    note = "Willems, Yves and Demoen, Bart (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134583",
  }
  

Internal reports

15 references

• Boulanger, Dmitri; Bruynooghe, Maurice. Using abstract interpretation for goal replacement, CW Reports, volume CW181, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1993

  @techreport{132723,
    author = "Boulanger, Dmitri and Bruynooghe, Maurice",
    title = "Using abstract interpretation for goal replacement",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW181",
    month = Sep,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132723",
  }
  

• Bruynooghe, Maurice; Boulanger, Dmitri. Abstract interpretation for (constraint) logic programming, CW Reports, volume CW183, 34 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1993

  @techreport{131795,
    author = "Bruynooghe, Maurice and Boulanger, Dmitri",
    title = "Abstract interpretation for (constraint) logic programming",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW183",
    month = Nov,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/131795",
  }
  

• Bruynooghe, Maurice; Codish, Michael. Freeness, sharing, linearity and correctness - all at once, CW Reports, volume CW179, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1993

  @techreport{132082,
    author = "Bruynooghe, Maurice and Codish, Michael",
    title = "Freeness, sharing, linearity and correctness - all at once",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW179",
    month = Sep,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132082",
  }
  

• Codish, Michael; Demoen, Bart. Analysing logic programs using propositional logic programs and a magic wand, CW Reports, volume CW176, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1993

  @techreport{166924,
    author = "Codish, Michael and Demoen, Bart",
    title = "Analysing logic programs using propositional logic programs and a magic wand",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW176",
    month = Apr,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/166924",
  }
  

• Codish, Michael; García de la Banda, Maria; Bruynooghe, Maurice; Hermenegildo, Manuel. Top-down vs bottom-up analysis of logic programs - closing the circle, CW Reports, volume CW177, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1993

  @techreport{132699,
    author = "Codish, Michael and Garc{\'{\i}}a de la Banda, Maria and Bruynooghe, Maurice and Hermenegildo, Manuel",
    title = "Top-down vs bottom-up analysis of logic programs - closing the circle",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW177",
    month = May,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132699",
  }
  

• Demoen, Bart; Mariën, André. Implementation issues in Prolog arithmetic, CW Reports, volume CW172, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1993

  @techreport{132087,
    author = "Demoen, Bart and Mari{\"e}n, Andr{\'e}",
    title = "Implementation issues in {P}rolog arithmetic",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW172",
    month = Feb,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132087",
  }
  

• Dumortier, Veroniek; Janssens, Gerda. Towards a practical full mode inference system for CLP (H,N), CW Reports, volume CW185, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1993

  @techreport{132698,
    author = "Dumortier, Veroniek and Janssens, Gerda",
    title = "Towards a practical full mode inference system for {CLP} ({H},{N})",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW185",
    month = Dec,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132698",
  }
  

• Janssens, Gerda; Simoens, Wim; Van Hentenryck, P.. On the implementation of abstract interpretation systems for (constraint) logic programs, CW Reports, volume CW175, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1993

  @techreport{132348,
    author = "Janssens, Gerda and Simoens, Wim and Van Hentenryck, P.",
    title = "On the implementation of abstract interpretation systems for (constraint) logic programs",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW175",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132348",
  }
  

• Mariën, André; Demoen, Bart. Findall without findall/3, CW Reports, volume CW173, 34 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1993

  @techreport{166954,
    author = "Mari{\"e}n, Andr{\'e} and Demoen, Bart",
    title = "Findall without findall/3",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW173",
    month = Feb,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/166954",
  }
  

• Martens, Bernhard; De Schreye, Danny. Advanced techniques in finite unfolding, CW Reports, volume CW180, 77 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1993

  @techreport{131791,
    author = "Martens, Bernhard and De Schreye, Danny",
    title = "Advanced techniques in finite unfolding",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW180",
    month = Oct,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/131791",
  }
  

• Moolenaar, Remco; Demoen, Bart. Hybrid tree search in the Andorra model, CW Reports, volume CW184, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1993

  @techreport{132090,
    author = "Moolenaar, Remco and Demoen, Bart",
    title = "Hybrid tree search in the {A}ndorra model",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW184",
    month = Nov,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132090",
  }
  

• Muggleton, Stephen; De Raedt, Luc. Inductive logic programming: theory and methods, CW Reports, volume CW178, 60 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1993

  @techreport{134629,
    author = "Muggleton, Stephen and De Raedt, Luc",
    title = "Inductive logic programming: theory and methods",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW178",
    month = May,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/134629",
  }
  

• Mulkers, Anne; Winsborough, Will; Bruynooghe, Maurice. A live-structure data-flow analysis for Prolog: theory, CW Reports, volume CW167, 50 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1993

  @techreport{131549,
    author = "Mulkers, Anne and Winsborough, Will and Bruynooghe, Maurice",
    title = "A live-structure data-flow analysis for {P}rolog: theory",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW167",
    month = Jan,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/131549",
  }
  

• Mulkers, Anne; Winsborough, Will; Bruynooghe, Maurice. A live-structure data-flow analysis for Prolog: design and evaluation, CW Reports, volume CW166, 45 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1993

  @techreport{131550,
    author = "Mulkers, Anne and Winsborough, Will and Bruynooghe, Maurice",
    title = "A live-structure data-flow analysis for {P}rolog: design and evaluation",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW166",
    month = Jan,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/131550",
  }
  

• Rouveirol, C.; Adé, Hilde; De Raedt, Luc. Bottom up generalization in I.L.P, CW Reports, volume CW171, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1993

  @techreport{134622,
    author = "Rouveirol, C. and Ad{\'e}, Hilde and De Raedt, Luc",
    title = "Bottom up generalization in {I}.{L}.{P}",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW171",
    month = Jan,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/134622",
  }
  

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

Yearly overview: