Publications DTAI

2000

Articles in internationally reviewed journals

8 references

• Bruynooghe, Maurice. Benelog - The first (and last?) ten meetings, Artificial Intelligence Communications, volume 13, issue 1, pages 7-8, 2000

  @article{124273,
    author = "Bruynooghe, Maurice",
    title = "Benelog - {T}he first (and last?) ten meetings",
    journal = "Artificial Intelligence Communications",
    volume = "13",
    number = "1",
    pages = "7--8",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/124273",
  }
  

• De Schreye, Danny; Bruynooghe, Maurice; Demoen, Bart; Denecker, Marc; Janssens, Gerda; Martens, Bern. Project report on LP+: a second generation Logic Programming language, AI Communications, volume 13, issue 1, pages 13-18, 2000

  @article{124271,
    author = "De Schreye, Danny and Bruynooghe, Maurice and Demoen, Bart and Denecker, Marc and Janssens, Gerda and Martens, Bern",
    title = "Project report on {LP}+: a second generation {L}ogic {P}rogramming language",
    journal = "AI Communications",
    volume = "13",
    number = "1",
    pages = "13--18",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/124271",
  }
  

• Demoen, Bart; Sagonas, K.. CHAT: the copy-hybrid approach to tabling, Future Generation Computer Systems, volume 16, issue 7, pages 809-830, 2000

  @article{124041,
    author = "Demoen, Bart and Sagonas, K.",
    title = "{CHAT}: the copy-hybrid approach to tabling",
    journal = "Future Generation Computer Systems",
    volume = "16",
    number = "7",
    pages = "809--830",
    month = May,
    year = "2000",
    doi = "10.1016/S0167-739X(99)00092-8",
    url = "https://lirias.kuleuven.be/handle/123456789/124041",
  }
  

• Denecker, Marc; Kakas, A.. Special issue: abductive logic programming - Guest editors' introduction, Journal of Logic Programming, volume 44, issue 1-3, pages 1-4, 2000

  @article{123906,
    author = "Denecker, Marc and Kakas, A.",
    title = "Special issue: abductive logic programming - {G}uest editors' introduction",
    journal = "Journal of Logic Programming",
    volume = "44",
    number = "1-3",
    pages = "1--4",
    month = Jul,
    year = "2000",
    doi = "10.1016/S0743-1066(99)00078-3",
    url = "https://lirias.kuleuven.be/handle/123456789/123906",
  }
  

• King, Ross D.; Karwath, Andreas; Clare, Amanda; Dehaspe, Luc. Accurate prediction of protein functional class from sequence in the Mycobacterium tuberculosis and Escherichia coli genomes using data mining, Yeast, volume 17, issue 4, pages 283-293, 2000

  @article{125221,
    author = "King, Ross D. and Karwath, Andreas and Clare, Amanda and Dehaspe, Luc",
    title = "Accurate prediction of protein functional class from sequence in the {M}ycobacterium tuberculosis and {E}scherichia coli genomes using data mining",
    journal = "Yeast",
    volume = "17",
    number = "4",
    pages = "283--293",
    month = Dec,
    year = "2000",
    doi = "10.1002/1097-0061(200012)17:4{$<$}283::AID-YEA52{$>$}3.0.CO;2-F",
    url = "https://lirias.kuleuven.be/handle/123456789/125221",
  }
  

• Knobbe, Arno; Siebes, Arno; Blockeel, Hendrik; van der Wallen, Daniel. Multi-relational data mining, using UML for ILP, Lecture Notes in Computer Science, volume 1910, pages 1-12, 2000

  @article{201892,
    author = "Knobbe, Arno and Siebes, Arno and Blockeel, Hendrik and van der Wallen, Daniel",
    title = "Multi-relational data mining, using {UML} for {ILP}",
    journal = "Lecture Notes in Computer Science",
    volume = "1910",
    pages = "1--12",
    year = "2000",
    doi = "10.1007/3-540-45372-5\_{}1",
    url = "https://lirias.kuleuven.be/handle/123456789/201892",
  }
  

• Verbaeten, Sofie; Bossi, Annalisa. Composing complete and partial knowledge, Journal of Functional and Logic Programming, volume 2000, issue 6, pages 1-25, 2000

  @article{133463,
    author = "Verbaeten, Sofie and Bossi, Annalisa",
    title = "Composing complete and partial knowledge",
    journal = "Journal of Functional and Logic Programming",
    volume = "2000",
    number = "6",
    pages = "1--25",
    month = Mar,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133463",
  }
  

• Verbaeten, Sofie; Denecker, Marc; De Schreye, Danny. Compositionality of normal open logic programs, Journal of Logic Programming, volume 42, issue 3, pages 151-183, 2000

  @article{123985,
    author = "Verbaeten, Sofie and Denecker, Marc and De Schreye, Danny",
    title = "Compositionality of normal open logic programs",
    journal = "Journal of Logic Programming",
    volume = "42",
    number = "3",
    pages = "151--183",
    month = Mar,
    year = "2000",
    doi = "10.1016/S0743-1066(99)00003-5",
    url = "https://lirias.kuleuven.be/handle/123456789/123985",
  }
  

Articles in other journals

1 reference

• Kosala, Raymondus; Blockeel, Hendrik. Web mining research : A survey, SIGKDD Explorations - Newsletter of the ACM Special Interest Group on Knowledge Discovery and Data Mining, volume 2, issue 1, pages 1-15, 2000

  @article{132847,
    author = "Kosala, Raymondus and Blockeel, Hendrik",
    title = "Web mining research : {A} survey",
    journal = "SIGKDD Explorations - Newsletter of the ACM Special Interest Group on Knowledge Discovery and Data Mining",
    volume = "2",
    number = "1",
    pages = "1--15",
    month = Jul,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132847",
  }
  

Books, internationally recognised scientific publisher; as editor

1 reference

• Denecker, Marc; Kakas, Antonis C (eds.), Special Issue : Abductive Logic Programming, Elsevier, North-Holland, 2000

  @book{133897,
    editor = "Denecker, Marc and Kakas, Antonis C.",
    title = "Special {I}ssue : {A}bductive {L}ogic {P}rogramming",
    publisher = "Elsevier, North-Holland",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133897",
  }
  

Article in book, internationally recognised scientific publisher

1 reference

• Denecker, Marc; Marek, Victor; Truszczynski, M.. Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning, Minker, J (ed.), Kluwer Academic Publishers, Boston, 2000

  @incollection{133520,
    author = "Denecker, Marc and Marek, Victor and Truszczynski, M.",
    title = "Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning",
    editor = "Minker, J.",
    publisher = "Kluwer Academic Publishers, Boston",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133520",
  }
  

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

38 references

• Blockeel, Hendrik; Dehaspe, Luc. Cumulativity as inductive bias, Feelders, Ad (ed.), Belgian-Dutch Conference on Machine Learning, Tilburg, The Netherlands, December 13, 2000, Benelearn 2000, Proceedings of the Tenth Belgian-Dutch Conference on Machine Learning, pages 23-30

  @inproceedings{134709,
    author = "Blockeel, Hendrik and Dehaspe, Luc",
    title = "Cumulativity as inductive bias",
    booktitle = "Benelearn 2000, Proceedings of the Tenth Belgian-Dutch Conference on Machine Learning, ",
    editor = "Feelders, Ad",
    pages = "23--30",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134709",
  }
  

• Blockeel, Hendrik; Dehaspe, Luc. Cumulativity as inductive bias, Brazdil, P.; Jorge, A (eds.), Data Mining, Decision Support, Meta-learning and ILP: Forum for practical problem presentations and prospective solutions, Lyon, France, 13-16 September 2000, Data Mining, Decision Support, Meta-learning and ILP: Forum for Practical Problem Presentations and Prospective Solutions, pages 61-70

  @inproceedings{201896,
    author = "Blockeel, Hendrik and Dehaspe, Luc",
    title = "Cumulativity as inductive bias",
    booktitle = "Data Mining, Decision Support, Meta-learning and ILP: Forum for Practical Problem Presentations and Prospective Solutions, ",
    editor = "Brazdil, P. and Jorge, A.",
    pages = "61--70",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/201896",
  }
  

• Blockeel, Hendrik; Dehaspe, Luc; Demoen, Bart; Janssens, Gerda; Ramon, Jan; Vandecasteele, Henk. Executing query packs in ILP, Cussens, James; Frisch, Alan (eds.), International Conference on Inductive Logic Programming, London, United Kingdom, July 24-27, 2000, Lecture Notes in Computer Science, volume 1866, pages 60-77, Springer

  @inproceedings{166857,
    author = "Blockeel, Hendrik and Dehaspe, Luc and Demoen, Bart and Janssens, Gerda and Ramon, Jan and Vandecasteele, Henk",
    title = "Executing query packs in {ILP}",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Cussens, James and Frisch, Alan",
    publisher = "Springer",
    pages = "60--77",
    year = "2000",
    doi = "10.1007/3-540-44960-4\_{}4",
    url = "https://lirias.kuleuven.be/handle/123456789/166857",
  }
  

• Blockeel, Hendrik; Demoen, Bart; Janssens, Gerda; Vandecasteele, Henk; Van Laer, Wim. Two advanced transformations for improving the efficiency of an ILP system, Cussens, James; Frisch, Alan (eds.), 10th International Conference on Inductive Logic Programming, "Work In Progress" Track, London, United Kingdom, July 24-27, 2000, 10th International Conference on Inductive Logic Programming, Work-in-Progress Reports, pages 43-59

  @inproceedings{166867,
    author = "Blockeel, Hendrik and Demoen, Bart and Janssens, Gerda and Vandecasteele, Henk and Van Laer, Wim",
    title = "Two advanced transformations for improving the efficiency of an {ILP} system",
    booktitle = "10th International Conference on Inductive Logic Programming, Work-in-Progress Reports, ",
    editor = "Cussens, James and Frisch, Alan",
    pages = "43--59",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/166867",
  }
  

• Bruynooghe, Maurice. Logic programming for describing and solving planning problems, Baral, Chitta; Truszczynski, Miroslaw (eds.), 8th International Workshop on Nonmonotonic Reasoning, Breckenridge, Colorado, USA, 9-11 April 2000, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, pages 1-8

  @inproceedings{131533,
    author = "Bruynooghe, Maurice",
    title = "Logic programming for describing and solving planning problems",
    booktitle = "Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, ",
    editor = "Baral, Chitta and Truszczynski, Miroslaw",
    pages = "1--8",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131533",
  }
  

• Cohen, Sara; Kanza, Yaron; Kogan, Yakov; Nutt, Werner; Sagiv, Yehoshua; Serebrenik, Alexander. Combining the power of searching and querying, Opher Etzion, ; Peter Scheuermann, (eds.), Seventh International Conference on Cooperative Information Systems, Eilat, Israel, September 6-8, 2000, Cooperative Information Systems, volume 1901, pages 54-65

  @inproceedings{133655,
    author = "Cohen, Sara and Kanza, Yaron and Kogan, Yakov and Nutt, Werner and Sagiv, Yehoshua and Serebrenik, Alexander",
    title = "Combining the power of searching and querying",
    booktitle = "Cooperative Information Systems, ",
    editor = "Opher Etzion,  and Peter Scheuermann",
    pages = "54--65",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133655",
  }
  

• Cohen, Sara; Nutt, Werner; Serebrenik, Alexander. Algorithms for rewriting aggregate queries using views, Stuller, Julius; Pokorny, Jaroslav; Thalheim, Bernhard; Masunaga, Yoshifumi (eds.), East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, Prague, Czech Republic, September 5-8, 2000, Current Issues in Databases and Information Systems, East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ABDIS-DASFAA2000, Prague, Czech Republ, volume 1884, pages 65-78

  @inproceedings{166874,
    author = "Cohen, Sara and Nutt, Werner and Serebrenik, Alexander",
    title = "Algorithms for rewriting aggregate queries using views",
    booktitle = "Current Issues in Databases and Information Systems, East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ABDIS-DASFAA2000, Prague, Czech Republ, ",
    editor = "Stuller, Julius and Pokorny, Jaroslav and Thalheim, Bernhard and Masunaga, Yoshifumi",
    pages = "65--78",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/166874",
  }
  

• De Sutter, B.; De Bosschere, K.; De Bus, Bruno; Demoen, Bart; Keyngnaert, Peter. Whole-program optimization of binary executables, Milutinovic, V (ed.), International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, L'Aquila, Italy, July 31 - August 6, 2000, Proceedings of the International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, pages 1-9

  @inproceedings{133519,
    author = "De Sutter, B. and De Bosschere, K. and De Bus, Bruno and Demoen, Bart and Keyngnaert, Peter",
    title = "Whole-program optimization of binary executables",
    booktitle = "Proceedings of the International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, ",
    editor = "Milutinovic, V.",
    pages = "1--9",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133519",
  }
  

• De Sutter, B.; De Bosschere, K.; Keyngnaert, Peter; Demoen, Bart. On the static analysis of indirect control transfers in binaries, Arabnia, H.R (ed.), International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, June 26-29, 2000, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, volume 2, pages 1013-1019

  @inproceedings{132613,
    author = "De Sutter, B. and De Bosschere, K. and Keyngnaert, Peter and Demoen, Bart",
    title = "On the static analysis of indirect control transfers in binaries",
    booktitle = "Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, ",
    editor = "Arabnia, H.R.",
    pages = "1013--1019",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132613",
  }
  

• Demoen, Bart. Prolog and abduction 4 writing garbage collectors, Lau, Kung-Kiu (ed.), Tenth International Workshop on Logic-based Program Synthesis and Transformation, 2000, London, United Kingdom, July 24-28, 2000, Pre-Proceedings of Tenth International Workshop on Logic-based Program Syntthesis and Transformation, 2000, pages 128-135

  @inproceedings{166915,
    author = "Demoen, Bart",
    title = "Prolog and abduction 4 writing garbage collectors",
    booktitle = "Pre-Proceedings of Tenth International Workshop on Logic-based Program Syntthesis and Transformation, 2000, ",
    editor = "Lau, Kung-Kiu",
    pages = "128--135",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/166915",
  }
  

• Demoen, Bart; Nguyen, Phuong-Lan. So many WAM variations, so little time, Lloyd, John; Dahl, Veronica; Furbach, Ulrich; Kerber, Manfred; Lau, Kung-Kiu; Palamidessi, Catuscia; Pereira, Luis Moniz; Sagiv, Yehoshua; Stuckey, Peter J (eds.), First International Conference on Computational Logic, London, U.K., July 24-28, 2000, Computational Logic - CL2000, First International Conference, London, UK, July 2000, Proceedings, volume 1861, pages 1240-1254

  @inproceedings{166870,
    author = "Demoen, Bart and Nguyen, Phuong-Lan",
    title = "So many {WAM} variations, so little time",
    booktitle = "Computational Logic - CL2000, First International Conference, London, UK, July 2000, Proceedings, ",
    editor = "Lloyd, John and Dahl, Veronica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Luis Moniz and Sagiv, Yehoshua and Stuckey, Peter J.",
    pages = "1240--1254",
    year = "2000",
    doi = "10.1007/3-540-44957-4\_{}83",
    url = "https://lirias.kuleuven.be/handle/123456789/166870",
  }
  

• Demoen, Bart; Sagonas, Konstantinos. Heap garbage collection in XSB: Practice and experience, Pontelli, E.; Santos Costa, V (eds.), Second International Workshop on Practical Aspects of Declarative Languages, Boston, USA, January 17-18, 2000, Practical Aspects of Declarative Languages, volume 1753, pages 93-108

  @inproceedings{166999,
    author = "Demoen, Bart and Sagonas, Konstantinos",
    title = "Heap garbage collection in {XSB}: {P}ractice and experience",
    booktitle = "Practical Aspects of Declarative Languages, ",
    editor = "Pontelli, E. and Santos Costa, V.",
    pages = "93--108",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/166999",
  }
  

• Denecker, Marc. Extending classical logic with inductive definitions, Lloyd, John; Dahl, Veronica; Furbach, Ulrich; Kerber, Manfred; Lau, Kung-Kiu; Palamidessi, Catuscia; Pereira, Luis Moniz; Sagiv, Yehoshua; Stuckey, Peter J (eds.), First International Conference on Computational Logic, London, U.K., July 24-28, 2000, Computational Logic - CL 2000, First International Conference, London, UK, July 2000, Proceedings, volume 1861, pages 703-717, Springer-verlag berlin

  @inproceedings{124186,
    author = "Denecker, Marc",
    title = "Extending classical logic with inductive definitions",
    booktitle = "Computational Logic - CL 2000, First International Conference, London, UK, July 2000, Proceedings, ",
    editor = "Lloyd, John and Dahl, Veronica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Luis Moniz and Sagiv, Yehoshua and Stuckey, Peter J.",
    publisher = "Springer-verlag berlin",
    pages = "703--717",
    year = "2000",
    doi = "10.1007/3-540-44957-4",
    url = "https://lirias.kuleuven.be/handle/123456789/124186",
  }
  

• Denecker, Marc. Extending Classical Logic with Inductive Definitions, Baral, Chitta; Truszczynski, Miroslaw (eds.), 8th International Workshop on Nonmonotonic Reasoning, Breckenridge, Colorado, USA, 9-11 April 2000, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, pages 1-10

  @inproceedings{166774,
    author = "Denecker, Marc",
    title = "Extending {C}lassical {L}ogic with {I}nductive {D}efinitions",
    booktitle = "Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, ",
    editor = "Baral, Chitta and Truszczynski, Miroslaw",
    pages = "1--10",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/166774",
  }
  

• Denecker, Marc. A note on the declarative reading(s) of Logic Programming, Baral, Chitta; Truszczynski, Miroslaw (eds.), 8th Interntional Workshop on Nonmonotonic Reasoning, Breckenridge, Colorado, USA, April 9-11, 2000, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, pages 1-5

  @inproceedings{131531,
    author = "Denecker, Marc",
    title = "A note on the declarative reading(s) of {L}ogic {P}rogramming",
    booktitle = "Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, ",
    editor = "Baral, Chitta and Truszczynski, Miroslaw",
    pages = "1--5",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131531",
  }
  

• Denecker, Marc; Marek, Victor; Truszczynski, M.. Uniform semantic treatment of default and autoepistemic logics, Cohn, A.G.; Giunchiglia, F.; Selman, B (eds.), 7th International Conference on Principles of Knowledge Representation and Reasoning, Breckenridge, Colorado, USA, April 11-15, 2000, Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning, pages 74-84

  @inproceedings{131667,
    author = "Denecker, Marc and Marek, Victor and Truszczynski, M.",
    title = "Uniform semantic treatment of default and autoepistemic logics",
    booktitle = "Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning, ",
    editor = "Cohn, A.G. and Giunchiglia, F. and Selman, B.",
    pages = "74--84",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131667",
  }
  

• Jacobs, Nico. The learning shell, Rogers, Seth; Iba, Wayne (eds.), AAAI Spring Symposium on Adaptive User Interfaces, Stanford University, Palo Alto, California, USA, March 20-22, 2000, Adaptive User Interfaces, Papers from the 2000 AAAI Spring Symposium, pages 50-53

  @inproceedings{134228,
    author = "Jacobs, Nico",
    title = "The learning shell",
    booktitle = "Adaptive User Interfaces, Papers from the 2000 AAAI Spring Symposium, ",
    editor = "Rogers, Seth and Iba, Wayne",
    pages = "50--53",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134228",
  }
  

• Jacobs, Nico; Blockeel, Hendrik. Building Models for Computer Shell Users, Feelders, Ad (ed.), Belgian-Dutch conference on machine learning, Tilburg, Holland, December 13, 2000, Proceedings of the Tenth Belgian-Dutch Conference on Machine Learning, pages 7-14

  @inproceedings{131332,
    author = "Jacobs, Nico and Blockeel, Hendrik",
    title = "Building {M}odels for {C}omputer {S}hell {U}sers",
    booktitle = "Proceedings of the Tenth Belgian-Dutch Conference on Machine Learning, ",
    editor = "Feelders, Ad",
    pages = "7--14",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131332",
  }
  

• King, Ross D.; Karwath, Andreas; Clare, Amanda; Dehaspe, Luc. Genome scale prediction of protein functional class from sequence using data mining, Ramakrishnan, Raghu; Stolfo, Sal; Bayardo, Roberto; Parsa, Ismail (eds.), ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Boston, MA, USA, August 20-23, 2000, Proceedings of the Sixth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pages 384-389

  @inproceedings{134710,
    author = "King, Ross D. and Karwath, Andreas and Clare, Amanda and Dehaspe, Luc",
    title = "Genome scale prediction of protein functional class from sequence using data mining",
    booktitle = "Proceedings of the Sixth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, ",
    editor = "Ramakrishnan, Raghu and Stolfo, Sal and Bayardo, Roberto and Parsa, Ismail",
    pages = "384--389",
    year = "2000",
    doi = "10.1145/347090.347172",
    url = "https://lirias.kuleuven.be/handle/123456789/134710",
  }
  

• Knobbe, A.; Siebes, A.; Blockeel, Hendrik; van der Wallen, D.. Multi-relational data mining, using UML for ILP, Feelders, Ad (ed.), Belgian-Dutch Conference on Machine Learning, Tilburg, The Netherlands, December 13, 2000, Benelearn 2000, Proceedings of the Tenth Belgian-Dutch Conference on Machine Learning, pages 31-38

  @inproceedings{134708,
    author = "Knobbe, A. and Siebes, A. and Blockeel, Hendrik and van der Wallen, D.",
    title = "Multi-relational data mining, using {UML} for {ILP}",
    booktitle = "Benelearn 2000, Proceedings of the Tenth Belgian-Dutch Conference on Machine Learning, ",
    editor = "Feelders, Ad",
    pages = "31--38",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134708",
  }
  

• Kosala, Raymondus; Blockeel, Hendrik. Instance-based wrapper induction, Feelders, Ad (ed.), Belgian-Dutch Conference on Machine Learning, Tilburg University, Tilburg, The Netherlands, December 13, 2000, Benelearn 2000, Proceedings of the Tenth Belgian-Dutch Conference on Machine Learning, pages 61-68

  @inproceedings{131333,
    author = "Kosala, Raymondus and Blockeel, Hendrik",
    title = "Instance-based wrapper induction",
    booktitle = "Benelearn 2000, Proceedings of the Tenth Belgian-Dutch Conference on Machine Learning, ",
    editor = "Feelders, Ad",
    pages = "61--68",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131333",
  }
  

• Mazur, Nancy; Janssens, Gerda; Bruynooghe, Maurice. A module based analysis for memory reuse in Mercury, Lloyd, John; Dahl, Veronica; Furbach, Ulrich; Kerber, Manfred; Lau, Kung-Kiu; Palamidessi, Catuscia; Pereira, Luis Moniz; Sagiv, Yehoshua; Stuckey, Peter J (eds.), First International Conference on Computational Logic, London, United Kingdom, July 24-28, 2000, Lecture Notes in Computer Science, volume 1861, pages 1255-1269, Springer

  @inproceedings{166871,
    author = "Mazur, Nancy and Janssens, Gerda and Bruynooghe, Maurice",
    title = "A module based analysis for memory reuse in {M}ercury",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Lloyd, John and Dahl, Veronica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Luis Moniz and Sagiv, Yehoshua and Stuckey, Peter J.",
    publisher = "Springer",
    pages = "1255--1269",
    year = "2000",
    doi = "10.1007/3-540-44957-4\_{}84",
    url = "https://lirias.kuleuven.be/handle/123456789/166871",
  }
  

• Pelov, Nikolay; Bruynooghe, Maurice. Extending constraint logic programming with open functions, Gabbrielli, M.; Pfenning, F (eds.), 2nd International Conference on Principles and Practice of Declarative Programming, Montreal, Canada, September 20-22, 2000, Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00), pages 235-244, ACM Press

  @inproceedings{132345,
    author = "Pelov, Nikolay and Bruynooghe, Maurice",
    title = "Extending constraint logic programming with open functions",
    booktitle = "Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00), ",
    editor = "Gabbrielli, M. and Pfenning, F.",
    publisher = "ACM Press",
    pages = "235--244",
    year = "2000",
    doi = "10.1145/351268.351295",
    url = "https://lirias.kuleuven.be/handle/123456789/132345",
  }
  

• Pelov, Nikolay; De Mot, Emmanuel; Bruynooghe, Maurice. A comparison of logic programming approaches for representation and solving of constraint satisfaction problems, Baral, Chitta; Truszczynski, Miroslaw (eds.), 8th International Workshop on Non-Monotonic Reasoning, Breckendridge, Colorado, USA, 9-11 April 2000, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, pages 1-10

  @inproceedings{131535,
    author = "Pelov, Nikolay and De Mot, Emmanuel and Bruynooghe, Maurice",
    title = "A comparison of logic programming approaches for representation and solving of constraint satisfaction problems",
    booktitle = "Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, ",
    editor = "Baral, Chitta and Truszczynski, Miroslaw",
    pages = "1--10",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131535",
  }
  

• Pelov, Nikolay; De Mot, Emmanuel; Denecker, Marc. Logic programming approaches for representing and solving constraint satisfaction problems A comparison, Parigot, M.; Voronkov, A (eds.), 7th International Conference on Logic for Programming and Automated Reasoning, Reunion Island, November 6-9, 2000, Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 2000, Proceedings, volume 1955, pages 225-239, Springer-verlag berlin

  @inproceedings{124016,
    author = "Pelov, Nikolay and De Mot, Emmanuel and Denecker, Marc",
    title = "Logic programming approaches for representing and solving constraint satisfaction problems {A} comparison",
    booktitle = "Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 2000, Proceedings, ",
    editor = "Parigot, M. and Voronkov, A.",
    publisher = "Springer-verlag berlin",
    pages = "225--239",
    year = "2000",
    doi = "10.1007/3-540-44404-1\_{}15",
    url = "https://lirias.kuleuven.be/handle/123456789/124016",
  }
  

• Ramon, Jan; De Raedt, Luc. Multi instance neural networks, De Raedt, Luc; Kramer, Stefan (eds.), ICML-2000 Workshop on Attribute-Value and Relational Learning, Stanford, California, U.S.A., July 2, 2000, Proceedings of the ICML-2000 Workshop on Attribute-value and Relational Learning, pages 53-60

  @inproceedings{133224,
    author = "Ramon, Jan and De Raedt, Luc",
    title = "Multi instance neural networks",
    booktitle = "Proceedings of the ICML-2000 Workshop on Attribute-value and Relational Learning, ",
    editor = "De Raedt, Luc and Kramer, Stefan",
    pages = "53--60",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133224",
  }
  

• Ramon, Jan; Dehaspe, Luc. Using belief networks to neutralize known dependencies in conceptual clustering, Cussens, James; Frisch, Alan (eds.), Tenth International Conference on Inductive Logic Programming, Work in Progress track, London, United Kingdom, July 24-28, 2000, 10th International Conference on Inductive Logic Programming, Work-in-Progress Reports, pages 226-243

  @inproceedings{132811,
    author = "Ramon, Jan and Dehaspe, Luc",
    title = "Using belief networks to neutralize known dependencies in conceptual clustering",
    booktitle = "10th International Conference on Inductive Logic Programming, Work-in-Progress Reports, ",
    editor = "Cussens, James and Frisch, Alan",
    pages = "226--243",
    month = Jul,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132811",
  }
  

• Ramon, Jan; Dehaspe, Luc. Using belief networks to neutralize known dependencies in conceptual clustering, Michalski, Ryzard; Brazdil, Pavel B (eds.), Fifth International workshop on Multistrategy Learning, Porto, Portugal, June 5-7, 2000, The Fifth International Workshop on Multistrategy Learning, pages 165-180

  @inproceedings{167018,
    author = "Ramon, Jan and Dehaspe, Luc",
    title = "Using belief networks to neutralize known dependencies in conceptual clustering",
    booktitle = "The Fifth International Workshop on Multistrategy Learning, ",
    editor = "Michalski, Ryzard and Brazdil, Pavel B.",
    pages = "165--180",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/167018",
  }
  

• Ramon, Jan; Francis, Tom; Blockeel, Hendrik. Learning a Go heuristic with TILDE, van den Bosch, Antal; Weigand, Hans (eds.), 12th Belgian-Dutch Artificial Intelligence Conference, De Efteling, Kaatsheuvel, The Netherlands, November 1-2, 2000, Proceedings of the 12th Belgian-Dutch Artificial Intelligence Conference, pages 149-156

  @inproceedings{131355,
    author = "Ramon, Jan and Francis, Tom and Blockeel, Hendrik",
    title = "Learning a {G}o heuristic with {TILDE}",
    booktitle = "Proceedings of the 12th Belgian-Dutch Artificial Intelligence Conference, ",
    editor = "van den Bosch, Antal and Weigand, Hans",
    pages = "149--156",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131355",
  }
  

• Schelkens, Vanessa; Van Eynde, Frank; Verdoolaege, Sven. The semantics of temporal adjuncts, Computational linguistics in the Netherlands, Utrecht, The Netherlands, December 10, 1999, Computational Linguistics in the Netherlands 1999. Selected Papers from the Tenth CLIN Meeting / Ed.: P. Monachesi. - P. 169-179, 2000

  @inproceedings{111750,
    author = "Schelkens, Vanessa and Van Eynde, Frank and Verdoolaege, Sven",
    title = "The semantics of temporal adjuncts",
    booktitle = "Computational Linguistics in the Netherlands 1999. Selected Papers from the Tenth CLIN Meeting / Ed.: P. Monachesi. - P. 169-179, ",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/111750",
  }
  

• Serebrenik, Alexander; De Schreye, Danny. Non-transformational termination analysis of logic programs, based on general term-orderings, Lau, Kung-Kiu (ed.), Tenth International Workshop on Logic-based Program Synthesis and Transformation, Lonon, United Kingdom, July 24-28, 2000, Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation, 2000, pages 45-54

  @inproceedings{166917,
    author = "Serebrenik, Alexander and De Schreye, Danny",
    title = "Non-transformational termination analysis of logic programs, based on general term-orderings",
    booktitle = "Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation, 2000, ",
    editor = "Lau, Kung-Kiu",
    pages = "45--54",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/166917",
  }
  

• Van Nuffelen, Bert. SLDNFA-system, Baral, Chitta; Truszczynski, Miroslaw (eds.), 8th International Workshop on Nonmonotonic Reasoning, Breckenridge, Colorado, USA, 9-11 April, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, pages 1-6, 2000

  @inproceedings{131532,
    author = "Van Nuffelen, Bert",
    title = "{SLDNFA}-system",
    booktitle = "Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, ",
    editor = "Baral, Chitta and Truszczynski, Miroslaw",
    pages = "1--6",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131532",
  }
  

• Van Nuffelen, Bert; Denecker, Marc. Problem solving in ID-logic with aggregates, Baral, Chitta; Truszczynski, Miroslaw (eds.), 8th International Workshop on Nonmonotonic Reasoning, Breckenridgde, Colorado, USA, 9-11 April 2000, Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, pages 1-10

  @inproceedings{131534,
    author = "Van Nuffelen, Bert and Denecker, Marc",
    title = "Problem solving in {ID}-logic with aggregates",
    booktitle = "Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000, ",
    editor = "Baral, Chitta and Truszczynski, Miroslaw",
    pages = "1--10",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/131534",
  }
  

• Vandecasteele, Henk; Demoen, Bart; Janssens, Gerda. Compiling large disjunctions, de Castro Dutra, Ines; Pontelli, Enrico; Santos Costa, Vitor (eds.), CL2000 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming, London, United Kingdom, July 24-28, 2000, First International Conference on Computational Logic : Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, pages 103-121

  @inproceedings{166825,
    author = "Vandecasteele, Henk and Demoen, Bart and Janssens, Gerda",
    title = "Compiling large disjunctions",
    booktitle = "First International Conference on Computational Logic : Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, ",
    editor = "de Castro Dutra, Ines and Pontelli, Enrico and Santos Costa, Vitor",
    pages = "103--121",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/166825",
  }
  

• Vandecasteele, Henk; Demoen, Bart; Janssens, Gerda. A finite domain CLP solver on top of Mercury, Apt, Kryzysztof R.; Kakas, Antonis C.; Monfroy, Eric; Rossi, Francesca (eds.), Joint ERCIM/Compuog Workshop on Constraints, Paphos, Cyprus, October 25-26, 1999, New Trends in Constraints : Joint ERCIM/Compulog Workhsop, Paphos, Cyprus, October 1999, Selected Papers, volume 1865, pages 256-273, 2000

  @inproceedings{133033,
    author = "Vandecasteele, Henk and Demoen, Bart and Janssens, Gerda",
    title = "A finite domain {CLP} solver on top of {M}ercury",
    booktitle = "New Trends in Constraints : Joint ERCIM/Compulog Workhsop, Paphos, Cyprus, October 1999, Selected Papers, ",
    editor = "Apt, Kryzysztof R. and Kakas, Antonis C. and Monfroy, Eric and Rossi, Francesca",
    pages = "256--273",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133033",
  }
  

• Vanhoof, Wim. Binding-time analysis by constraint solving: a modular and higher-order approach for Mercury, Parigot, M.; Voronkov, A (eds.), 7th International Conference on Logic for Programming and Automated Reasoning, Reunion Island, November 6-9, 2000, Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 2000, Proceedings, volume 1955, pages 399-416

  @inproceedings{133284,
    author = "Vanhoof, Wim",
    title = "Binding-time analysis by constraint solving: a modular and higher-order approach for {M}ercury",
    booktitle = "Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 2000, Proceedings, ",
    editor = "Parigot, M. and Voronkov, A.",
    pages = "399--416",
    year = "2000",
    doi = "10.1007/3-540-44404-1\_{}25",
    url = "https://lirias.kuleuven.be/handle/123456789/133284",
  }
  

• Vanhoof, Wim; Bruynooghe, Maurice. Towards a modular binding-time analysis for higher-order Mercury, Lau, Kung-Kiu (ed.), Tenth International Workshop on Logic-based Program Synthesis and Transformation, 2000, London, United Kingdom, July 24-28, 2000, Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation, 2000, pages 55-63

  @inproceedings{133039,
    author = "Vanhoof, Wim and Bruynooghe, Maurice",
    title = "Towards a modular binding-time analysis for higher-order {M}ercury",
    booktitle = "Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation, 2000, ",
    editor = "Lau, Kung-Kiu",
    pages = "55--63",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133039",
  }
  

• Verdoolaege, Sven; Denecker, Marc; Schelkens, Vanessa; De Schreye, Danny; Van Eynde, Frank. Semantic interpretation of temporal information by abductive inference, Computational linguistics in the Netherlands, Utrecht, The Netherlands, December 10, 1999, Computational Linguistics in the Netherlands 1999. Selected Papers from the Tenth CLIN Meeting / Ed.: P. Monachesi. - P. 201-211, 2000

  @inproceedings{111749,
    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",
    booktitle = "Computational Linguistics in the Netherlands 1999. Selected Papers from the Tenth CLIN Meeting / Ed.: P. Monachesi. - P. 201-211, ",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/111749",
  }
  

Meeting abstracts, presented at international conferences and symposia

16 references

• Barbaix, Yvan; Hermans, Kris; Holvoet, Tom; Berbers, Yolande. Tuning parameters for component based design with memory contraints, 14th European Conference on Object-Oriented Programming, Sophia Antipolis and Cannes, France, June 12-16, 2000

  @unpublished{134044,
    author = "Barbaix, Yvan and Hermans, Kris and Holvoet, Tom and Berbers, Yolande",
    title = "Tuning parameters for component based design with memory contraints",
    note = "14th European Conference on Object-Oriented Programming, Sophia Antipolis and Cannes, France, June 12-16, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134044",
  }
  

• Blockeel, Hendrik. How to make your ILP system a hundred times faster, 1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000

  @unpublished{134552,
    author = "Blockeel, Hendrik",
    title = "How to make your {ILP} system a hundred times faster",
    note = "1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134552",
  }
  

• Bruynooghe, Maurice. Learning declarative plans, a challenge for ILP ?, 1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000

  @unpublished{134098,
    author = "Bruynooghe, Maurice",
    title = "Learning declarative plans, a challenge for {ILP} ?",
    note = "1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134098",
  }
  

• Bruynooghe, Maurice. From Journal of Logic Programming to Theory and Practice of Logic Programming, 91th Annual Special Libraries Association Conference, Philadelphia, USA, June 10-15, 2000

  @unpublished{134086,
    author = "Bruynooghe, Maurice",
    title = "From {J}ournal of {L}ogic {P}rogramming to {T}heory and {P}ractice of {L}ogic {P}rogramming",
    note = "91th Annual Special Libraries Association Conference, Philadelphia, USA, June 10-15, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134086",
  }
  

• Bruynooghe, Maurice. More declarative finite domain CLP-programming with open functions, Reunion Workshop on Implementation of Logics, Reunion Island, November 11, 2000

  @unpublished{134073,
    author = "Bruynooghe, Maurice",
    title = "More declarative finite domain {CLP}-programming with open functions",
    note = "Reunion Workshop on Implementation of Logics, Reunion Island, November 11, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134073",
  }
  

• Bruynooghe, Maurice. Logic programming revisited: logic programs as inductive definitions, 2000 Joint Conference on Declarative Programming, La Habana, Cuba, December 4-6, 2000

  @unpublished{134061,
    author = "Bruynooghe, Maurice",
    title = "Logic programming revisited: logic programs as inductive definitions",
    note = "2000 Joint Conference on Declarative Programming, La Habana, Cuba, December 4-6, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134061",
  }
  

• Dastani, Mehdi; Jacobs, Nico; Jonker, Catholijn M.; Treur, Jan. Modelling user preferences and mediating agents in electronic commerce, Belgium-Netherlands Artificial Intelligence Conference, Kaatsheuvel, BNAIC, November 1-2, 2000

  @unpublished{134063,
    author = "Dastani, Mehdi and Jacobs, Nico and Jonker, Catholijn M. and Treur, Jan",
    title = "Modelling user preferences and mediating agents in electronic commerce",
    note = "Belgium-Netherlands Artificial Intelligence Conference, Kaatsheuvel, BNAIC, November 1-2, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134063",
  }
  

• De Raedt, Luc. Towards practical inductive logic programming, Data Mining, Decision Support, Meta-learning and ILP: Forum for Practical Problem Presentation and Prospective Solutions Time. (DDMI), Lyon, France, September 12, 2000, Data Mining, Decision Support, Meta-learning and ILP: Forum for Practical Problem Presentation and Prospective Solutions Time., pages 1-7

  @unpublished{247866,
    author = "De Raedt, Luc",
    title = "Towards practical inductive logic programming",
    note = "Data Mining, Decision Support, Meta-learning and ILP: Forum for Practical Problem Presentation and Prospective Solutions Time. (DDMI), Lyon, France, September 12, 2000",
    booktitle = "Data Mining, Decision Support, Meta-learning and ILP: Forum for Practical Problem Presentation and Prospective Solutions Time.",
    pages = "1--7",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/247866",
  }
  

• Dehaspe, Luc. Data mining : the key to robot scientists ?, EUSIDIC Spring Conference, Lille, France, March 13-14, 2000

  @unpublished{134551,
    author = "Dehaspe, Luc",
    title = "Data mining : the key to robot scientists ?",
    note = "EUSIDIC Spring Conference, Lille, France, March 13-14, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134551",
  }
  

• Dehaspe, Luc; Blockeel, Hendrik; Clare, Amanda; Engels, M.; Karwath, Andreas; King, Ross D.; Srinivasan, Ashwin. A novel data mining method for functional genomics and drug design, Drug Discovery Technology 2000, Boston, MA, USA, August 14-18, 2000

  @unpublished{134550,
    author = "Dehaspe, Luc and Blockeel, Hendrik and Clare, Amanda and Engels, M. and Karwath, Andreas and King, Ross D. and Srinivasan, Ashwin",
    title = "A novel data mining method for functional genomics and drug design",
    note = "Drug Discovery Technology 2000, Boston, MA, USA, August 14-18, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134550",
  }
  

• Driessens, Kurt. Relational reinforcement learning, 1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000

  @unpublished{134096,
    author = "Driessens, Kurt",
    title = "Relational reinforcement learning",
    note = "1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134096",
  }
  

• Kosala, Raymondus. Web mining : A survey, 1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000

  @unpublished{134095,
    author = "Kosala, Raymondus",
    title = "Web mining : {A} survey",
    note = "1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134095",
  }
  

• Kosala, Raymondus; Bruynooghe, Maurice. Instance-based information extraction, 11th Computational Linguistics in the Netherlands Meeting, Tilburg University, Tilburg, The Netherlands, November 3, 2000

  @unpublished{134071,
    author = "Kosala, Raymondus and Bruynooghe, Maurice",
    title = "Instance-based information extraction",
    note = "11th Computational Linguistics in the Netherlands Meeting, Tilburg University, Tilburg, The Netherlands, November 3, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134071",
  }
  

• Ramon, Jan. Searching clusters in ILP, overview and further work, 1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000

  @unpublished{134094,
    author = "Ramon, Jan",
    title = "Searching clusters in {ILP}, overview and further work",
    note = "1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134094",
  }
  

• Van Laer, Wim. Upgrading propositional learners to first order logic : From theory to practice, 1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000

  @unpublished{134097,
    author = "Van Laer, Wim",
    title = "Upgrading propositional learners to first order logic : {F}rom theory to practice",
    note = "1st Freiburg-Leuven Workshop on Machine Learning, Freiburg, Germany, April 25-26, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/134097",
  }
  

• Verbaeten, Sofie. Termination analysis of logic programs, First Benelux Workshop on Computational Logic, Peer, Belgium, May 25-26, 2000

  @unpublished{167193,
    author = "Verbaeten, Sofie",
    title = "Termination analysis of logic programs",
    note = "First Benelux Workshop on Computational Logic, Peer, Belgium, May 25-26, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/167193",
  }
  

Meeting abstracts, presented at other conferences and symposia

3 references

• Demoen, Bart. From (Multi-)generational to segment order copying garbage collection for the WAM, ** CONFERENTIENAAM ONTBREEKT **, Department of Computer Science and Software Engineering, University of Melbourne, Australia, November 21, 2000

  @unpublished{133563,
    author = "Demoen, Bart",
    title = "From ({M}ulti-)generational to segment order copying garbage collection for the {WAM}",
    note = "** CONFERENTIENAAM ONTBREEKT **, Department of Computer Science and Software Engineering, University of Melbourne, Australia, November 21, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133563",
  }
  

• Vanhoof, Wim. Java: van afstandsbediening tot afstandsbankieren, ** CONFERENTIENAAM ONTBREEKT **, KHLeuven, departement lerarenopleiding, September 27, 2000

  @unpublished{133578,
    author = "Vanhoof, Wim",
    title = "Java: van afstandsbediening tot afstandsbankieren",
    note = "** CONFERENTIENAAM ONTBREEKT **, KHLeuven, departement lerarenopleiding, September 27, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133578",
  }
  

• Verbaeten, Sofie. Termination analysis of logic programs, Seminar of the DEA program, U.L.B. (Université Libre de Bruxelles), October 5, 2000

  @unpublished{133569,
    author = "Verbaeten, Sofie",
    title = "Termination analysis of logic programs",
    note = "Seminar of the DEA program, U.L.B. (Universit{\'e} Libre de Bruxelles), October 5, 2000",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/133569",
  }
  

Thesis

1 reference

• Verbaeten, Sofie. Static verification of compositionality and termination for logic programming languages, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2000, 264 + iv pages, De Schreye, Danny and Warrinnier, Alfred (supervisors)

  @phdthesis{131342,
    author = "Verbaeten, Sofie",
    title = "Static verification of compositionality and termination for logic programming languages",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "264 + iv",
    month = Jun,
    year = "2000",
    note = "De Schreye, Danny and Warrinnier, Alfred (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/131342",
  }
  

Internal reports

24 references

• Arieli, Ofer. Paraconsistent declarative semantics for extended logic programs, CW Reports, volume CW299, 34 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2000

  @techreport{270792,
    author = "Arieli, Ofer",
    title = "Paraconsistent declarative semantics for extended logic programs",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW299",
    month = Sep,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/270792",
  }
  

• Arieli, Ofer. Useful adaptive logics for rational and paraconsistent reasoning, CW Reports, volume CW286, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2000

  @techreport{270797,
    author = "Arieli, Ofer",
    title = "Useful adaptive logics for rational and paraconsistent reasoning",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW286",
    month = Apr,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/270797",
  }
  

• Barbaix, Yvan; Van Baelen, Stefan (eds.), Methodology document for addressing resource constraints problems in embedded systems, DESS Project Report, volume D.1.3.1, 17 pages, ITEA-DESS consortium, October 2000

  @techreport{132145,
    title = "Methodology document for addressing resource constraints problems in embedded systems",
    institution = "ITEA-DESS consortium",
    type = "DESS Project Report",
    number = "D.1.3.1",
    month = Oct,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132145",
  }
  

• Blockeel, Hendrik; De Raedt, Luc; Jacobs, Nico; Demoen, Bart. Scaling up inductive logic programming by learning from interpretations, CW Reports, volume CW297, 39 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2000

  @techreport{132442,
    author = "Blockeel, Hendrik and De Raedt, Luc and Jacobs, Nico and Demoen, Bart",
    title = "Scaling up inductive logic programming by learning from interpretations",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW297",
    month = Aug,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132442",
  }
  

• Blockeel, Hendrik; Dehaspe, Luc; Demoen, Bart; Janssens, Gerda; Ramon, Jan; Vandecasteele, Henk. Executing query packs in ILP, CW Reports, volume CW287, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2000

  @techreport{132455,
    author = "Blockeel, Hendrik and Dehaspe, Luc and Demoen, Bart and Janssens, Gerda and Ramon, Jan and Vandecasteele, Henk",
    title = "Executing query packs in {ILP}",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW287",
    month = May,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132455",
  }
  

• Blockeel, Hendrik; Demoen, Bart; Janssens, Gerda; Vandecasteele, Henk; Van Laer, Wim. Two advanced transformations for improving the efficiency of an ILP system, CW Reports, volume CW293, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2000

  @techreport{132448,
    author = "Blockeel, Hendrik and Demoen, Bart and Janssens, Gerda and Vandecasteele, Henk and Van Laer, Wim",
    title = "Two advanced transformations for improving the efficiency of an {ILP} system",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW293",
    month = Jun,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132448",
  }
  

• Cohen, Sara; Kanza, Yaron; Kogan, Yakov; Nutt, Werner; Sagiv, Yehoshua; Serebrenik, Alexander. Equix - A Search and Query Language for XML, issue 2000-28, 22 pages, Leibniz Center for Research in Computer Science, Hebrew University Jerusalem, Israel, 2000

  @techreport{132430,
    author = "Cohen, Sara and Kanza, Yaron and Kogan, Yakov and Nutt, Werner and Sagiv, Yehoshua and Serebrenik, Alexander",
    title = "Equix - {A} {S}earch and {Q}uery {L}anguage for {XML}",
    institution = "Leibniz Center for Research in Computer Science, Hebrew University Jerusalem, Israel",
    number = "",
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132430",
  }
  

• Cohen, Sara; Nutt, Werner; Serebrenik, Alexander. Algorithms for rewriting aggregate queries using views, CW Reports, volume CW292, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2000

  @techreport{132449,
    author = "Cohen, Sara and Nutt, Werner and Serebrenik, Alexander",
    title = "Algorithms for rewriting aggregate queries using views",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW292",
    month = May,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132449",
  }
  

• Demoen, Bart. Prolog and abduction 4 writing garbage collectors, CW Reports, volume CW289, 8 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2000

  @techreport{132452,
    author = "Demoen, Bart",
    title = "Prolog and abduction 4 writing garbage collectors",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW289",
    month = May,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132452",
  }
  

• Demoen, Bart. Marking in the presence of destructive assignment is suboptimal, CW Reports, volume CW302, 8 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2000

  @techreport{132433,
    author = "Demoen, Bart",
    title = "Marking in the presence of destructive assignment is suboptimal",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW302",
    month = Oct,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132433",
  }
  

• Demoen, Bart. Early reset and reference counting improve variable shunting in the WAM, CW Reports, volume CW298, 5 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2000

  @techreport{132439,
    author = "Demoen, Bart",
    title = "Early reset and reference counting improve variable shunting in the {WAM}",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW298",
    month = Aug,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132439",
  }
  

• Demoen, Bart. Proceedings of the first workshop on memory management in logic programming implementations, CW Reports, volume CW294, 42 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2000

  @techreport{132447,
    author = "Demoen, Bart",
    title = "Proceedings of the first workshop on memory management in logic programming implementations",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW294",
    month = Jul,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132447",
  }
  

• Demoen, Bart; Nguyen, Phuong-Lan. On the impact of argument passing on the performance of the WAM and B-Prolog, CW Reports, volume CW300, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2000

  @techreport{132436,
    author = "Demoen, Bart and Nguyen, Phuong-Lan",
    title = "On the impact of argument passing on the performance of the {WAM} and {B}-{P}rolog",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW300",
    month = Sep,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132436",
  }
  

• Demoen, Bart; Nguyen, Phuong-Lan. Experiments in WAM emulators and term representations, CW Reports, volume CW283, 33 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2000

  @techreport{132470,
    author = "Demoen, Bart and Nguyen, Phuong-Lan",
    title = "Experiments in {WAM} emulators and term representations",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW283",
    month = Jan,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132470",
  }
  

• Keyngnaert, Peter. Register allocation techniques for general purpose architectures, CW Reports, volume CW281, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2000

  @techreport{132472,
    author = "Keyngnaert, Peter",
    title = "Register allocation techniques for general purpose architectures",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW281",
    month = Mar,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132472",
  }
  

• Keyngnaert, Peter; Demoen, Bart; De Sutter, B.; De Bosschere, K.. Trace-based memory layout optimization for DPSs, CW Reports, volume CW282, 25 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2000

  @techreport{132471,
    author = "Keyngnaert, Peter and Demoen, Bart and De Sutter, B. and De Bosschere, K.",
    title = "Trace-based memory layout optimization for {DPS}s",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW282",
    month = Mar,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132471",
  }
  

• Ramon, Jan; Bruynooghe, Maurice. A polynomial time computable metric between point sets, CW Reports, volume CW301, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2000

  @techreport{132434,
    author = "Ramon, Jan and Bruynooghe, Maurice",
    title = "A polynomial time computable metric between point sets",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW301",
    month = Oct,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132434",
  }
  

• Sagonas, Konstantinos; Demoen, Bart. From (multi-)generational to segment order preserving copying garbage collection for the WAM, CW Reports, volume CW303, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2000

  @techreport{132432,
    author = "Sagonas, Konstantinos and Demoen, Bart",
    title = "From (multi-)generational to segment order preserving copying garbage collection for the {WAM}",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW303",
    month = Oct,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132432",
  }
  

• Serebrenik, Alexander; De Schreye, Danny. Non-transformational termination analysis of logic programs, based on general term-ordering, CW Reports, volume CW284, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2000

  @techreport{132469,
    author = "Serebrenik, Alexander and De Schreye, Danny",
    title = "Non-transformational termination analysis of logic programs, based on general term-ordering",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW284",
    month = Jan,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132469",
  }
  

• Serebrenik, Alexander; De Schreye, Danny. Termination analysis of logic programs using acceptability with general term orders, CW Reports, volume CW291, 30 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2000

  @techreport{132450,
    author = "Serebrenik, Alexander and De Schreye, Danny",
    title = "Termination analysis of logic programs using acceptability with general term orders",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW291",
    month = May,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132450",
  }
  

• Van Laer, Wim; De Raedt, Luc. How to upgrade propositional learners to first order logic: a case study, CW Reports, volume CW288, 29 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2000

  @techreport{132802,
    author = "Van Laer, Wim and De Raedt, Luc",
    title = "How to upgrade propositional learners to first order logic: a case study",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW288",
    month = May,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132802",
  }
  

• Vandecasteele, Henk; Bruynooghe, Maurice. Abstracts of the Benelux workshop on computational logic, CW Reports, volume CW290, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2000

  @techreport{132451,
    author = "Vandecasteele, Henk and Bruynooghe, Maurice",
    title = "Abstracts of the {B}enelux workshop on computational logic",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW290",
    month = May,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132451",
  }
  

• Vandecasteele, Henk; Demoen, Bart; Janssens, Gerda. Compiling large disjunctions, CW Reports, volume CW295, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2000

  @techreport{132440,
    author = "Vandecasteele, Henk and Demoen, Bart and Janssens, Gerda",
    title = "Compiling large disjunctions",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW295",
    month = Jul,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132440",
  }
  

• Verbaeten, Sofie. Termination analysis for abductive general logic programs, CW Reports, volume CW296, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2000

  @techreport{132446,
    author = "Verbaeten, Sofie",
    title = "Termination analysis for abductive general logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW296",
    month = Jul,
    year = "2000",
    url = "https://lirias.kuleuven.be/handle/123456789/132446",
  }
  

Misc.

1 reference

• De Schreye, Danny; Glück, R.; Jørgensen, Jesper; Leuschel, Michael; Martens, Bern; Sørensen, Morten heine. Conjunctive partial deduction: foundations, control, algorithms and experiments (vol 41, pg 231, 1999), Journal of Logic Programming, volume 43, issue 3, page265, June 2000

  @misc{125262,
    author = "De Schreye, Danny and Gl{\"u}ck, R. and J{\o}rgensen, Jesper and Leuschel, Michael and Martens, Bern and S{\o}rensen, Morten heine",
    title = "Conjunctive partial deduction: foundations, control, algorithms and experiments (vol 41, pg 231, 1999)",
    journal = "Journal of Logic Programming",
    publisher = "Elsevier science inc",
    volume = "43",
    number = "3",
    pages = "265--265",
    month = Jun,
    year = "2000",
    doi = "10.1016/S0743-1066(99)00070-9",
    url = "https://lirias.kuleuven.be/handle/123456789/125262",
  }
  

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

Yearly overview: