Publications DTAI

1997

Articles in internationally reviewed journals

9 references

• Aerts, Kris; De Vlaminck, Karel. A GUI on top of a functional language, ACM SIGPLAN Notices, volume 32, issue 8, page308, 1997

  @article{76632,
    author = "Aerts, Kris and De Vlaminck, Karel",
    title = "A {GUI} on top of a functional language",
    journal = "ACM SIGPLAN Notices",
    volume = "32",
    number = "8",
    pages = "308--308",
    month = Aug,
    year = "1997",
    doi = "10.1145/258948.258977",
    url = "https://lirias.kuleuven.be/handle/123456789/76632",
  }
  

• Blockeel, Hendrik; De Raedt, Luc. Relational knowledge discovery in databases, Lecture Notes in Computer Science, volume 1314, pages 199-211, 1997

  @article{125430,
    author = "Blockeel, Hendrik and De Raedt, Luc",
    title = "Relational knowledge discovery in databases",
    journal = "Lecture Notes in Computer Science",
    volume = "1314",
    pages = "199--211",
    year = "1997",
    doi = "10.1007/3-540-63494-0\_{}56",
    url = "https://lirias.kuleuven.be/handle/123456789/125430",
  }
  

• Codish, Michael; Bruynooghe, Maurice; Garcia de la Banda, Maria; Hermenegildo, Manuel. Exploiting goal independence in the analysis of logic programs, Journal of Logic Programming, volume 32, issue 3, pages 247-261, 1997

  @article{124300,
    author = "Codish, Michael and Bruynooghe, Maurice and Garcia de la Banda, Maria and Hermenegildo, Manuel",
    title = "Exploiting goal independence in the analysis of logic programs",
    journal = "Journal of Logic Programming",
    volume = "32",
    number = "3",
    pages = "247--261",
    month = Sep,
    year = "1997",
    doi = "10.1016/S0743-1066(96)00143-4",
    url = "https://lirias.kuleuven.be/handle/123456789/124300",
  }
  

• De Raedt, Luc. Logical settings for concept-learning, Artificial Intelligence, volume 95, issue 1, pages 187-201, 1997

  @article{124972,
    author = "De Raedt, Luc",
    title = "Logical settings for concept-learning",
    journal = "Artificial Intelligence",
    volume = "95",
    number = "1",
    pages = "187--201",
    month = Aug,
    year = "1997",
    doi = "10.1016/S0004-3702(97)00041-6",
    url = "https://lirias.kuleuven.be/handle/123456789/124972",
  }
  

• De Raedt, Luc. Artificial intelligence in Belgium and the BeNeLux: past and future, AI Communications, volume 10, issue 3-4, pages 201-202, 1997

  @article{124384,
    author = "De Raedt, Luc",
    title = "Artificial intelligence in {B}elgium and the {B}e{N}e{L}ux: past and future",
    journal = "AI Communications",
    volume = "10",
    number = "3-4",
    pages = "201--202",
    month = Dec,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/124384",
  }
  

• De Raedt, Luc; Dehaspe, Luc. Clausal discovery, Machine Learning, volume 26, issue 2-3, pages 99-146, 1997

  @article{124978,
    author = "De Raedt, Luc and Dehaspe, Luc",
    title = "Clausal discovery",
    journal = "Machine Learning",
    volume = "26",
    number = "2-3",
    pages = "99--146",
    month = Feb,
    year = "1997",
    doi = "10.1023/A:1007361123060",
    url = "https://lirias.kuleuven.be/handle/123456789/124978",
  }
  

• Dussart, Dirk; Heldal, R.; Hughes, J.. Module-sensitive program specialization, ACM SIGPLAN Notices, volume 32, issue 5, pages 206-216, 1997

  @article{134698,
    author = "Dussart, Dirk and Heldal, R. and Hughes, J.",
    title = "Module-sensitive program specialization",
    journal = "ACM SIGPLAN Notices",
    volume = "32",
    number = "5",
    pages = "206--216",
    month = May,
    year = "1997",
    doi = "10.1145/258915.258934",
    url = "https://lirias.kuleuven.be/handle/123456789/134698",
  }
  

• Tarau, P.; DeBosschere, K.; Demoen, Bart. On Delphi lemmas and other memoing techniques for deterministic logic programs, Journal of Logic Programming, volume 30, issue 2, pages 145-163, 1997

  @article{125197,
    author = "Tarau, P. and DeBosschere, K. and Demoen, Bart",
    title = "On {D}elphi lemmas and other memoing techniques for deterministic logic programs",
    journal = "Journal of Logic Programming",
    volume = "30",
    number = "2",
    pages = "145--163",
    month = Feb,
    year = "1997",
    doi = "10.1016/S0743-1066(96)00105-7",
    url = "https://lirias.kuleuven.be/handle/123456789/125197",
  }
  

• VanBelleghem, K.; Denecker, Marc; De Schreye, Danny. On the relation between situation calculus and event calculus, Journal of Logic Programming, volume 31, issue 1-3, pages 3-37, 1997

  @article{124801,
    author = "VanBelleghem, K. and Denecker, Marc and De Schreye, Danny",
    title = "On the relation between situation calculus and event calculus",
    journal = "Journal of Logic Programming",
    volume = "31",
    number = "1-3",
    pages = "3--37",
    month = Apr,
    year = "1997",
    doi = "10.1016/S0743-1066(96)00123-9",
    url = "https://lirias.kuleuven.be/handle/123456789/124801",
  }
  

Books, internationally recognised scientific publisher; as editor

1 reference

• De Raedt, Luc; Muggleton, Stephen (eds.), Proceedings of the IJCAI-97 Workshop on Frontiers of ILP, 1997

  @book{134561,
    editor = "De Raedt, Luc and Muggleton, Stephen",
    title = "Proceedings of the {IJCAI}-97 {W}orkshop on {F}rontiers of {ILP}",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134561",
  }
  

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

33 references

• Aerts, Kris; De Vlaminck, Karel. Introducing scheme in a FP-less environment -- The students' opinions, II Congreso Argentino de Ciencias de la Computacion, 2nd Latin American Conference on Functional Programming, October 3-4, 1997, La Plata, Argentinië, Anales CACIC'97, II Congreso Argentino de Ciencias de la Computacion, 2nd Latin American Conference on Functional Programming, pages 1359-1374, 1997

  @inproceedings{132868,
    author = "Aerts, Kris and De Vlaminck, Karel",
    title = "Introducing scheme in a {FP}-less environment -- {T}he students' opinions",
    booktitle = "Anales CACIC'97, II Congreso Argentino de Ciencias de la Computacion, 2nd Latin American Conference on Functional Programming, ",
    pages = "1359--1374",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132868",
  }
  

• Blockeel, Hendrik; De Raedt, Luc. Discretization and lookahead in ILP, International Workshop on Inductive Logic Programming (ILP), Prague, Czech Republic, Lecture Notes in Computer Science, volume 1297, pages 77-84, Springer, 1997

  @inproceedings{134491,
    author = "Blockeel, Hendrik and De Raedt, Luc",
    title = "Discretization and lookahead in {ILP}",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "77--84",
    year = "1997",
    doi = "10.1007/3540635149\_{}36",
    url = "https://lirias.kuleuven.be/handle/123456789/134491",
  }
  

• Bruynooghe, Maurice; Janssens, Gerda; Kågedal, Andreas. Live-structure analysis for logic programming languages with declarations, Naish, Lee (ed.), Fourteenth International Conference on Logic Programming (ICLP'97), Leuven, Belgium, Junly 8-10, 1997, Logic Programming, The Fourteenth International Conference on Logic Programming, pages 33-47, MIT Press

  @inproceedings{133059,
    author = "Bruynooghe, Maurice and Janssens, Gerda and K{\aa}gedal, Andreas",
    title = "Live-structure analysis for logic programming languages with declarations",
    booktitle = "Logic Programming, The Fourteenth International Conference on Logic Programming, ",
    editor = "Naish, Lee",
    publisher = "MIT Press",
    pages = "33--47",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/133059",
  }
  

• Codish, Michael; Demoen, Bart; Sagonas, Konstantinos. XSB as the natural habitat for general Purpose program analysis, Fourteenth International Conference on Logic Programming, Leuven, Fourteenth International Conference on Logic Programming, 416 pages, 1997

  @inproceedings{132839,
    author = "Codish, Michael and Demoen, Bart and Sagonas, Konstantinos",
    title = "{XSB} as the natural habitat for general {P}urpose program analysis",
    booktitle = "Fourteenth International Conference on Logic Programming, ",
    pages = "416",
    month = Jul,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132839",
  }
  

• De Raedt, Luc; Blockeel, Hendrik. Using logical decision trees for clustering, International Workshop on Inductive Logic Programming, Prague, Czech Republic, 17-20 September 1997, Lecture Notes in Computer Science, volume 1297, pages 133-140, Springer

  @inproceedings{201897,
    author = "De Raedt, Luc and Blockeel, Hendrik",
    title = "Using logical decision trees for clustering",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "133--140",
    year = "1997",
    doi = "10.1007/3540635149\_{}41",
    url = "https://lirias.kuleuven.be/handle/123456789/201897",
  }
  

• De Raedt, Luc; Blockeel, Hendrik. Using logical decision trees for clustering, De Raedt, Luc; Muggleton, S (eds.), IJCAI-97 Workshop on Frontiers of Inductive Logic Programming, Nagoya, Japan, August 25, 1997, Proceedings of the IJCAI-97 Workshop on Frontiers of Inductive Logic Programming, pages 1-17

  @inproceedings{134513,
    author = "De Raedt, Luc and Blockeel, Hendrik",
    title = "Using logical decision trees for clustering",
    booktitle = "Proceedings of the IJCAI-97 Workshop on Frontiers of Inductive Logic Programming, ",
    editor = "De Raedt, Luc and Muggleton, S.",
    pages = "1--17",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134513",
  }
  

• De Raedt, Luc; Idestam-Almquist, P.; Sablon, G.. theta-subsumption for structural matching, Machine Learning : Ecml-97, volume 1224, pages 73-84, Springer-verlag berlin, 1997

  @inproceedings{124000,
    author = "De Raedt, Luc and Idestam-Almquist, P. and Sablon, G.",
    title = "theta-subsumption for structural matching",
    booktitle = "Machine Learning : Ecml-97",
    publisher = "Springer-verlag berlin",
    pages = "73--84",
    year = "1997",
    doi = "10.1007/3-540-62858-4\_{}73",
    url = "https://lirias.kuleuven.be/handle/123456789/124000",
  }
  

• de Waal, D André; Denecker, Marc; Bruynooghe, Maurice; Thielscher, Michael. The generation of pre-interpretations for detecting unsolvable planning problems, Furbach, U (ed.), Workshop on Model-Based Automated Reasoning (15th International Joint Conference on Artificial Intelligence), Nagoya, Japan, 23-29 August 1997, Workshop on Model-Based Automated Reasoning (15th International Joint Conference on Artificial Intelligence), pages 103-112

  @inproceedings{131183,
    author = "de Waal, D Andr{\'e} and Denecker, Marc and Bruynooghe, Maurice and Thielscher, Michael",
    title = "The generation of pre-interpretations for detecting unsolvable planning problems",
    booktitle = "Workshop on Model-Based Automated Reasoning (15th International Joint Conference on Artificial Intelligence), ",
    editor = "Furbach, U.",
    pages = "103--112",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/131183",
  }
  

• de Waal, D Andre; Denecker, Marc; Bruynooghe, Maurice; Thielscher, Michael. The Generation of Pre-interpretations for Detecting Unsolvable Planning Problems, Venter, L M.; Lombard, R R (eds.), the 1997 National Research and Development Conference (SIACSIT'97), Potschefstroomse University South Africa, November 1997, The 1997 National Research and Development Conference (SIASIT'97), pages 77-86

  @inproceedings{183519,
    author = "de Waal, D Andre and Denecker, Marc and Bruynooghe, Maurice and Thielscher, Michael",
    title = "The {G}eneration of {P}re-interpretations for {D}etecting {U}nsolvable {P}lanning {P}roblems",
    booktitle = "The 1997 National Research and Development Conference (SIASIT'97), ",
    editor = "Venter, L M. and Lombard, R R.",
    pages = "77--86",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/183519",
  }
  

• Decorte, Stefaan; De Schreye, Danny. Demand-driven and constraint-based automatic termination analysis for logic programs, Naish, L (ed.), 14th International Conference on Logic Programming (ICLP'97), 14th International Conference on Logic Programming (ICLP'97), pages 70-92, 1997

  @inproceedings{133069,
    author = "Decorte, Stefaan and De Schreye, Danny",
    title = "Demand-driven and constraint-based automatic termination analysis for logic programs",
    booktitle = "14th International Conference on Logic Programming (ICLP'97), ",
    editor = "Naish, L.",
    pages = "70--92",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/133069",
  }
  

• Decorte, Stefaan; De Schreye, Danny; Leuschel, Michael; Martens, Bernhard; Sagonas, Konstantinos. Termination analysis for tabled logic programming (extended abstract), 7th International Workshop on Logic Program Synthesis and Transformation,, Leuven, July 1997, Pre-Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation,

  @inproceedings{132988,
    author = "Decorte, Stefaan and De Schreye, Danny and Leuschel, Michael and Martens, Bernhard and Sagonas, Konstantinos",
    title = "Termination analysis for tabled logic programming (extended abstract)",
    booktitle = "Pre-Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation,, ",
    month = Jul,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132988",
  }
  

• Dehaspe, Luc. Maximum entropy modeling with clausal constraints, De Raedt, L.; Muggleton, S (eds.), The IJCAI-97 Workshop on Frontiers of Inductive Logic Programming, Nagoya, Japan, August 25, 1997, Proceedings of the IJCAI-97 Workshop on Frontiers of Inductive Logic Programming, pages 1-8

  @inproceedings{134547,
    author = "Dehaspe, Luc",
    title = "Maximum entropy modeling with clausal constraints",
    booktitle = "Proceedings of the IJCAI-97 Workshop on Frontiers of Inductive Logic Programming, ",
    editor = "De Raedt, L. and Muggleton, S.",
    pages = "1--8",
    month = Aug,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134547",
  }
  

• Dehaspe, Luc; De Raedt, Luc. Mining Association Rules in Multiple Relations, International Workshop on Inductive Logic Programming (ILP97), Lecture Notes in Computer Science, volume 1297, pages 125-132, Springer, 1997

  @inproceedings{134545,
    author = "Dehaspe, Luc and De Raedt, Luc",
    title = "Mining {A}ssociation {R}ules in {M}ultiple {R}elations",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "125--132",
    year = "1997",
    doi = "10.1007/3540635149\_{}40",
    url = "https://lirias.kuleuven.be/handle/123456789/134545",
  }
  

• Dehaspe, Luc; De Raedt, Luc. Mining a natural language corpus for multi-relational association rules, Daelemans, W.; Van den Bosch, Anne; Weijters, A (eds.), ECML/MLnet Workshop on Empirical Learning of Natural Language Processing Tasks, Prague, Czech Republic, April 26, 1997, Workshop Notes of the ECML/MLnet Workshop on Empirical Learning of Natural Language Processing Tasks, pages 35-48

  @inproceedings{131741,
    author = "Dehaspe, Luc and De Raedt, Luc",
    title = "Mining a natural language corpus for multi-relational association rules",
    booktitle = "Workshop Notes of the ECML/MLnet Workshop on Empirical Learning of Natural Language Processing Tasks, ",
    editor = "Daelemans, W. and Van den Bosch, Anne and Weijters, A.",
    pages = "35--48",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/131741",
  }
  

• Denecker, Marc; Vandecasteele, Henk; De Schreye, Danny; Seghers, Gino; Baeyens, Tom. Scheduling by ''abductive execution'' of a classical logic specification, Codognet, Philippe (ed.), ERCIM/Compulog workshop on Constraints, Linz, Austria, October 27-28, 1997, 1997 ERCIM/Compulog Workshop on Constraints, pages 1-5

  @inproceedings{133941,
    author = "Denecker, Marc and Vandecasteele, Henk and De Schreye, Danny and Seghers, Gino and Baeyens, Tom",
    title = "Scheduling by ''abductive execution'' of a classical logic specification",
    booktitle = "1997 ERCIM/Compulog Workshop on Constraints, ",
    editor = "Codognet, Philippe",
    pages = "1--5",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/133941",
  }
  

• Dussart, Dirk; Hughes, J.; Thiemann, P.. Type specialisation for imperative languages, International Conference on Functional Programming ICFP97, Amsterdam, the Netherlands, International Conference on Functional Programming ICFP97, pages 204-216, 1997

  @inproceedings{134522,
    author = "Dussart, Dirk and Hughes, J. and Thiemann, P.",
    title = "Type specialisation for imperative languages",
    booktitle = "International Conference on Functional Programming ICFP97, ",
    pages = "204--216",
    month = Jun,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134522",
  }
  

• Jørgensen, Jesper; Leuschel, Michael; Martens, Bernhard. Conjunctive partial deduction in practice, Gallagher, J (ed.), 6th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), Stockholm, Sweden, 6th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), Lecture Notes in Computer Science 1207, pages 59-82, Springer-verlag berlin, 1997

  @inproceedings{123852,
    author = "J{\o}rgensen, Jesper and Leuschel, Michael and Martens, Bernhard",
    title = "Conjunctive partial deduction in practice",
    booktitle = "6th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), Lecture Notes in Computer Science 1207, ",
    editor = "Gallagher, J.",
    publisher = "Springer-verlag berlin",
    pages = "59--82",
    year = "1997",
    doi = "10.1007/3-540-62718-9\_{}5",
    url = "https://lirias.kuleuven.be/handle/123456789/123852",
  }
  

• Leuschel, M.; De Schreye, Danny. Logic program specialisation: How to be more specific, Logic Program Synthesis and Transformation, volume 1207, page58, Springer-verlag berlin, 1997

  @inproceedings{123854,
    author = "Leuschel, M. and De Schreye, Danny",
    title = "Logic program specialisation: {H}ow to be more specific",
    booktitle = "Logic Program Synthesis and Transformation",
    publisher = "Springer-verlag berlin",
    pages = "58--58",
    year = "1997",
    doi = "10.1007/3-540-62718-9\_{}4",
    url = "https://lirias.kuleuven.be/handle/123456789/123854",
  }
  

• Leuschel, Michael. Extending homeomorphic embedding in the context of logic programming, 12th Workshop Logische Programmierung (WLP'97), Mu\*:nchen, 12th Workshop Logische Programmierung (WLP'97), pages 92-103, 1997

  @inproceedings{134507,
    author = "Leuschel, Michael",
    title = "Extending homeomorphic embedding in the context of logic programming",
    booktitle = "12th Workshop Logische Programmierung (WLP'97), ",
    pages = "92--103",
    month = Sep,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134507",
  }
  

• Leuschel, Michael. The ECCE partial deduction system, Puebla, G (ed.), International Workshop on Tools and Environments for (Constraint) Logic Programming, Port Jefferson, U.S.A., October 16, 1997, Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, volume CLIP7/97.1, pages 1-16

  @inproceedings{134511,
    author = "Leuschel, Michael",
    title = "The {ECCE} partial deduction system",
    booktitle = "Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, ",
    editor = "Puebla, G.",
    pages = "1--16",
    month = Oct,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134511",
  }
  

• Leuschel, Michael. Specialization of declarative programs and its applications (Workshop Overvies), Maluszýnski, J (ed.), The International Logic Programming Symposium (ILPS'97), Port Jefferson, U.S.A., The International Logic Programming Symposium (ILPS'97), pages 413-414, 1997

  @inproceedings{134515,
    author = "Leuschel, Michael",
    title = "Specialization of declarative programs and its applications ({W}orkshop {O}vervies)",
    booktitle = "The International Logic Programming Symposium (ILPS'97), ",
    editor = "Maluszýnski, J.",
    pages = "413--414",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134515",
  }
  

• Leuschel, Michael; De Schreye, Danny. Constrained partial deduction, 12th Workshop Logische Programmierung (WLP'97), Mu\*:nchen, 12th Workshop Logische Programmierung (WLP'97), pages 116-127, 1997

  @inproceedings{132774,
    author = "Leuschel, Michael and De Schreye, Danny",
    title = "Constrained partial deduction",
    booktitle = "12th Workshop Logische Programmierung (WLP'97), ",
    pages = "116--127",
    month = Sep,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132774",
  }
  

• Leuschel, Michael; Martens, Bernhard; Sagonas, Konstantinos. Preserving termination of tabled logic programs while unfolding, 7th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), Leuven, July 1997, Pre-Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96)

  @inproceedings{166737,
    author = "Leuschel, Michael and Martens, Bernhard and Sagonas, Konstantinos",
    title = "Preserving termination of tabled logic programs while unfolding",
    booktitle = "Pre-Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), ",
    month = Jul,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/166737",
  }
  

• Rao, Prasad; Sagonas, Konstantinos; Swift, T.; Warren, D S.; Freire, J.. XSB: A system for efficiently computing WFS, Dix, J.; Furbach, U.; Nerode, A (eds.), Proceedings of the Fourth International Conference on Logic Programming and Mon-Monotonic Reasoning, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings of the Fourth International Conference on Logic Programming and Mon-Monotonic Reasoning, Lecture Notes in Computer Science 1265, pages 430-440

  @inproceedings{134523,
    author = "Rao, Prasad and Sagonas, Konstantinos and Swift, T. and Warren, D S. and Freire, J.",
    title = "{XSB}: {A} system for efficiently computing {WFS}",
    booktitle = "Proceedings of the Fourth International Conference on Logic Programming and Mon-Monotonic Reasoning, Lecture Notes in Computer Science 1265, ",
    editor = "Dix, J. and Furbach, U. and Nerode, A.",
    pages = "430--440",
    month = Jul,
    year = "1997",
    doi = "10.1007/3-540-63255-7\_{}33",
    url = "https://lirias.kuleuven.be/handle/123456789/134523",
  }
  

• Sagonas, Konstantinos. Problems and prospects for the specialization of tabled logic programs, Port Jefferson, New York, Proceedings of the International Workshop on Specialization of Declarative Programs and Its Applications, pages 89-92, 1997

  @inproceedings{134451,
    author = "Sagonas, Konstantinos",
    title = "Problems and prospects for the specialization of tabled logic programs",
    booktitle = "Proceedings of the International Workshop on Specialization of Declarative Programs and Its Applications",
    pages = "89--92",
    month = Oct,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134451",
  }
  

• Van Baelen, E.; De Raedt, Luc. Analysis and prediction of piano performances using inductive logic programming, Inductive Logic Programming, volume 1314, pages 55-71, Springer-verlag berlin, 1997

  @inproceedings{125441,
    author = "Van Baelen, E. and De Raedt, Luc",
    title = "Analysis and prediction of piano performances using inductive logic programming",
    booktitle = "Inductive Logic Programming",
    publisher = "Springer-verlag berlin",
    pages = "55--71",
    year = "1997",
    doi = "10.1007/3-540-63494-0\_{}48",
    url = "https://lirias.kuleuven.be/handle/123456789/125441",
  }
  

• Van Belleghem, Kristof; Denecker, Marc; De Schreye, Danny. A strong correspondence between description logics and open logic programming, Naish, L (ed.), 1997 International Conference on Logic Programming, Leuven, Belgium, July 8-12, 1997, Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, pages 346-360

  @inproceedings{133066,
    author = "Van Belleghem, Kristof and Denecker, Marc and De Schreye, Danny",
    title = "A strong correspondence between description logics and open logic programming",
    booktitle = "Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, ",
    editor = "Naish, L.",
    pages = "346--360",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/133066",
  }
  

• Van Laer, Wim; De Raedt, Luc; Dzeroski, Saso. On multi-class problems and discretization in inductive logic programming, Zbigniew W. Ras, Andrzej Skowron (ed.), Foundations of Intelligent Systems, Charlotte, North Carolina, USA, October 15-18, 1997, Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, volume 1325, pages 277-286

  @inproceedings{133832,
    author = "Van Laer, Wim and De Raedt, Luc and Dzeroski, Saso",
    title = "On multi-class problems and discretization in inductive logic programming",
    booktitle = "Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, ",
    editor = "Zbigniew W. Ras, Andrzej Skowron",
    pages = "277--286",
    year = "1997",
    doi = "10.1007/3-540-63614-5\_{}27",
    url = "https://lirias.kuleuven.be/handle/123456789/133832",
  }
  

• Vanhoof, Wim. Bottom up information propagation for partial deduction, Leuschel, M (ed.), International Workshop on Specialization of Declarative Programs and its Applications, Port Jefferson, Long Island, New York, U.S.A., International Workshop on Specialization of Declarative Programs and Its Applications, pages 73-82, 1997

  @inproceedings{133283,
    author = "Vanhoof, Wim",
    title = "Bottom up information propagation for partial deduction",
    booktitle = "International Workshop on Specialization of Declarative Programs and Its Applications, ",
    editor = "Leuschel, M.",
    pages = "73--82",
    month = Oct,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/133283",
  }
  

• Vanhoof, Wim; Martens, Bernhard. To parse or not to parse (Extended Abstract), Fuchs, N (ed.), 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium, July 1997, Pre-Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation, pages 1-19

  @inproceedings{133576,
    author = "Vanhoof, Wim and Martens, Bernhard",
    title = "To parse or not to parse ({E}xtended {A}bstract)",
    booktitle = "Pre-Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation, ",
    editor = "Fuchs, N.",
    pages = "1--19",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/133576",
  }
  

• Verbaeten, Sofie; Denecker, Marc; De Schreye, Danny. Composite quadrature formulae for the approximation of wavelet coefficients of piecewise smooth and singular functions, Brogi, A.; Hill, P (eds.), International Workshop on Logic-Based Composition of Software, Leuven, Belgium, July 11, 1997, Proceedings of the International Workshop on Logic-Based Composition of Software, pages 1-19

  @inproceedings{166790,
    author = "Verbaeten, Sofie and Denecker, Marc and De Schreye, Danny",
    title = "Composite quadrature formulae for the approximation of wavelet coefficients of piecewise smooth and singular functions",
    booktitle = "Proceedings of the International Workshop on Logic-Based Composition of Software, ",
    editor = "Brogi, A. and Hill, P.",
    pages = "1--19",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/166790",
  }
  

• Verbaeten, Sofie; Denecker, Marc; De Schreye, Danny. Compositionality of normal open logic programs, Maluszýnski, J (ed.), 1997 International Logic Programming Symposium, Port Jefferson, New York, October 13-16, 1997, Logic Programming, Proceedings of the 1997 International Symposium, pages 371-385

  @inproceedings{166830,
    author = "Verbaeten, Sofie and Denecker, Marc and De Schreye, Danny",
    title = "Compositionality of normal open logic programs",
    booktitle = "Logic Programming, Proceedings of the 1997 International Symposium, ",
    editor = "Maluszýnski, J.",
    pages = "371--385",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/166830",
  }
  

• Verbaeten, Sofie; Denecker, Marc; De Schreye, Danny. Compositionality of normal open logic programs, Van Marcke, K.; Daelemans, W (eds.), Ninth Dutch Conference on Artificial Intelligence, Antwerpen, Proceedings of the Ninth Dutch Conference on Artificial Intelligence, pages 203-214, 1997

  @inproceedings{131227,
    author = "Verbaeten, Sofie and Denecker, Marc and De Schreye, Danny",
    title = "Compositionality of normal open logic programs",
    booktitle = "Proceedings of the Ninth Dutch Conference on Artificial Intelligence, ",
    editor = "Van Marcke, K. and Daelemans, W.",
    pages = "203--214",
    month = Nov,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/131227",
  }
  

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

4 references

• Blockeel, Hendrik; De Raedt, Luc. Top-down induction of logical decision trees, Van Marcke, K.; Daelemans, W (eds.), Dutch Conference on Artificial Intelligence (NAIC), Antwerp, Belgium, 1997, Proceedings of the Ninth Dutch Conference on Artificial Intelligence, pages 333-342

  @inproceedings{201878,
    author = "Blockeel, Hendrik and De Raedt, Luc",
    title = "Top-down induction of logical decision trees",
    booktitle = "Proceedings of the Ninth Dutch Conference on Artificial Intelligence, ",
    editor = "Van Marcke, K. and Daelemans, W.",
    pages = "333--342",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/201878",
  }
  

• De Raedt, Luc; Dehaspe, Luc. Learning from satisfiability, Van Marcke, K.; Daelemans, W (eds.), Ninth Dutch Conference on Artificial Intelligence (NAIC'97), Antwerpen, Ninth Dutch Conference on Artificial Intelligence (NAIC'97), pages 303-312, 1997

  @inproceedings{134676,
    author = "De Raedt, Luc and Dehaspe, Luc",
    title = "Learning from satisfiability",
    booktitle = "Ninth Dutch Conference on Artificial Intelligence (NAIC'97), ",
    editor = "Van Marcke, K. and Daelemans, W.",
    pages = "303--312",
    month = Nov,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134676",
  }
  

• Dehaspe, Luc; De Raedt, Luc. Wanted: association rules over multiple relations, Van Marcke, K.; Daelemans, W (eds.), Ninth Dutch Conference on Artificial Intelligence (NAIC'97), Antwerpen, Ninth Dutch Conference on Artificial Intelligence (NAIC'97), pages 343-352, 1997

  @inproceedings{134687,
    author = "Dehaspe, Luc and De Raedt, Luc",
    title = "Wanted: association rules over multiple relations",
    booktitle = "Ninth Dutch Conference on Artificial Intelligence (NAIC'97), ",
    editor = "Van Marcke, K. and Daelemans, W.",
    pages = "343--352",
    month = Nov,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134687",
  }
  

• Van Belleghem, Kristof; Denecker, Marc; Dupré, D.T.. Ramifications in an event-based language, Van Marcke, K.; Daelemans, W (eds.), Ninth Dutch Conference on Artificial Intelligence (NAIC'97), Antwerpen, Ninth Dutch Conference on Artificial Intelligence (NAIC'97), pages 227-236, 1997

  @inproceedings{132876,
    author = "Van Belleghem, Kristof and Denecker, Marc and Dupr{\'e}, D.T.",
    title = "Ramifications in an event-based language",
    booktitle = "Ninth Dutch Conference on Artificial Intelligence (NAIC'97), ",
    editor = "Van Marcke, K. and Daelemans, W.",
    pages = "227--236",
    month = Nov,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132876",
  }
  

Meeting abstracts, presented at international conferences and symposia

2 references

• De Raedt, Luc. Machine learning for verification and validation, European Symposium on the Validation and Verification of Knowledge-Based Systems (EUROVAV), Leuven, Belgium, June 26-28, 1997, Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 97, page4, Katholieke Universiteit Leuven, Belgium

  @unpublished{245797,
    author = "De Raedt, Luc",
    title = "Machine learning for verification and validation",
    note = "European Symposium on the Validation and Verification of Knowledge-Based Systems (EUROVAV), Leuven, Belgium, June 26-28, 1997",
    booktitle = "Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 97",
    publisher = "Katholieke Universiteit Leuven, Belgium",
    pages = "4--4",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/245797",
  }
  

• Riche, Jacques. Finitization procedures, First World Congress on Paraconsistency, Universiteit Gent, Belgium, July 30 - August 2, 1997

  @unpublished{134080,
    author = "Riche, Jacques",
    title = "Finitization procedures",
    note = "First World Congress on Paraconsistency, Universiteit Gent, Belgium, July 30 - August 2, 1997",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134080",
  }
  

Thesis

4 references

• Decorte, Stefaan. Enchancing the power of termination analysis of logic programs through types and constranints, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1997, De Schreye, Danny and Gobin, Marc (supervisors)

  @phdthesis{134600,
    author = "Decorte, Stefaan",
    title = "Enchancing the power of termination analysis of logic programs through types and constranints",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "320",
    month = Dec,
    year = "1997",
    note = "De Schreye, Danny and Gobin, Marc (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134600",
  }
  

• Dussart, Dirk. Topics in program specialization and analysis for statically typed functional languages, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1997, De Vlaminck, Karel and Bruynooghe, Maurice and Gobin, Marc (supervisors)

  @phdthesis{134597,
    author = "Dussart, Dirk",
    title = "Topics in program specialization and analysis for statically typed functional languages",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    month = May,
    year = "1997",
    note = "De Vlaminck, Karel and Bruynooghe, Maurice and Gobin, Marc (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134597",
  }
  

• Leuschel, Michael. Advanced techniques for logic program specialisation, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1997, De Schreye, Danny and Van Assche, Walter (supervisors)

  @phdthesis{134604,
    author = "Leuschel, Michael",
    title = "Advanced techniques for logic program specialisation",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "431",
    month = May,
    year = "1997",
    note = "De Schreye, Danny and Van Assche, Walter (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134604",
  }
  

• Van Belleghem, Kristof. Open logic programming as a knowledge representation language for dynamic problem domains, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1997, De Schreye, Danny (supervisor)

  @phdthesis{134603,
    author = "Van Belleghem, Kristof",
    title = "Open logic programming as a knowledge representation language for dynamic problem domains",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    month = Dec,
    year = "1997",
    note = "De Schreye, Danny (supervisor)",
    url = "https://lirias.kuleuven.be/handle/123456789/134603",
  }
  

Internal reports

12 references

• Blockeel, Hendrik; De Raedt, Luc. Top-down induction of logical decision trees, CW Reports, volume CW247, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1997

  @techreport{134645,
    author = "Blockeel, Hendrik and De Raedt, Luc",
    title = "Top-down induction of logical decision trees",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW247",
    month = Jan,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134645",
  }
  

• Decorte, Stefaan; De Schreye, Danny; Fabris, M.. Exploiting the power of typed norms in automatic inference of interargument relations, CW Reports, volume CW246, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1997

  @techreport{132810,
    author = "Decorte, Stefaan and De Schreye, Danny and Fabris, M.",
    title = "Exploiting the power of typed norms in automatic inference of interargument relations",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW246",
    month = Jan,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132810",
  }
  

• Demoen, Bart; Janssens, Gerda. Proceedings of the seventh international workshop on logic program synthesis and transformation, CW Reports, volume CW253, 233 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1997

  @techreport{131537,
    author = "Demoen, Bart and Janssens, Gerda",
    title = "Proceedings of the seventh international workshop on logic program synthesis and transformation",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW253",
    month = Jul,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/131537",
  }
  

• Keyngnaert, Peter; Maes, Frederik; Vandermeulen, Dirk. Optimisation of information theory based registration using gradient information, KUL/ESAT/MI2/9705, KULeuven, ESAT, Leuven, Belgium, 1997

  @techreport{174501,
    author = "Keyngnaert, Peter and Maes, Frederik and Vandermeulen, Dirk",
    title = "Optimisation of information theory based registration using gradient information",
    institution = "KULeuven, ESAT",
    location = "Leuven, Belgium",
    type = "KUL/ESAT/MI2/9705",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/174501",
  }
  

• Leuschel, Michael. Proceedings of the International Workshop on son specialization of declarative programs and its applications, CW Reports, volume CW255, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1997

  @techreport{134633,
    author = "Leuschel, Michael",
    title = "Proceedings of the {I}nternational {W}orkshop on son specialization of declarative programs and its applications",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW255",
    month = Sep,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134633",
  }
  

• Leuschel, Michael. Extending homeomorphic embedding in the context of logic programming, CW Reports, volume CW252, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1997

  @techreport{270790,
    author = "Leuschel, Michael",
    title = "Extending homeomorphic embedding in the context of logic programming",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW252",
    month = Jun,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/270790",
  }
  

• Leuschel, Michael; De Schreye, Danny. Constrainted partial deduction and the preservation of characteristic trees, CW Reports, volume CW250, 51 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1997

  @techreport{131856,
    author = "Leuschel, Michael and De Schreye, Danny",
    title = "Constrainted partial deduction and the preservation of characteristic trees",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW250",
    month = Jun,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/131856",
  }
  

• Leuschel, Michael; Martens, Bernhard; De Schreye, Danny. Controlling generalisation and polyvariance in partial deduction of normal logic programs, CW Reports, volume CW248, 62 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1997

  @techreport{132461,
    author = "Leuschel, Michael and Martens, Bernhard and De Schreye, Danny",
    title = "Controlling generalisation and polyvariance in partial deduction of normal logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW248",
    month = Feb,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132461",
  }
  

• Leuschel, Michael; Martens, Bernhard; Sagonas, Konstantinos. Preserving termination of tabled logic programs while unfolding, CW Reports, volume CW256, 17 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1997

  @techreport{132380,
    author = "Leuschel, Michael and Martens, Bernhard and Sagonas, Konstantinos",
    title = "Preserving termination of tabled logic programs while unfolding",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW256",
    month = Sep,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132380",
  }
  

• Van Belleghem, Kristof; Denecker, Marc; Dupré, D.T.. Representing ramifications in an event-based language, CW Reports, volume CW257, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1997

  @techreport{132530,
    author = "Van Belleghem, Kristof and Denecker, Marc and Dupr{\'e}, D.T.",
    title = "Representing ramifications in an event-based language",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW257",
    month = Dec,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132530",
  }
  

• Vanhoof, Wim; Martens, Bernhard. To parse or not to parse, CW Reports, volume CW251, 20 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1997

  @techreport{132702,
    author = "Vanhoof, Wim and Martens, Bernhard",
    title = "To parse or not to parse",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW251",
    month = Jun,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132702",
  }
  

• Verbaeten, Sofie; Denecker, Marc; De Schreye, Danny. Compositionality of normal open logic programs, CW Reports, volume CW254, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1997

  @techreport{166946,
    author = "Verbaeten, Sofie and Denecker, Marc and De Schreye, Danny",
    title = "Compositionality of normal open logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW254",
    month = Jul,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/166946",
  }
  

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

Yearly overview: