Publications DTAI

1999

Articles in internationally reviewed journals

11 references

• Blockeel, Hendrik. Top-down induction of first order logical decision trees, AI Communications, volume 12, issue 1-2, pages 119-120, 1999

  @article{124053,
    author = "Blockeel, Hendrik",
    title = "Top-down induction of first order logical decision trees",
    journal = "AI Communications",
    volume = "12",
    number = "1-2",
    pages = "119--120",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/124053",
  }
  

• Blockeel, Hendrik; De Raedt, Luc; Jacobs, Nico; Demoen, Bart. Scaling up inductive logic programming by learning from interpretations, Data Mining and Knowledge Discovery, volume 3, issue 1, pages 59-93, 1999

  @article{123964,
    author = "Blockeel, Hendrik and De Raedt, Luc and Jacobs, Nico and Demoen, Bart",
    title = "Scaling up inductive logic programming by learning from interpretations",
    journal = "Data Mining and Knowledge Discovery",
    volume = "3",
    number = "1",
    pages = "59--93",
    month = Mar,
    year = "1999",
    doi = "10.1023/A:1009867806624",
    url = "https://lirias.kuleuven.be/handle/123456789/123964",
  }
  

• Bruynooghe, Maurice; Vandecasteele, Henk; de Waal, D André; Denecker, Marc. Detecting unsolvable queries for definite logic programs, Journal of Functional and Logic Programming, volume 1999, pages 1-35, 1999

  @article{133474,
    author = "Bruynooghe, Maurice and Vandecasteele, Henk and de Waal, D Andr{\'e} and Denecker, Marc",
    title = "Detecting unsolvable queries for definite logic programs",
    journal = "Journal of Functional and Logic Programming",
    volume = "1999",
    pages = "1--35",
    month = Nov,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/133474",
  }
  

• De Schreye, Danny; Glück, R.; Jørgensen, Jesper; Leuschel, Michael; Martens, Bernhard; Sørensen, Morten Heine. Conjunctive partial deduction: foundations, control, algorithms, and experiments, Journal of Logic Programming, volume 41, issue 2-3, pages 231-277, 1999

  @article{125445,
    author = "De Schreye, Danny and Gl{\"u}ck, R. and J{\o}rgensen, Jesper and Leuschel, Michael and Martens, Bernhard and S{\o}rensen, Morten Heine",
    title = "Conjunctive partial deduction: foundations, control, algorithms, and experiments",
    journal = "Journal of Logic Programming",
    volume = "41",
    number = "2-3",
    pages = "231--277",
    month = Nov,
    year = "1999",
    doi = "10.1016/S0743-1066(99)00030-8",
    url = "https://lirias.kuleuven.be/handle/123456789/125445",
  }
  

• Decorte, Stefaan; De Schreye, Danny; Vandecasteele, Henk. Constraint-based termination analysis of logic programs, ACM Transactions on Programming Languages and Systems, volume 21, issue 6, pages 1137-1195, 1999

  @article{124987,
    author = "Decorte, Stefaan and De Schreye, Danny and Vandecasteele, Henk",
    title = "Constraint-based termination analysis of logic programs",
    journal = "ACM Transactions on Programming Languages and Systems",
    volume = "21",
    number = "6",
    pages = "1137--1195",
    month = Nov,
    year = "1999",
    doi = "10.1145/330643.330645",
    url = "https://lirias.kuleuven.be/handle/123456789/124987",
  }
  

• Dehaspe, Luc. Frequent pattern discovery in first-order logic, AI Communications, volume 12, issue 1-2, pages 115-117, 1999

  @article{124054,
    author = "Dehaspe, Luc",
    title = "Frequent pattern discovery in first-order logic",
    journal = "AI Communications",
    volume = "12",
    number = "1-2",
    pages = "115--117",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/124054",
  }
  

• Dehaspe, Luc; Toivonen, H.. Discovery of frequent DATALOG patterns, Data Mining and Knowledge Discovery, volume 3, issue 1, pages 7-36, 1999

  @article{123966,
    author = "Dehaspe, Luc and Toivonen, H.",
    title = "Discovery of frequent {DATALOG} patterns",
    journal = "Data Mining and Knowledge Discovery",
    volume = "3",
    number = "1",
    pages = "7--36",
    month = Mar,
    year = "1999",
    doi = "10.1023/A:1009863704807",
    url = "https://lirias.kuleuven.be/handle/123456789/123966",
  }
  

• Demoen, Bart; Sagonas, K.. Memory management for Prolog with tabling, ACM SIGPLAN Notices, volume 34, issue 3, pages 97-106, 1999

  @article{125067,
    author = "Demoen, Bart and Sagonas, K.",
    title = "Memory management for {P}rolog with tabling",
    journal = "ACM SIGPLAN Notices",
    volume = "34",
    number = "3",
    pages = "97--106",
    month = Mar,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/125067",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. CAT: the copying approach to tabling, Journal of Functional and Logic Programming, volume 1999, pages 1-38, 1999

  @article{133966,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "{CAT}: the copying approach to tabling",
    journal = "Journal of Functional and Logic Programming",
    volume = "1999",
    pages = "1--38",
    month = Nov,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/133966",
  }
  

• Ramakrishnan, I.V.; Rao, Prasad; Sagonas, Konstantinos; Swift, T.; Warren, D S.. Efficient tabling mechanics for logic programs, Journal of Logic Programming, volume 38, issue 1, pages 31-54, 1999

  @article{134695,
    author = "Ramakrishnan, I.V. and Rao, Prasad and Sagonas, Konstantinos and Swift, T. and Warren, D S.",
    title = "Efficient tabling mechanics for logic programs",
    journal = "Journal of Logic Programming",
    volume = "38",
    number = "1",
    pages = "31--54",
    month = Jan,
    year = "1999",
    doi = "10.1016/S0743-1066(98)10013-4",
    url = "https://lirias.kuleuven.be/handle/123456789/134695",
  }
  

• Vanhoof, Wim; De Schreye, Danny; Martens, Bernhard. Bottom-up partial deduction of logic programs, Journal of Functional and Logic Programming, volume 1999, pages 1-33, 1999

  @article{133473,
    author = "Vanhoof, Wim and De Schreye, Danny and Martens, Bernhard",
    title = "Bottom-up partial deduction of logic programs",
    journal = "Journal of Functional and Logic Programming",
    volume = "1999",
    pages = "1--33",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/133473",
  }
  

Books, internationally recognised scientific publisher; as editor

1 reference

• De Schreye, Danny (ed.), Proceedings of the International Conference on Logic Programming (ICLP'99), 622 pages, MIT Press, 1999, isbn 026-254-104-1

  @book{133894,
    editor = "De Schreye, Danny",
    title = "Proceedings of the {I}nternational {C}onference on {L}ogic {P}rogramming ({ICLP}'99)",
    publisher = "MIT Press",
    pages = "622",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/133894",
  }
  

Other published books; as editor

1 reference

• Blockeel, Hendrik; Dehaspe, Luc (eds.), Proceedings of the Ninth Belgian-Dutch Conference on Machine Learning - Benelearn'99, 124 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1999

  @book{134564,
    editor = "Blockeel, Hendrik and Dehaspe, Luc",
    title = "Proceedings of the {N}inth {B}elgian-{D}utch {C}onference on {M}achine {L}earning - {B}enelearn'99",
    publisher = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "124",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134564",
  }
  

Article in book, internationally recognised scientific publisher

4 references

• De Raedt, Luc. A perspective on inductive logic programming, Apt, KR; Marek, Victor; Truszczynski, M.; Warren, D (eds.), Springer, 1999

  @incollection{134649,
    author = "De Raedt, Luc",
    title = "A perspective on inductive logic programming",
    editor = "Apt, KR and Marek, Victor and Truszczynski, M. and Warren, D.",
    publisher = "Springer",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134649",
  }
  

• De Schreye, Danny; Denecker, Marc. Assessment of some issues in CL-theory and program development, Apt, Krzysztof R.; Marek, Victor; Truszczynski, Miroslaw; Warren, David S (eds.), Springer, 1999

  @incollection{134652,
    author = "De Schreye, Danny and Denecker, Marc",
    title = "Assessment of some issues in {CL}-theory and program development",
    editor = "Apt, Krzysztof R. and Marek, Victor and Truszczynski, Miroslaw and Warren, David S.",
    publisher = "Springer",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134652",
  }
  

• Denecker, Marc; Marek, Victor; Truszczynski, M.. Fixpoint 3-valued semantics for autoepistemic logic, Levesque, Hector; Pirri, Fiora (eds.), Springer, 1999

  @incollection{133139,
    author = "Denecker, Marc and Marek, Victor and Truszczynski, M.",
    title = "Fixpoint 3-valued semantics for autoepistemic logic",
    editor = "Levesque, Hector and Pirri, Fiora",
    publisher = "Springer",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/133139",
  }
  

• Vandecasteele, Henk; Demoen, Bart; Van Der Auwera, Joachim. The use of Mercury for the implementation of a finite domain solver, de Castro Dutra, Ines; Carro, Manuel; Pontelli, Enrico; Gupta, Gopal; Silva, Fernando; Santos Costa, Vitor (eds.), Nova Science Publishers, 1999

  @incollection{131757,
    author = "Vandecasteele, Henk and Demoen, Bart and Van Der Auwera, Joachim",
    title = "The use of {M}ercury for the implementation of a finite domain solver",
    editor = "de Castro Dutra, Ines and Carro, Manuel and Pontelli, Enrico and Gupta, Gopal and Silva, Fernando and Santos Costa, Vitor",
    publisher = "Nova Science Publishers",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131757",
  }
  

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

41 references

• Aerts, Kris; De Vlaminck, Karel. Games provide Fun(ctional programming tasks) !, Felleisen, M.; Hanus, M.; Thompson, S (eds.), Workshop on Functional and Declarative Programming in Education, Parijs, September 29, 1999, Proceedings of the Workshop on Functional and Declarative Programming in Education, pages 21-26

  @inproceedings{132234,
    author = "Aerts, Kris and De Vlaminck, Karel",
    title = "Games provide {F}un(ctional programming tasks) !",
    booktitle = "Proceedings of the Workshop on Functional and Declarative Programming in Education, ",
    editor = "Felleisen, M. and Hanus, M. and Thompson, S.",
    pages = "21--26",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/132234",
  }
  

• Aerts, Kris; De Vlaminck, Karel. Visto : A More Declarative GUI Framework, Vanderdonckt, J.; Puerta, A (eds.), 3rd International Conference on Computer-Aided Design of User Interfaces, Louvain-la-Neuve, Belgium, 21-23 october 1999, Proceedings of the 3rd International Conference on Computer-Aided Design of User Interfaces, pages 73-78

  @inproceedings{131232,
    author = "Aerts, Kris and De Vlaminck, Karel",
    title = "Visto : {A} {M}ore {D}eclarative {GUI} {F}ramework",
    booktitle = "Proceedings of the 3rd International Conference on Computer-Aided Design of User Interfaces, ",
    editor = "Vanderdonckt, J. and Puerta, A.",
    pages = "73--78",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131232",
  }
  

• Blockeel, Hendrik; Dehaspe, Luc; Driessens, Kurt; Jacobs, Nico; Kosala, Raymondus; Ramon, Jan; Van Laer, Wim. The Leuven submission to the Benelearn-99 competition, van der Putten, P.; van Someren, M (eds.), Belgisch-Nederlandse Machine Learning Conferentie, Maastricht, November 2, 1999, The Benelearn 1999 Competition, pages 1-8

  @inproceedings{131215,
    author = "Blockeel, Hendrik and Dehaspe, Luc and Driessens, Kurt and Jacobs, Nico and Kosala, Raymondus and Ramon, Jan and Van Laer, Wim",
    title = "The {L}euven submission to the {B}enelearn-99 competition",
    booktitle = "The Benelearn 1999 Competition, ",
    editor = "van der Putten, P. and van Someren, M.",
    pages = "1--8",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131215",
  }
  

• Blockeel, Hendrik; Dzeroski, Saso; Grbovic, Jasna. Simultaneous prediction of multiple chemical parameters of river water quality with TILDE, Lecture Notes in Computer Science, volume 1704, pages 32-40, Springer, 1999

  @inproceedings{125270,
    author = "Blockeel, Hendrik and Dzeroski, Saso and Grbovic, Jasna",
    title = "Simultaneous prediction of multiple chemical parameters of river water quality with {TILDE}",
    booktitle = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "32--40",
    year = "1999",
    doi = "10.1007/b72280",
    url = "https://lirias.kuleuven.be/handle/123456789/125270",
  }
  

• Blockeel, Hendrik; Dzeroski, Saso; Grbovic, Jasna. Simultaneous prediction of multiple chemical parameters of river water quality with TILDE, Dzeroski, Saso; Flach, Peter (eds.), International Workshop on Inductive Logic Programming (Work-in-orogress track), Bled, Slovenia, 24-27 June 1999, ILP-99 Late Breaking News, pages 15-21

  @inproceedings{201880,
    author = "Blockeel, Hendrik and Dzeroski, Saso and Grbovic, Jasna",
    title = "Simultaneous prediction of multiple chemical parameters of river water quality with {TILDE}",
    booktitle = "ILP-99 Late Breaking News, ",
    editor = "Dzeroski, Saso and Flach, Peter",
    pages = "15--21",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/201880",
  }
  

• Bruynooghe, Maurice; Pelov, Nikolay; Denecker, Marc. Towards a more declarative language for solving finite domain problems, Apt, Krzysztof R.; Kakas, Antonios; Monfroy, Eric; Rossi, Francesca (eds.), 1999 ERCIM/COMPULOG Workshop on Constraints, Paphos, Cyprus, October 1999, Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints, pages 1-14

  @inproceedings{131362,
    author = "Bruynooghe, Maurice and Pelov, Nikolay and Denecker, Marc",
    title = "Towards a more declarative language for solving finite domain problems",
    booktitle = "Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints, ",
    editor = "Apt, Krzysztof R. and Kakas, Antonios and Monfroy, Eric and Rossi, Francesca",
    pages = "1--14",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131362",
  }
  

• De Mot, Emmanuel; Denecker, Marc; De Schreye, Danny; Janssens, Gerda. Prescriptive type inference as an application of abduction, Etalle, Sandro (ed.), 1999 Benelux Workshop on Logic Programming, Maastricht, The Netherlands, November 1999, Proceedings of the 1999 Benelux Workshop on Logic Programming, pages 1-13

  @inproceedings{132216,
    author = "De Mot, Emmanuel and Denecker, Marc and De Schreye, Danny and Janssens, Gerda",
    title = "Prescriptive type inference as an application of abduction",
    booktitle = "Proceedings of the 1999 Benelux Workshop on Logic Programming, ",
    editor = "Etalle, Sandro",
    pages = "1--13",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/132216",
  }
  

• De Raedt, Luc; Blockeel, Hendrik. Relational learning and inductive logic programming made easy: abstract of tutorial, European Conference on Principles and Practice of Knowledge Discovery in Databases, Prague, Czech Republic, September 1999, Lecture Notes in Computer Science, volume 1704, page590, Springer

  @inproceedings{125196,
    author = "De Raedt, Luc and Blockeel, Hendrik",
    title = "Relational learning and inductive logic programming made easy: abstract of tutorial",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "590--590",
    year = "1999",
    doi = "10.1007/b72280",
    url = "https://lirias.kuleuven.be/handle/123456789/125196",
  }
  

• Dehaspe, Luc; Forrier, Maarten. Transformation-based learning meets frequent pattern discovery, Cussens, J (ed.), Language Logic and Learning Workshop, Bled, Slovenia, Proceedings of the Language Logic and Learning Workshop, pages 40-52, 1999

  @inproceedings{134480,
    author = "Dehaspe, Luc and Forrier, Maarten",
    title = "Transformation-based learning meets frequent pattern discovery",
    booktitle = "Proceedings of the Language Logic and Learning Workshop, ",
    editor = "Cussens, J.",
    pages = "40--52",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134480",
  }
  

• Dehaspe, Luc; Toivonen, H.; King, Ross D.. Finding frequent substructures in chemical compounds, Gini, GC; Katritzky, AR (eds.), AAAI Spring Symposium on Predictive Toxicology of Chemicals : experiences and impact of AI tools, Stanford, California, march 1999, Proceedings of the AAAI Spring Symposium on Predictive Toxicology of Chemicals : Experiences and Impact of AI Tools, pages 78-81

  @inproceedings{134481,
    author = "Dehaspe, Luc and Toivonen, H. and King, Ross D.",
    title = "Finding frequent substructures in chemical compounds",
    booktitle = "Proceedings of the AAAI Spring Symposium on Predictive Toxicology of Chemicals : Experiences and Impact of AI Tools, ",
    editor = "Gini, GC and Katritzky, AR",
    pages = "78--81",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134481",
  }
  

• Demoen, Bart; García de la Banda, M.; Harvey, W.; Mariott, K.; Stuckey, P.. Herbrand constraint solving in HAL, De Schreye, Daniel (ed.), International Conference on Logic Programming, Las Cruces, New Mexico, USA, November 1999, Proceedings of the International Conference on Logic Programming, pages 260-274

  @inproceedings{131781,
    author = "Demoen, Bart and Garc{\'{\i}}a de la Banda, M. and Harvey, W. and Mariott, K. and Stuckey, P.",
    title = "Herbrand constraint solving in {HAL}",
    booktitle = "Proceedings of the International Conference on Logic Programming, ",
    editor = "De Schreye, Daniel",
    pages = "260--274",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131781",
  }
  

• Demoen, Bart; García de la Banda, M.; Harvey, W.; Marriott, K.; Stuckey, P.. An overview of HAL, Jaffar, J (ed.), International Conference on Principles and Practice of Constraint Programming, Alexandria, Virginia, USA, october 1999, Proceedings of the International Conference on Principles and Practice of Constraint Programming, volume 1713, pages 174-188, Springer-verlag berlin

  @inproceedings{124057,
    author = "Demoen, Bart and Garc{\'{\i}}a de la Banda, M. and Harvey, W. and Marriott, K. and Stuckey, P.",
    title = "An overview of {HAL}",
    booktitle = "Proceedings of the International Conference on Principles and Practice of Constraint Programming, ",
    editor = "Jaffar, J.",
    publisher = "Springer-verlag berlin",
    pages = "174--188",
    year = "1999",
    doi = "978-3-540-66626-4",
    url = "https://lirias.kuleuven.be/handle/123456789/124057",
  }
  

• Demoen, Bart; García de la Banda, M.; Stuckey, P.. Type constraint solving for parametric and ad-hoc polymorphism, Edwards, J (ed.), 22nd Australian Computer Science Conference, Auckland, New Zealand, January 1999, Computer Science'99, The Proceedings of the 22nd Australian Computer Science Conference, pages 217-228

  @inproceedings{132016,
    author = "Demoen, Bart and Garc{\'{\i}}a de la Banda, M. and Stuckey, P.",
    title = "Type constraint solving for parametric and ad-hoc polymorphism",
    booktitle = "Computer Science'99, The Proceedings of the 22nd Australian Computer Science Conference, ",
    editor = "Edwards, J.",
    pages = "217--228",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/132016",
  }
  

• Demoen, Bart; Janssens, Gerda; Vandecasteele, Henk. Executing query flocks for ILP, Etalle, Sandro (ed.), 1999 Benelux Workshop on Logic Programming, Maastricht, 5 november 1999, Proceedings of the 1999 Benelux Workshop on Logic Programming (BENELOG'99), pages 1-14

  @inproceedings{132215,
    author = "Demoen, Bart and Janssens, Gerda and Vandecasteele, Henk",
    title = "Executing query flocks for {ILP}",
    booktitle = "Proceedings of the 1999 Benelux Workshop on Logic Programming (BENELOG'99), ",
    editor = "Etalle, Sandro",
    pages = "1--14",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/132215",
  }
  

• Demoen, Bart; Sagonas, K.. CHAT: The Copy-Hybrid Approach to Tabling, Gupta, G (ed.), First International Workshop on Practical Aspects of Declarative Languages, San Antonio, Texas, USA, Januari 1999, Proceedings of First International Workshop on Practical Aspects of Declarative Languages, volume 1551, pages 106-121, Springer-verlag berlin

  @inproceedings{123768,
    author = "Demoen, Bart and Sagonas, K.",
    title = "{CHAT}: {T}he {C}opy-{H}ybrid {A}pproach to {T}abling",
    booktitle = "Proceedings of First International Workshop on Practical Aspects of Declarative Languages, ",
    editor = "Gupta, G.",
    publisher = "Springer-verlag berlin",
    pages = "106--121",
    year = "1999",
    doi = "10.1007/3-540-49201-1\_{}8",
    url = "https://lirias.kuleuven.be/handle/123456789/123768",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. CHAT is $heta$(SLG-WAM), Ganzinger, H.; Mc. Allester, D.; Voronkov, A (eds.), 6th International Conference on Logic for Programming and Automated Reasoning, Tbilisi, Georgia, september 1999, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning, volume 1705, pages 337-357

  @inproceedings{132355,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "{CHAT} is $heta$({SLG}-{WAM})",
    booktitle = "Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning, ",
    editor = "Ganzinger, H. and Mc. Allester, D. and Voronkov, A.",
    pages = "337--357",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/132355",
  }
  

• Denecker, Marc; Marek, Victor; Truszczynski, M.. Approximating operators, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning, Minker, J (ed.), NFS-workshop on Logic-based Artificial Intelligence, Washington, USA, June 4-16, 1999, NFS-workshop on Logic-based Artificial Intelligence, pages 1-26

  @inproceedings{133521,
    author = "Denecker, Marc and Marek, Victor and Truszczynski, M.",
    title = "Approximating operators, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning",
    booktitle = "NFS-workshop on Logic-based Artificial Intelligence, ",
    editor = "Minker, J.",
    pages = "1--26",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/133521",
  }
  

• Denecker, Marc; Van Nuffelen, Bert. Experiments for integration CLP and abduction, Apt, Krysztof R.; Kakas, Antonios C.; Monfroy, Eric; Rossi, Francesca (eds.), 1999 ERCIM/COMPULOG workshop on Constraints, Paphos, Cyprus, October 25-27, 1999, Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints, pages 1-15

  @inproceedings{131361,
    author = "Denecker, Marc and Van Nuffelen, Bert",
    title = "Experiments for integration {CLP} and abduction",
    booktitle = "Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints, ",
    editor = "Apt, Krysztof R. and Kakas, Antonios C. and Monfroy, Eric and Rossi, Francesca",
    pages = "1--15",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131361",
  }
  

• Dershowitz, N.; Lindenstrauss, N.; Sagiv, Yehoshua; Serebrenik, Alexander. Automatic termination analysis of programs containing arithmetic predicates, Etalle, S.; Smaus, J (eds.), Workshop on Verification of Logic Programs, Las Cruces, New Mexico, U.S.A, December 1999, Proceedings of Workshop on Verification of Logic Programs, pages 1-20

  @inproceedings{132029,
    author = "Dershowitz, N. and Lindenstrauss, N. and Sagiv, Yehoshua and Serebrenik, Alexander",
    title = "Automatic termination analysis of programs containing arithmetic predicates",
    booktitle = "Proceedings of Workshop on Verification of Logic Programs, ",
    editor = "Etalle, S. and Smaus, J.",
    pages = "1--20",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/132029",
  }
  

• Driessens, Kurt; Jacobs, Nico; Robben, Bert. KULRoT 1999 Team Description, Coradeshi, S.; Balch, T.; Kraetzschmar, G.; Stone, P (eds.), Robot World Cup Soccer Games and Conference, Stockholm, Sweden, August 1999, Team Descriptions of the Robot World Cup Soccer Games and Conference, pages 69-73

  @inproceedings{131677,
    author = "Driessens, Kurt and Jacobs, Nico and Robben, Bert",
    title = "{KULR}o{T} 1999 {T}eam {D}escription",
    booktitle = "Team Descriptions of the Robot World Cup Soccer Games and Conference, ",
    editor = "Coradeshi, S. and Balch, T. and Kraetzschmar, G. and Stone, P.",
    pages = "69--73",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131677",
  }
  

• Dzeroski, S.; Blockeel, Hendrik; Kompare, B.; Kramer, S.; Pfahringer, B.; Van Laer, Wim. Experiments in predicting biodegradability, Inductive Logic Programming, Bled, Slovenia, 24-27 June 1999, Lecture Notes in Computer Science, volume 1634, pages 80-91, Springer

  @inproceedings{124527,
    author = "Dzeroski, S. and Blockeel, Hendrik and Kompare, B. and Kramer, S. and Pfahringer, B. and Van Laer, Wim",
    title = "Experiments in predicting biodegradability",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "80--91",
    year = "1999",
    doi = "10.1007/3-540-48751-4\_{}9",
    url = "https://lirias.kuleuven.be/handle/123456789/124527",
  }
  

• Dzeroski, Saso; Blockeel, Hendrik; Kramer, S.; Kompare, B.; Pfahringer, B.; Van Laer, Wim. Experiments in predicting biodegradability, Dzeroski, S.; Flach, P (eds.), Ninth International Workshop on Inductive Logic Programming, Bled, Slovenia, June 1999, Proceedings of the Ninth International Workshop on Inductive Logic Programming, volume 1634, pages 80-91

  @inproceedings{166798,
    author = "Dzeroski, Saso and Blockeel, Hendrik and Kramer, S. and Kompare, B. and Pfahringer, B. and Van Laer, Wim",
    title = "Experiments in predicting biodegradability",
    booktitle = "Proceedings of the Ninth International Workshop on Inductive Logic Programming, ",
    editor = "Dzeroski, S. and Flach, P.",
    pages = "80--91",
    year = "1999",
    doi = "10.1007/3-540-48751-4\_{}9",
    url = "https://lirias.kuleuven.be/handle/123456789/166798",
  }
  

• Jacobs, Nico. Adaplix : Towards Adaptive Websites, Blockeel, Hendrik; Dehaspe, Luc (eds.), 8th Belgian-Dutch Conference on Machine Learning (Benelearn'99), Maastricht, 5 november 1999, Proceedings of the 8th Belgian-Dutch Conference on Machine Learning (Benelearn'99), pages 1-6

  @inproceedings{131427,
    author = "Jacobs, Nico",
    title = "Adaplix : {T}owards {A}daptive {W}ebsites",
    booktitle = "Proceedings of the 8th Belgian-Dutch Conference on Machine Learning (Benelearn'99), ",
    editor = "Blockeel, Hendrik and Dehaspe, Luc",
    pages = "1--6",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131427",
  }
  

• Jacobs, Nico. Adaplix : Towards Adaptive Websites, De Bra, P.; Hardman, L (eds.), Informatiewetenschap'99 Conferentie, Proceedings van de Informatiewetenschap'99 Conferentie, pages 1-6, 1999

  @inproceedings{166779,
    author = "Jacobs, Nico",
    title = "Adaplix : {T}owards {A}daptive {W}ebsites",
    booktitle = "Proceedings van de Informatiewetenschap'99 Conferentie, ",
    editor = "De Bra, P. and Hardman, L.",
    pages = "1--6",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/166779",
  }
  

• Knobbe, Arno; Blockeel, Hendrik; Siebes, Arno; van der Wallen, Daniel. Multi-relational data mining, Blockeel, Hendrik; Dehaspe, Luc (eds.), 9th Belgian-Dutch Conference on Machine Learning, Maastricht, The Netherlands, November 5, 1999, Proceedings of the 9th Belgian-Dutch Conference on Machine Learning, pages 61-74

  @inproceedings{134477,
    author = "Knobbe, Arno and Blockeel, Hendrik and Siebes, Arno and van der Wallen, Daniel",
    title = "Multi-relational data mining",
    booktitle = "Proceedings of the 9th Belgian-Dutch Conference on Machine Learning, ",
    editor = "Blockeel, Hendrik and Dehaspe, Luc",
    pages = "61--74",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134477",
  }
  

• Mazur, Nancy; Janssens, Gerda; Bruynooghe, Maurice. Towards modular liveness analysis for Mercury, Sagonas, Konstantinos; Tarau, Paul (eds.), International Workshop on Implementation of Declarative Languages, Paris, France, September 1999, Proceedings of the International Workshop on Implementation of Declarative Languages, pages 1-17

  @inproceedings{167037,
    author = "Mazur, Nancy and Janssens, Gerda and Bruynooghe, Maurice",
    title = "Towards modular liveness analysis for {M}ercury",
    booktitle = "Proceedings of the International Workshop on Implementation of Declarative Languages, ",
    editor = "Sagonas, Konstantinos and Tarau, Paul",
    pages = "1--17",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/167037",
  }
  

• Mazur, Nancy; Janssens, Gerda; Bruynooghe, Maurice. Towards modular liveness analysis for Mercury, Etalle, Sandro (ed.), 1999 Benelux Workshop on Logic Programming, Maastricht, The Netherlands, 5 November 1999, Proceedings of the 1999 Benelux Workshop on Logic Programming, pages 1-17

  @inproceedings{132217,
    author = "Mazur, Nancy and Janssens, Gerda and Bruynooghe, Maurice",
    title = "Towards modular liveness analysis for {M}ercury",
    booktitle = "Proceedings of the 1999 Benelux Workshop on Logic Programming, ",
    editor = "Etalle, Sandro",
    pages = "1--17",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/132217",
  }
  

• Nienhuys-Cheng, Shan-Hwei; Van Laer, Wim; Ramon, Jan; De Raedt, Luc. Generalizing refinement operators to learn prenex conjunctive normal forms, Dzeroski, Saso; Flach, Peter (eds.), Ninth International Workshop on Inductive Logic Programming, Bled, Slovenia, June 1999, Inductive Logic Programming, volume 1634, pages 245-256, Springer-verlag berlin

  @inproceedings{166795,
    author = "Nienhuys-Cheng, Shan-Hwei and Van Laer, Wim and Ramon, Jan and De Raedt, Luc",
    title = "Generalizing refinement operators to learn prenex conjunctive normal forms",
    booktitle = "Inductive Logic Programming, ",
    editor = "Dzeroski, Saso and Flach, Peter",
    publisher = "Springer-verlag berlin",
    pages = "245--256",
    year = "1999",
    doi = "10.1007/3-540-48751-4\_{}23",
    url = "https://lirias.kuleuven.be/handle/123456789/166795",
  }
  

• Pelov, Nikolay; Bruynooghe, Maurice. Proving failure of queries for definite logic programs using XSB-Prolog, Ganzinger, Harald; McAllester, David; Voronkov, Andrei (eds.), 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), Tbilisi, Republic of Georgia, 6-10 September 1999, Lecture Notes in Computer Science, volume 1705, pages 358-375, Springer

  @inproceedings{132357,
    author = "Pelov, Nikolay and Bruynooghe, Maurice",
    title = "Proving failure of queries for definite logic programs using {XSB}-{P}rolog",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Ganzinger, Harald and McAllester, David and Voronkov, Andrei",
    publisher = "Springer",
    pages = "358--375",
    year = "1999",
    doi = "10.1007/3-540-48242-3\_{}22",
    url = "https://lirias.kuleuven.be/handle/123456789/132357",
  }
  

• Ramon, Jan; De Raedt, Luc. Instance based function learning, Dzeroski, S.; Flach, P (eds.), International Workshop on Inductive Logic Programming, Bled, Slovenia, 24-27 June 1999, Lecture Notes in Computer Science, volume 1634, pages 268-278, Springer

  @inproceedings{124511,
    author = "Ramon, Jan and De Raedt, Luc",
    title = "Instance based function learning",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Dzeroski, S. and Flach, P.",
    publisher = "Springer",
    pages = "268--278",
    year = "1999",
    doi = "10.1007/3-540-48751-4\_{}25",
    url = "https://lirias.kuleuven.be/handle/123456789/124511",
  }
  

• Ramon, Jan; Dehaspe, Luc. Upgrading Bayesian Clustering to First Order Logic, Blockeel, Hendrik; Dehaspe, Luc (eds.), 9th Belgian-Dutch Conference on Machine Learning, Maastricht, 5 november 1999, Proceedings of the 9th Belgian-Dutch Conference on Machine Learning, pages 77-84

  @inproceedings{131426,
    author = "Ramon, Jan and Dehaspe, Luc",
    title = "Upgrading {B}ayesian {C}lustering to {F}irst {O}rder {L}ogic",
    booktitle = "Proceedings of the 9th Belgian-Dutch Conference on Machine Learning, ",
    editor = "Blockeel, Hendrik and Dehaspe, Luc",
    pages = "77--84",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131426",
  }
  

• Riche, Jacques; Meyer, R. K.. Kripke, Belnap, Urquhart and relevant decidability and complexity, Gottlob, G.; Grandjean, E.; Syr, K (eds.), Computer Science Logic, Computer Science Logic, volume 1584, pages 224-240, 1999

  @inproceedings{132515,
    author = "Riche, Jacques and Meyer, R. K.",
    title = "Kripke, {B}elnap, {U}rquhart and relevant decidability and complexity",
    booktitle = "Computer Science Logic, ",
    editor = "Gottlob, G. and Grandjean, E. and Syr, K.",
    pages = "224--240",
    year = "1999",
    doi = "10.1007/10703163\_{}16",
    url = "https://lirias.kuleuven.be/handle/123456789/132515",
  }
  

• Vandecasteele, Henk. MROPEII: A finite domain solver on top of Mercury, Apt, KR; Kakas, AC; Monfroy, E.; Rossi, F (eds.), the 1999 ERCIM/COMPULOG Workshop on Constraints, Paphos, Cyprus, October 1999, Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints, pages 1-13

  @inproceedings{134524,
    author = "Vandecasteele, Henk",
    title = "{MROPEII}: {A} finite domain solver on top of {M}ercury",
    booktitle = "Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints, ",
    editor = "Apt, KR and Kakas, AC and Monfroy, E. and Rossi, F.",
    pages = "1--13",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134524",
  }
  

• Vanhoof, Wim; Bruynooghe, Maurice. Binding-time analysis for Mercury, Bossi, A (ed.), 9th International Workshop on Logic-based Program Synthesis and Transformation, Venezia, Italia, 22-24 September 1999, Pre-Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), pages 1-10

  @inproceedings{131449,
    author = "Vanhoof, Wim and Bruynooghe, Maurice",
    title = "Binding-time analysis for {M}ercury",
    booktitle = "Pre-Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), ",
    editor = "Bossi, A.",
    pages = "1--10",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131449",
  }
  

• Vanhoof, Wim; Bruynooghe, Maurice. Binding-time analysis for Mercury, De Schreye, Danny (ed.), International Conference on Logic Programming, Las Cruces, New Mexico, USA, November 29 - December 4, Proceedings of the 16th International Conference on Logic Programming, pages 500 -514, MIT Press, 1999

  @inproceedings{183500,
    author = "Vanhoof, Wim and Bruynooghe, Maurice",
    title = "Binding-time analysis for {M}ercury",
    booktitle = "Proceedings of the 16th International Conference on Logic Programming, ",
    editor = "De Schreye, Danny",
    publisher = "MIT Press",
    pages = "500 --514",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/183500",
  }
  

• Vanhoof, Wim; Bruynooghe, Maurice. Towards modular binding-time analysis for first-order Mercury, Leuschel, Michael (ed.), Workshop on Optimization and Implementation of Declarative Languages, Las Cruces, New Mexico, USA, December 1999, Proceedings of the Workshop on Optimization and Implementation of Declarative Languages, pages 1-9

  @inproceedings{133137,
    author = "Vanhoof, Wim and Bruynooghe, Maurice",
    title = "Towards modular binding-time analysis for first-order {M}ercury",
    booktitle = "Proceedings of the Workshop on Optimization and Implementation of Declarative Languages, ",
    editor = "Leuschel, Michael",
    pages = "1--9",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/133137",
  }
  

• Vanhoof, Wim; De Schreye, Danny; Martens, Bernhard. Bottom-up specialisation of logic programs, Logic-based Program Synthesis and Transformation, volume 1559, pages 325-327, Springer-verlag berlin, 1999

  @inproceedings{125461,
    author = "Vanhoof, Wim and De Schreye, Danny and Martens, Bernhard",
    title = "Bottom-up specialisation of logic programs",
    booktitle = "Logic-based Program Synthesis and Transformation",
    publisher = "Springer-verlag berlin",
    pages = "325--327",
    year = "1999",
    doi = "10.1007/3-540-48958-4\_{}23",
    url = "https://lirias.kuleuven.be/handle/123456789/125461",
  }
  

• Verbaeten, Sofie. Termination analysis for abductive general logic programs, Bossi, A (ed.), 9th International Workshop on Logic-Based Program Synthesis and Transformation, Venezia, Italy, Preproceedings of 9th Int. Workshop on Logic-Based Program Synthesis and Transformation, Pre-proceedings of LOPSTR'99, pages 1-8, 1999

  @inproceedings{131451,
    author = "Verbaeten, Sofie",
    title = "Termination analysis for abductive general logic programs",
    booktitle = "Preproceedings of 9th Int. Workshop on Logic-Based Program Synthesis and Transformation, Pre-proceedings of LOPSTR'99, ",
    editor = "Bossi, A.",
    pages = "1--8",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/131451",
  }
  

• Verbaeten, Sofie; De Schreye, Danny. Termination analysis of tabled logic programs using mode and type information, Middeldorp, A.; Sato, T (eds.), 4th Fuji International Symposium on Functional and Logic Programming, Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, volume 1722, pages 163-178, Springer-verlag berlin, 1999

  @inproceedings{124522,
    author = "Verbaeten, Sofie and De Schreye, Danny",
    title = "Termination analysis of tabled logic programs using mode and type information",
    booktitle = "Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, ",
    editor = "Middeldorp, A. and Sato, T.",
    publisher = "Springer-verlag berlin",
    pages = "163--178",
    year = "1999",
    doi = "10.1007/10705424\_{}11",
    url = "https://lirias.kuleuven.be/handle/123456789/124522",
  }
  

• Verbaeten, Sofie; De Schreye, Danny. Constraint-based termination proofs for Prolog with tabling, Etalle, S (ed.), Benelux Workshop on Logic Programming, Maastricht, 5 november 1999, Proceedings of the 1999 Benelux Workshop on Logic Programming (Benelog'99), pages 1-15

  @inproceedings{132028,
    author = "Verbaeten, Sofie and De Schreye, Danny",
    title = "Constraint-based termination proofs for {P}rolog with tabling",
    booktitle = "Proceedings of the 1999 Benelux Workshop on Logic Programming (Benelog'99), ",
    editor = "Etalle, S.",
    pages = "1--15",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/132028",
  }
  

• Verbaeten, Sofie; Sagonas, K.; De Schreye, Danny. Modular termination proofs for prolog with tabling, Nadathur, Gopalan (ed.), Principles and Practice of Declarative Programming, Paris, France, September/October 1999, Principles and Practice of Declarative Programming, Proceedings of PPDP'99, volume 1702, pages 342-359, Springer-verlag berlin

  @inproceedings{125422,
    author = "Verbaeten, Sofie and Sagonas, K. and De Schreye, Danny",
    title = "Modular termination proofs for prolog with tabling",
    booktitle = "Principles and Practice of Declarative Programming, Proceedings of PPDP'99, ",
    editor = "Nadathur, Gopalan",
    publisher = "Springer-verlag berlin",
    pages = "342--359",
    year = "1999",
    doi = "10.1007/10704567\_{}21",
    url = "https://lirias.kuleuven.be/handle/123456789/125422",
  }
  

Meeting abstracts, presented at international conferences and symposia

3 references

• Blockeel, Hendrik. The use of inductive logic programming for user modelling, COIL Workshop on Computational Intelligence in User Modelling, Bristol, U.K., November 1999

  @unpublished{134555,
    author = "Blockeel, Hendrik",
    title = "The use of inductive logic programming for user modelling",
    note = "COIL Workshop on Computational Intelligence in User Modelling, Bristol, U.K., November 1999",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134555",
  }
  

• Verbaeten, Sofie; De Schreye, Danny. Termination of simply moded, well-typed logic programs under tabled execution mechanism, 4th International Workshop on Termination, Dagstuhl, Germany, May 1999

  @unpublished{134413,
    author = "Verbaeten, Sofie and De Schreye, Danny",
    title = "Termination of simply moded, well-typed logic programs under tabled execution mechanism",
    note = "4th International Workshop on Termination, Dagstuhl, Germany, May 1999",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134413",
  }
  

• Verdoolaege, Sven; Denecker, Marc; Schelkens, Vanessa; De Schreye, Danny; Van Eynde, Frank. Semantic interpretation of temporal information by abductive inference, 10th Computational Linguistics in the Netherlands, Utrecht, The Netherlands, 10 december 1999

  @unpublished{167228,
    author = "Verdoolaege, Sven and Denecker, Marc and Schelkens, Vanessa and De Schreye, Danny and Van Eynde, Frank",
    title = "Semantic interpretation of temporal information by abductive inference",
    note = "10th Computational Linguistics in the Netherlands, Utrecht, The Netherlands, 10 december 1999",
    month = Dec,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/167228",
  }
  

Meeting abstracts, presented at other conferences and symposia

1 reference

• Blockeel, Hendrik; Dehaspe, Luc. Data Mining : wat, hoe, waarom ?, Data Mining Studiedag, Antwerp, Belgium, June 1999

  @unpublished{134520,
    author = "Blockeel, Hendrik and Dehaspe, Luc",
    title = "Data {M}ining : wat, hoe, waarom ?",
    note = "Data Mining Studiedag, Antwerp, Belgium, June 1999",
    month = Jun,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134520",
  }
  

Thesis

1 reference

• Vandecasteele, Henk. Constraint logic programming: applications and implementation, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1999, 226 + xii pages, De Schreye, Danny and Bruynooghe, Maurice (supervisors)

  @phdthesis{134574,
    author = "Vandecasteele, Henk",
    title = "Constraint logic programming: applications and implementation",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "226 + xii",
    month = May,
    year = "1999",
    note = "De Schreye, Danny and Bruynooghe, Maurice (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134574",
  }
  

Internal reports

6 references

• Blockeel, Hendrik; Dzeroski, Saso. Experiments with TILDE in the river water quality domain, Technical Report IJS-DP, issue 8089, Institut J. Stefan, Ljubljana, Slovenia, June 1999

  @techreport{134609,
    author = "Blockeel, Hendrik and Dzeroski, Saso",
    title = "Experiments with {TILDE} in the river water quality domain",
    institution = "Institut J. Stefan, Ljubljana, Slovenia",
    type = "Technical Report IJS-DP",
    number = "",
    month = Jun,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/134609",
  }
  

• Demoen, Bart; Janssens, Gerda; Vandecasteele, Henk. Executing query flocks for ILP, CW Reports, volume CW280, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1999

  @techreport{166916,
    author = "Demoen, Bart and Janssens, Gerda and Vandecasteele, Henk",
    title = "Executing query flocks for {ILP}",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW280",
    month = Sep,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/166916",
  }
  

• Knobbe, Arno; Blockeel, Hendrik; Siebes, Arno; van der Wallen, Daniel. Multi-relational data mining, Technical Report CWI (Centrum voor Wiskunde en Informatica), volume INS-R9908, 11 pages, 1999

  @techreport{201886,
    author = "Knobbe, Arno and Blockeel, Hendrik and Siebes, Arno and van der Wallen, Daniel",
    title = "Multi-relational data mining",
    type = "Technical Report CWI (Centrum voor Wiskunde en Informatica)",
    number = "INS-R9908",
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/201886",
  }
  

• Mazur, Nancy; Janssens, Gerda; Bruynooghe, Maurice. Towards memory reuse for Mercury, CW Reports, volume CW278, 25 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1999

  @techreport{132483,
    author = "Mazur, Nancy and Janssens, Gerda and Bruynooghe, Maurice",
    title = "Towards memory reuse for {M}ercury",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW278",
    month = Jun,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/132483",
  }
  

• Verbaeten, Sofie; De Schreye, Danny. Termination analysis of tabled logic programs using mode and type information, CW Reports, volume CW277, 38 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1999

  @techreport{166982,
    author = "Verbaeten, Sofie and De Schreye, Danny",
    title = "Termination analysis of tabled logic programs using mode and type information",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW277",
    month = Jan,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/166982",
  }
  

• Verbaeten, Sofie; Sagonas, Konstantinos; De Schreye, Danny. Modular termination proofs for Prolog with tabling, CW Reports, volume CW279, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1999

  @techreport{166984,
    author = "Verbaeten, Sofie and Sagonas, Konstantinos and De Schreye, Danny",
    title = "Modular termination proofs for {P}rolog with tabling",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW279",
    month = Sep,
    year = "1999",
    url = "https://lirias.kuleuven.be/handle/123456789/166984",
  }
  

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

Yearly overview: