Publications DTAI

1996

Articles in internationally reviewed journals

6 references

• Codish, Michael; Dams, Denis; File, Gilberto; Bruynooghe, Maurice. On the design of a correct freeness analysis for logic programs, Journal of Logic Programming, volume 28, issue 3, pages 181-206, 1996

  @article{125117,
    author = "Codish, Michael and Dams, Denis and File, Gilberto and Bruynooghe, Maurice",
    title = "On the design of a correct freeness analysis for logic programs",
    journal = "Journal of Logic Programming",
    volume = "28",
    number = "3",
    pages = "181--206",
    month = Sep,
    year = "1996",
    doi = "10.1016/0743-1066(95)00120-4",
    url = "https://lirias.kuleuven.be/handle/123456789/125117",
  }
  

• De Raedt, Luc. Inductive logic programming, MLnet News, volume 3, 6 pages, 1996

  @article{134701,
    author = "De Raedt, Luc",
    title = "Inductive logic programming",
    journal = "MLnet News",
    volume = "3",
    pages = "6",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134701",
  }
  

• De Raedt, Luc; Lavrac, Nada. Multiple predicate learning in two inductive logic programming settings, Journal of the Interest Group in Pure and Applied Logics, volume 4, issue 2, pages 227-254, 1996

  @article{134688,
    author = "De Raedt, Luc and Lavrac, Nada",
    title = "Multiple predicate learning in two inductive logic programming settings",
    journal = "Journal of the Interest Group in Pure and Applied Logics",
    volume = "4",
    number = "2",
    pages = "227--254",
    year = "1996",
    doi = "10.1093/jigpal/4.2.227",
    url = "https://lirias.kuleuven.be/handle/123456789/134688",
  }
  

• Garcia de la Banda, Maria; Hermenegildo, Manuel; Bruynooghe, Maurice; Dumortier, Veroniek; Janssens, Gerda; Simoens, Wim. Global analysis of constraint logic programs, ACM Transactions on Programming Languages and Systems, volume 18, issue 5, pages 564-614, 1996

  @article{125410,
    author = "Garcia de la Banda, Maria and Hermenegildo, Manuel and Bruynooghe, Maurice and Dumortier, Veroniek and Janssens, Gerda and Simoens, Wim",
    title = "Global analysis of constraint logic programs",
    journal = "ACM Transactions on Programming Languages and Systems",
    volume = "18",
    number = "5",
    pages = "564--614",
    month = Sep,
    year = "1996",
    doi = "10.1145/232706.232734",
    url = "https://lirias.kuleuven.be/handle/123456789/125410",
  }
  

• Martens, Bernhard; De Schreye, Danny. Automatic finite unfolding using well-founded measures, Journal of Logic Programming, volume 28, issue 2, pages 89-146, 1996

  @article{125403,
    author = "Martens, Bernhard and De Schreye, Danny",
    title = "Automatic finite unfolding using well-founded measures",
    journal = "Journal of Logic Programming",
    volume = "28",
    number = "2",
    pages = "89--146",
    month = Aug,
    year = "1996",
    doi = "10.1016/0743-1066(95)00149-2",
    url = "https://lirias.kuleuven.be/handle/123456789/125403",
  }
  

• Tarau, P.; DeBosschere, K.; Demoen, Bart. Partial translation: Towards a portable and efficient prolog implementation technology, Journal of Logic Programming, volume 29, issue 1-3, pages 65-83, 1996

  @article{123809,
    author = "Tarau, P. and DeBosschere, K. and Demoen, Bart",
    title = "Partial translation: {T}owards a portable and efficient prolog implementation technology",
    journal = "Journal of Logic Programming",
    volume = "29",
    number = "1-3",
    pages = "65--83",
    month = Oct,
    year = "1996",
    doi = "10.1016/S0743-1066(96)00063-5",
    url = "https://lirias.kuleuven.be/handle/123456789/123809",
  }
  

Books, internationally recognised scientific publisher; as editor

1 reference

• De Raedt, Luc (ed.), Advances in Inductive Logic Programming, IOS Press, 1996, isbn 905-199-242-4

  @book{134565,
    editor = "De Raedt, Luc",
    title = "Advances in {I}nductive {L}ogic {P}rogramming",
    publisher = "IOS Press",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134565",
  }
  

Article in book, internationally recognised scientific publisher

2 references

• De Raedt, Luc. The inductive logic programming project, De Raedt, Luc (ed.), IOS Press, 1996

  @incollection{134650,
    author = "De Raedt, Luc",
    title = "The inductive logic programming project",
    editor = "De Raedt, Luc",
    publisher = "IOS Press",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134650",
  }
  

• Nédellec, C.; Rouveirol, C.; Adé, Hilde; Bergadano, F.; Tausend, B.. Declarative bias in inductive logic porgramming, De Raedt, Luc (ed.), IOS Press, 1996

  @incollection{134651,
    author = "N{\'e}dellec, C. and Rouveirol, C. and Ad{\'e}, Hilde and Bergadano, F. and Tausend, B.",
    title = "Declarative bias in inductive logic porgramming",
    editor = "De Raedt, Luc",
    publisher = "IOS Press",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134651",
  }
  

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

20 references

• Blockeel, Hendrik; De Raedt, Luc. Inductive database design, International Symposium on Methodologies for Intelligent Systems (ISMIS), Zakopane, Poland, Lecture Notes in Computer Science, volume 1079, pages 376-385, Springer, 1996

  @inproceedings{134539,
    author = "Blockeel, Hendrik and De Raedt, Luc",
    title = "Inductive database design",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "376--385",
    year = "1996",
    doi = "10.1007/3-540-61286-6\_{}162",
    url = "https://lirias.kuleuven.be/handle/123456789/134539",
  }
  

• Blockeel, Hendrik; De Raedt, Luc. Relational knowledge discovery in databases, van den Herik, J.; Weijters, T (eds.), Belgian-Dutch Conference on Machine Learning, Maastricht, The Netherlands, 1996, Proceedings of Benelearn-96, pages 81-90

  @inproceedings{201879,
    author = "Blockeel, Hendrik and De Raedt, Luc",
    title = "Relational knowledge discovery in databases",
    booktitle = "Proceedings of Benelearn-96, ",
    editor = "van den Herik, J. and Weijters, T.",
    pages = "81--90",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/201879",
  }
  

• Blockeel, Hendrik; De Raedt, Luc. Relational knowledge discovery in databases, Pfahringer, B.; Fuernkranz, J (eds.), The MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming (ILP for KDD), Proceedings of the MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming (ILP for KDD), pages 111-124, 1996

  @inproceedings{134512,
    author = "Blockeel, Hendrik and De Raedt, Luc",
    title = "Relational knowledge discovery in databases",
    booktitle = "Proceedings of the MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming (ILP for KDD), ",
    editor = "Pfahringer, B. and Fuernkranz, J.",
    pages = "111--124",
    month = Jul,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134512",
  }
  

• Bruynooghe, Maurice; Demoen, Bart; Boulanger, Dmitri; Denecker, Marc; Mulkers, Anne. A freeness and sharing analysis of logic programs based on a pre-interpretation, Cousot, R.; Schmidt, D.A (eds.), Third International Symposium on Static Analysis, Aachen, Germany, September 24-27, 1996, Lecture Notes in Computer Science, volume 1445, pages 128-142, Springer

  @inproceedings{167003,
    author = "Bruynooghe, Maurice and Demoen, Bart and Boulanger, Dmitri and Denecker, Marc and Mulkers, Anne",
    title = "A freeness and sharing analysis of logic programs based on a pre-interpretation",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Cousot, R. and Schmidt, D.A.",
    publisher = "Springer",
    pages = "128--142",
    year = "1996",
    doi = "10.1007/3-540-61739-6\_{}38",
    url = "https://lirias.kuleuven.be/handle/123456789/167003",
  }
  

• De Raedt, Luc. PAC-learning logic programs under the closed world assumption, International Symposium on Methodologies for Intelligent Systems, Zakopane, Poland, June 9-13, 1996, Lecture Notes in Computer Science, volume 1079, pages 531-540, Springer

  @inproceedings{134496,
    author = "De Raedt, Luc",
    title = "{PAC}-learning logic programs under the closed world assumption",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "531--540",
    year = "1996",
    doi = "10.1007/3-540-61286-6\_{}177",
    url = "https://lirias.kuleuven.be/handle/123456789/134496",
  }
  

• De Raedt, Luc. Induction in logic, Michalski, RS; Wnek, J (eds.), International Workshop on Multistrategy Learning, Proceedings of the 3rd International Workshop on Multistrategy Learning, pages 29-38, AAAI Press, 1996

  @inproceedings{134529,
    author = "De Raedt, Luc",
    title = "Induction in logic",
    booktitle = "Proceedings of the 3rd International Workshop on Multistrategy Learning, ",
    editor = "Michalski, RS and Wnek, J.",
    publisher = "AAAI Press",
    pages = "29--38",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134529",
  }
  

• Dehaspe, Luc; De Raedt, Luc. DLAB: A declarative language bias formalism, International Symposium on Foundations of Intelligent Systems (ISMIS), Zakopane, Poland, June 9-13, 1996, Foundations of Intelligent Systems, volume 1079, pages 613-622, Springer

  @inproceedings{247569,
    author = "Dehaspe, Luc and De Raedt, Luc",
    title = "{DLAB}: {A} declarative language bias formalism",
    booktitle = "Foundations of Intelligent Systems, ",
    publisher = "Springer",
    pages = "613--622",
    year = "1996",
    doi = "10.1007/3-540-61286-6\_{}185",
    url = "https://lirias.kuleuven.be/handle/123456789/247569",
  }
  

• Demoen, Bart; Engels, G.; Tarau, Paul. Segment preserving copying garbage collection for WAM based Prolog, The 1996 ACM Symposium on Applied Computing, The 1996 ACM Symposium on Applied Computing, pages 380-386, 1996

  @inproceedings{132986,
    author = "Demoen, Bart and Engels, G. and Tarau, Paul",
    title = "Segment preserving copying garbage collection for {WAM} based {P}rolog",
    booktitle = "The 1996 ACM Symposium on Applied Computing, ",
    pages = "380--386",
    month = Feb,
    year = "1996",
    doi = "10.1145/331119.331210",
    url = "https://lirias.kuleuven.be/handle/123456789/132986",
  }
  

• Denecker, Marc; Martens, Bernhard; De Raedt, Luc. On the difference between abduction and induction: a model theoretic perspective, Denecker, Marc; Flach, P.; Kakas, A (eds.), ECAI96 Workshop on Abductive and Inductive Reasoning, Budapest, Hungary, ECAI96 Workshop on Abductive and Inductive Reasoning, pages 1-7, 1996

  @inproceedings{131910,
    author = "Denecker, Marc and Martens, Bernhard and De Raedt, Luc",
    title = "On the difference between abduction and induction: a model theoretic perspective",
    booktitle = "ECAI96 Workshop on Abductive and Inductive Reasoning, ",
    editor = "Denecker, Marc and Flach, P. and Kakas, A.",
    pages = "1--7",
    month = Aug,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/131910",
  }
  

• Denecker, Marc; Van Belleghem, Kristof; Duchatelet, G.; Piessens, Frank; De Schreye, Danny. A realistic experiment in knowledge representation in open event calculus: protocol specification, Michael Maher, (ed.), Joint International Conference and Symposium on Logic Programming, Bonn, September 2-6, 1996, Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 170-184

  @inproceedings{133382,
    author = "Denecker, Marc and Van Belleghem, Kristof and Duchatelet, G. and Piessens, Frank and De Schreye, Danny",
    title = "A realistic experiment in knowledge representation in open event calculus: protocol specification",
    booktitle = "Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, ",
    editor = "Michael Maher",
    pages = "170--184",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/133382",
  }
  

• Glück, R.; Jørgensen, J.; Martens, Bernhard; Sørensen, M H.. Controlling conjunctive partial deduction, Kuchen, H.; Swierstra, S.D (eds.), Programming Languages: Implementations, Logics, and Programs, 8th International Symposium (PLILP96), Aachen, Germany, September 24-27, 1996, Programming Languages: Implementations, Logics, and Programs, 8th International Symposium (PLILP96), Lecture Notes in Computer Science 1140, pages 152-166

  @inproceedings{132561,
    author = "Gl{\"u}ck, R. and J{\o}rgensen, J. and Martens, Bernhard and S{\o}rensen, M H.",
    title = "Controlling conjunctive partial deduction",
    booktitle = "Programming Languages: Implementations, Logics, and Programs, 8th International Symposium (PLILP96), Lecture Notes in Computer Science 1140, ",
    editor = "Kuchen, H. and Swierstra, S.D.",
    pages = "152--166",
    month = Sep,
    year = "1996",
    doi = "10.1007/3-540-61756-6\_{}83",
    url = "https://lirias.kuleuven.be/handle/123456789/132561",
  }
  

• Jørgensen, J.; Leuschel, Michael. Efficiently generating efficient generating extensions in Prolog, Danvy, O.; Glück, R.; Thiemann, P (eds.), 1996 Dagstuhl Seminar on Partial Evaluation, Schloss Dagstuhl, 1996 Dagstuhl Seminar on Partial Evaluation, pages 238-262, 1996

  @inproceedings{134492,
    author = "J{\o}rgensen, J. and Leuschel, Michael",
    title = "Efficiently generating efficient generating extensions in {P}rolog",
    booktitle = "1996 Dagstuhl Seminar on Partial Evaluation, ",
    editor = "Danvy, O. and Gl{\"u}ck, R. and Thiemann, P.",
    pages = "238--262",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134492",
  }
  

• Jørgensen, J.; Leuschel, Michael; Martens, Bernhard. Conjunctive partial deduction in practice, Gallagher, J (ed.), International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), Stockholm, Sweden, Pre-Proceedings of the International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), pages 46-62, 1996

  @inproceedings{166828,
    author = "J{\o}rgensen, J. and Leuschel, Michael and Martens, Bernhard",
    title = "Conjunctive partial deduction in practice",
    booktitle = "Pre-Proceedings of the International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), ",
    editor = "Gallagher, J.",
    pages = "46--62",
    month = Aug,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/166828",
  }
  

• Leuschel, Michael; De Schreye, Danny. Logic program specialisation: how to be more specific, Kuchen, H.; Swierstra, S.D (eds.), the International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP'96), Aachen, Germany, September 24-27, 1996, Programming Languages: Implementations, Logic, and Programs, 8th International Symposium, Lecture Notes in Computer Science 1140, pages 136-151

  @inproceedings{166850,
    author = "Leuschel, Michael and De Schreye, Danny",
    title = "Logic program specialisation: how to be more specific",
    booktitle = "Programming Languages: Implementations, Logic, and Programs, 8th International Symposium, Lecture Notes in Computer Science 1140, ",
    editor = "Kuchen, H. and Swierstra, S.D.",
    pages = "136--151",
    year = "1996",
    doi = "10.1007/3-540-61756-6\_{}82",
    url = "https://lirias.kuleuven.be/handle/123456789/166850",
  }
  

• Leuschel, Michael; De Schreye, Danny; de Waal, D André. A conceptual embedding of folding into partial deduction: towards a maximal integration, Michael. Maher, (ed.), the Joint International Conference and Symposium on Logic Programming (JICSLP'96), Bonn, Germany, The Joint International Conference and Symposium on Logic Programming (JICSLP'96), pages 319-332, 1996

  @inproceedings{167090,
    author = "Leuschel, Michael and De Schreye, Danny and de Waal, D Andr{\'e}",
    title = "A conceptual embedding of folding into partial deduction: towards a maximal integration",
    booktitle = "The Joint International Conference and Symposium on Logic Programming (JICSLP'96), ",
    editor = "Michael. Maher",
    pages = "319--332",
    month = Sep,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/167090",
  }
  

• Leuschel, Michael; Martens, Bernhard. Global control for partial deduction through characteristic atoms and global trees, Danvy, O.; Glück, R.; Thiemann, P (eds.), 1996 Dagstuhl Seminar on Partial Evaluation, Schloss Dagstuhl, 1996 Dagstuhl Seminar on Partial Evaluation, pages 263-283, 1996

  @inproceedings{133636,
    author = "Leuschel, Michael and Martens, Bernhard",
    title = "Global control for partial deduction through characteristic atoms and global trees",
    booktitle = "1996 Dagstuhl Seminar on Partial Evaluation, ",
    editor = "Danvy, O. and Gl{\"u}ck, R. and Thiemann, P.",
    pages = "263--283",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/133636",
  }
  

• Leuschel, Michael; Sørensen, M H.. Redundant argument filtering of logic programs, Gallagher, J (ed.), The International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), Stockholm, Sweden, Pre-proceedings of the International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), pages 63-77, 1996

  @inproceedings{134503,
    author = "Leuschel, Michael and S{\o}rensen, M H.",
    title = "Redundant argument filtering of logic programs",
    booktitle = "Pre-proceedings of the International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), ",
    editor = "Gallagher, J.",
    pages = "63--77",
    month = Aug,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134503",
  }
  

• Sagonas, Konstantinos; Swift, T.; Warren, D S.. An abstract machine for computing the well-founded semantics, Maher, Michael (ed.), Joint International Conference and Symposium on Logic Programming, Joint International Conference and Symposium on Logic Programming, pages 274-288, 1996

  @inproceedings{134486,
    author = "Sagonas, Konstantinos and Swift, T. and Warren, D S.",
    title = "An abstract machine for computing the well-founded semantics",
    booktitle = "Joint International Conference and Symposium on Logic Programming, ",
    editor = "Maher, Michael",
    pages = "274--288",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134486",
  }
  

• Van Baelen, E.; De Raedt, Luc. Analysis and prediction of piano performance using inductive logic programming, Muggleton, S (ed.), 6th International Workshop on Inductive Logic Programming (ILP'96), Stockholm, Sweden, August 26-28, 1996, 6th International Workshop on Inductive Logic Programming (ILP'96), Lecture Notes in Computer Science 1314, pages 55-71

  @inproceedings{134488,
    author = "Van Baelen, E. and De Raedt, Luc",
    title = "Analysis and prediction of piano performance using inductive logic programming",
    booktitle = "6th International Workshop on Inductive Logic Programming (ILP'96), Lecture Notes in Computer Science 1314, ",
    editor = "Muggleton, S.",
    pages = "55--71",
    year = "1996",
    doi = "10.1007/3-540-63494-0\_{}48",
    url = "https://lirias.kuleuven.be/handle/123456789/134488",
  }
  

• Van Laer, Wim; Dzeroski, Saso; De Raedt, Luc. Multi-class problems and discretization in ICL, Pfahringer, Bernhard; Fuernkranz, Johannes (eds.), MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming (ILP for KDD), juli 1996, Proceedings of the MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming, pages 53-60

  @inproceedings{133936,
    author = "Van Laer, Wim and Dzeroski, Saso and De Raedt, Luc",
    title = "Multi-class problems and discretization in {ICL}",
    booktitle = "Proceedings of the MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming, ",
    editor = "Pfahringer, Bernhard and Fuernkranz, Johannes",
    pages = "53--60",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/133936",
  }
  

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

3 references

• Dehaspe, Luc; De Raedt, Luc. DLAB: a hypothesis space management tool, van den Herik, HJ; Weijters, T (eds.), BENELEARN-96, University of Maastricht, The Netherlands, BENELEARN-96, pages 91-102, 1996

  @inproceedings{134674,
    author = "Dehaspe, Luc and De Raedt, Luc",
    title = "{DLAB}: a hypothesis space management tool",
    booktitle = "BENELEARN-96, ",
    editor = "van den Herik, HJ and Weijters, T.",
    pages = "91--102",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134674",
  }
  

• Jørgensen, J.; Leuschel, Michael; Martens, Bernhard. Conjunctive partial deduction in practice, Deville, Yves (ed.), BENELOG'96, BENELOG'96, 1996

  @inproceedings{166838,
    author = "J{\o}rgensen, J. and Leuschel, Michael and Martens, Bernhard",
    title = "Conjunctive partial deduction in practice",
    booktitle = "BENELOG'96, ",
    editor = "Deville, Yves",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/166838",
  }
  

• Van Laer, Wim; Blockeel, Hendrik; De Raedt, Luc. Inductive constraint logic and the mutagenesis problem, Meyer, (ed.), Dutch Conference on Artificial Intelligence (NAIC), Proceedings of the Eighth Dutch Conference on Artificial Intelligence, pages 265-276, 1996

  @inproceedings{132788,
    author = "Van Laer, Wim and Blockeel, Hendrik and De Raedt, Luc",
    title = "Inductive constraint logic and the mutagenesis problem",
    booktitle = "Proceedings of the Eighth Dutch Conference on Artificial Intelligence, ",
    editor = "Meyer",
    pages = "265--276",
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/132788",
  }
  

Internal reports

21 references

• Abdrakhimov, I.; Mantsivoda, Andrei. The $SIGMA$-machine, its soundness and completeness, CW Reports, volume CW234, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1996

  @techreport{134642,
    author = "Abdrakhimov, I. and Mantsivoda, Andrei",
    title = "The ${SIGMA}$-machine, its soundness and completeness",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW234",
    month = Jun,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134642",
  }
  

• Blockeel, Hendrik; De Raedt, Luc. ISIDD: An interactive system for inductive database design, CW Reports, volume CW229, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1996

  @techreport{134610,
    author = "Blockeel, Hendrik and De Raedt, Luc",
    title = "{ISIDD}: {A}n interactive system for inductive database design",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW229",
    month = Apr,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134610",
  }
  

• Bruynooghe, Maurice; Demoen, Bart; Boulanger, Dmitri; Denecker, Marc; Mulkers, Anne. A freeness and sharing analysis of logic programs based on a pre-interpretation, CW Reports, volume CW233, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1996

  @techreport{131557,
    author = "Bruynooghe, Maurice and Demoen, Bart and Boulanger, Dmitri and Denecker, Marc and Mulkers, Anne",
    title = "A freeness and sharing analysis of logic programs based on a pre-interpretation",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW233",
    month = May,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/131557",
  }
  

• Bruynooghe, Maurice; Janssens, Gerda; Kå gedal, Andreas. Live-structure analysis for logic programming languages with declarations, CW Reports, volume CW231, 20 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1996

  @techreport{132253,
    author = "Bruynooghe, Maurice and Janssens, Gerda and K{\aa} gedal, Andreas",
    title = "Live-structure analysis for logic programming languages with declarations",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW231",
    month = May,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/132253",
  }
  

• Bruynooghe, Maurice; Janssens, Gerda; Martens, Bernhard. Industrial applications of computational logic, CW Reports, volume CW227, 54 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1996

  @techreport{132496,
    author = "Bruynooghe, Maurice and Janssens, Gerda and Martens, Bernhard",
    title = "Industrial applications of computational logic",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW227",
    month = Mar,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/132496",
  }
  

• Codish, Michael; Demoen, Bart; Sagonas, Konstantinos. XSB as the natural habitat for general purpose program analysis, CW Reports, volume CW245, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1996

  @techreport{132760,
    author = "Codish, Michael and Demoen, Bart and Sagonas, Konstantinos",
    title = "{XSB} as the natural habitat for general purpose program analysis",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW245",
    month = Dec,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/132760",
  }
  

• De Raedt, Luc; Dehaspe, Luc. Clausal discovery, CW Reports, volume CW238, 51 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1996

  @techreport{134648,
    author = "De Raedt, Luc and Dehaspe, Luc",
    title = "Clausal discovery",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW238",
    month = Sep,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134648",
  }
  

• de Waal, D André; Denecker, Marc; Bruynooghe, Maurice; Thielscher, Michael. The automatic generation of pre-interpretations for detecting unsolvable planning problems, CW Reports, volume CW224, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1996

  @techreport{132485,
    author = "de Waal, D Andr{\'e} and Denecker, Marc and Bruynooghe, Maurice and Thielscher, Michael",
    title = "The automatic generation of pre-interpretations for detecting unsolvable planning problems",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW224",
    month = Feb,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/132485",
  }
  

• Decorte, Stefaan; De Schreye, Danny; Fabris, M.. Integrating types in abstract interpretation based automatic termination analysis of logicprograms, CW Reports, volume CW222, 73 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1996

  @techreport{132115,
    author = "Decorte, Stefaan and De Schreye, Danny and Fabris, M.",
    title = "Integrating types in abstract interpretation based automatic termination analysis of logicprograms",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW222",
    month = Jan,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/132115",
  }
  

• Dehaspe, Luc; Van Laer, Wim; De Raedt, Luc. Claudien, the clausal discovery engine: user's guide 3.0, CW Reports, volume CW239, 37 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1996

  @techreport{131852,
    author = "Dehaspe, Luc and Van Laer, Wim and De Raedt, Luc",
    title = "Claudien, the clausal discovery engine: user's guide 3.0",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW239",
    month = Sep,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/131852",
  }
  

• Glück, R.; Jørgensen, J.. Fast multi-level binding-time analysis for multiple program specialization, CW Reports, volume CW228, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1996

  @techreport{134612,
    author = "Gl{\"u}ck, R. and J{\o}rgensen, J.",
    title = "Fast multi-level binding-time analysis for multiple program specialization",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW228",
    month = Apr,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134612",
  }
  

• Glück, R.; Jørgensen, J.. A program generator for multi-level specialization, CW Reports, volume CW230, 40 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1996

  @techreport{134611,
    author = "Gl{\"u}ck, R. and J{\o}rgensen, J.",
    title = "A program generator for multi-level specialization",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW230",
    month = Jul,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134611",
  }
  

• Glück, R.; Jørgensen, J.; Martens, Bernhard; Sørensen, M H.. Controlling conjunctive partial deduction of definite logic programs, CW Reports, volume CW226, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1996

  @techreport{131866,
    author = "Gl{\"u}ck, R. and J{\o}rgensen, J. and Martens, Bernhard and S{\o}rensen, M H.",
    title = "Controlling conjunctive partial deduction of definite logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW226",
    month = Feb,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/131866",
  }
  

• Joergensen, Jesper; Leuschel, Michael. Efficiently generating efficient generating extensions in Prolog, CW Reports, volume CW221, 27 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1996

  @techreport{269898,
    author = "Joergensen, Jesper and Leuschel, Michael",
    title = "Efficiently generating efficient generating extensions in {P}rolog",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW221",
    month = Feb,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/269898",
  }
  

• Jørgensen, J.; Leuschel, Michael; Martens, Bernhard. Conjunctive partial deduction in practice, CW Reports, volume CW242, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1996

  @techreport{131857,
    author = "J{\o}rgensen, J. and Leuschel, Michael and Martens, Bernhard",
    title = "Conjunctive partial deduction in practice",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW242",
    month = Nov,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/131857",
  }
  

• Leuschel, Michael; De Schreye, Danny. Creating specialised integrity checks through partial evaluation of meta-interpreters, CW Reports, volume CW237, 47 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1996

  @techreport{132030,
    author = "Leuschel, Michael and De Schreye, Danny",
    title = "Creating specialised integrity checks through partial evaluation of meta-interpreters",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW237",
    month = Jul,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/132030",
  }
  

• Leuschel, Michael; De Schreye, Danny. Logic program specialisation: how to be more specific, CW Reports, volume CW232, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1996

  @techreport{132247,
    author = "Leuschel, Michael and De Schreye, Danny",
    title = "Logic program specialisation: how to be more specific",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW232",
    month = May,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/132247",
  }
  

• Leuschel, Michael; De Schreye, Danny; de Waal, D André. A conceptual embedding of folding into partial deduction: towards a maximal integration, CW Reports, volume CW225, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1996

  @techreport{131568,
    author = "Leuschel, Michael and De Schreye, Danny and de Waal, D Andr{\'e}",
    title = "A conceptual embedding of folding into partial deduction: towards a maximal integration",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW225",
    month = Feb,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/131568",
  }
  

• Leuschel, Michael; Soerensen, Morton Heine. Redundant argument filtering of logic programs, CW Reports, volume CW243, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1996

  @techreport{270793,
    author = "Leuschel, Michael and Soerensen, Morton Heine",
    title = "Redundant argument filtering of logic programs",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW243",
    month = Oct,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/270793",
  }
  

• Mantsivoda, Andrei. Positive negation and the completion paradigm, CW Reports, volume CW235, 46 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1996

  @techreport{134634,
    author = "Mantsivoda, Andrei",
    title = "Positive negation and the completion paradigm",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW235",
    month = Jun,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/134634",
  }
  

• Martens, Bernhard; Bruynooghe, Maurice; Denecker, Marc; De Raedt, Luc; De Schreye, Danny; Janssens, Gerda. A brief overview of logic programming research at the K.U.Leuven, with notes on its industrialrelevance, CW Reports, volume CW223, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1996

  @techreport{131575,
    author = "Martens, Bernhard and Bruynooghe, Maurice and Denecker, Marc and De Raedt, Luc and De Schreye, Danny and Janssens, Gerda",
    title = "A brief overview of logic programming research at the {K}.{U}.{L}euven, with notes on its industrialrelevance",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW223",
    month = Jan,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/131575",
  }
  

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

Yearly overview: