Publications DTAI

1995

Articles in internationally reviewed journals

11 references

• Adé, Hilde; De Raedt, Luc; Bruynooghe, Maurice. Declarative bias for specific-to-general ilp systems, Machine Learning, volume 20, issue 1-2, pages 119-154, 1995

  @article{123877,
    author = "Ad{\'e}, Hilde and De Raedt, Luc and Bruynooghe, Maurice",
    title = "Declarative bias for specific-to-general ilp systems",
    journal = "Machine Learning",
    volume = "20",
    number = "1-2",
    pages = "119--154",
    month = Jul,
    year = "1995",
    doi = "10.1007/BF00993477",
    url = "https://lirias.kuleuven.be/handle/123456789/123877",
  }
  

• Bruynooghe, Maurice; Codish, M.; Mulkers, A.. Abstracting unification: A key step in the design of logic program analyses, Computer Science Today, Recent Trends and Developments, Lecture Notes in Computer Science, volume 1000, pages 406-425, 1995

  @article{124466,
    author = "Bruynooghe, Maurice and Codish, M. and Mulkers, A.",
    title = "Abstracting unification: {A} key step in the design of logic program analyses",
    journal = "Lecture Notes in Computer Science",
    volume = "1000",
    pages = "406--425",
    year = "1995",
    doi = "10.1007/BFb0015257",
    url = "https://lirias.kuleuven.be/handle/123456789/124466",
  }
  

• Bruynooghe, Maurice; Debray, Saumya; Hermenegildo, Manuel; Maher, Michael. Special section - 10 years of logic programming - introduction, Journal of Logic Programming, volume 23, issue 2, pages 87-88, 1995

  @article{124917,
    author = "Bruynooghe, Maurice and Debray, Saumya and Hermenegildo, Manuel and Maher, Michael",
    title = "Special section - 10 years of logic programming - introduction",
    journal = "Journal of Logic Programming",
    volume = "23",
    number = "2",
    pages = "87--88",
    month = May,
    year = "1995",
    doi = "10.1016/0743-1066(94)00037-7",
    url = "https://lirias.kuleuven.be/handle/123456789/124917",
  }
  

• Codish, M.; Demoen, Bart. Analyzing logic programs using ''prop''-ositional logic programs and a magic wand, Journal of Logic Programming, volume 25, issue 3, pages 249-274, 1995

  @article{123888,
    author = "Codish, M. and Demoen, Bart",
    title = "Analyzing logic programs using ''prop''-ositional logic programs and a magic wand",
    journal = "Journal of Logic Programming",
    volume = "25",
    number = "3",
    pages = "249--274",
    month = Dec,
    year = "1995",
    doi = "10.1016/0743-1066(95)00064-X",
    url = "https://lirias.kuleuven.be/handle/123456789/123888",
  }
  

• Codish, Michael; Mulkers, Anne; Bruynooghe, Maurice; Garcia de la Banda, Maria; Hermenegildo, Manuel. Improving abstract interpretations by combining domains, ACM Transactions on Programming Languages and Systems, volume 17, issue 1, pages 28-44, 1995

  @article{124672,
    author = "Codish, Michael and Mulkers, Anne and Bruynooghe, Maurice and Garcia de la Banda, Maria and Hermenegildo, Manuel",
    title = "Improving abstract interpretations by combining domains",
    journal = "ACM Transactions on Programming Languages and Systems",
    volume = "17",
    number = "1",
    pages = "28--44",
    month = Jan,
    year = "1995",
    doi = "10.1145/200994.200998",
    url = "https://lirias.kuleuven.be/handle/123456789/124672",
  }
  

• De Raedt, Luc. Inductive logic programming and scientific discovery, Academiae Analecta, volume 57, issue 2, pages 99-128, 1995

  @article{134691,
    author = "De Raedt, Luc",
    title = "Inductive logic programming and scientific discovery",
    journal = "Academiae Analecta",
    volume = "57",
    number = "2",
    pages = "99--128",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134691",
  }
  

• De Schreye, Danny; Verschaetse, K.. Deriving linear size relations for logic programs by abstract interpretation, New Generation Computing, volume 13, issue 2, pages 117-154, 1995

  @article{124359,
    author = "De Schreye, Danny and Verschaetse, K.",
    title = "Deriving linear size relations for logic programs by abstract interpretation",
    journal = "New Generation Computing",
    volume = "13",
    number = "2",
    pages = "117--154",
    year = "1995",
    doi = "10.1007/BF03038311",
    url = "https://lirias.kuleuven.be/handle/123456789/124359",
  }
  

• Denecker, Marc; De Schreye, Danny. Representing incomplete knowledge in abductive logic programming, Journal of Logic and Computation, volume 5, issue 5, pages 553-577, 1995

  @article{124402,
    author = "Denecker, Marc and De Schreye, Danny",
    title = "Representing incomplete knowledge in abductive logic programming",
    journal = "Journal of Logic and Computation",
    volume = "5",
    number = "5",
    pages = "553--577",
    month = Oct,
    year = "1995",
    doi = "10.1093/logcom/5.5.553",
    url = "https://lirias.kuleuven.be/handle/123456789/124402",
  }
  

• Lavrac, Nada; De Raedt, Luc. Inductive logic programming: a survey of european research, AI Communications, volume 8, issue 1, pages 3-19, 1995

  @article{124207,
    author = "Lavrac, Nada and De Raedt, Luc",
    title = "Inductive logic programming: a survey of european research",
    journal = "AI Communications",
    volume = "8",
    number = "1",
    pages = "3--19",
    month = Mar,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/124207",
  }
  

• Martens, Bernhard; De Schreye, Danny. Why untyped nonground metaprogramming is not (much of) a problem, Journal of Logic Programming, volume 22, issue 1, pages 47-99, 1995

  @article{125515,
    author = "Martens, Bernhard and De Schreye, Danny",
    title = "Why untyped nonground metaprogramming is not (much of) a problem",
    journal = "Journal of Logic Programming",
    volume = "22",
    number = "1",
    pages = "47--99",
    month = Jan,
    year = "1995",
    doi = "10.1016/0743-1066(94)00015-X",
    url = "https://lirias.kuleuven.be/handle/123456789/125515",
  }
  

• Missiaen, Lode; Bruynooghe, Maurice; Denecker, Marc. CHICA, an abductive planning system based on event calculus, Journal of Logic and Computation, volume 5, issue 5, pages 579-602, 1995

  @article{124400,
    author = "Missiaen, Lode and Bruynooghe, Maurice and Denecker, Marc",
    title = "{CHICA}, an abductive planning system based on event calculus",
    journal = "Journal of Logic and Computation",
    volume = "5",
    number = "5",
    pages = "579--602",
    month = Oct,
    year = "1995",
    doi = "10.1093/logcom/5.5.579",
    url = "https://lirias.kuleuven.be/handle/123456789/124400",
  }
  

Books, internationally recognised scientific publisher; as editor

3 references

• Bruynooghe, Maurice; Debray, Saumya; Hermenegildo, Manuel; Maher, Michael (eds.), Special Section: Ten Years of Logic Programming, Journal of Logic Programming, volume 23, 69 pages, North Holland, 1995

  @book{133858,
    editor = "Bruynooghe, Maurice and Debray, Saumya and Hermenegildo, Manuel and Maher, Michael",
    title = "Special {S}ection: {T}en {Y}ears of {L}ogic {P}rogramming",
    publisher = "North Holland",
    pages = "69",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/133858",
  }
  

• De Raedt, Luc (ed.), Proceedings of the 5th Inductive Logic Programming Workshop, K.U.Leuven, Department of Computer Science, 1995

  @book{134562,
    editor = "De Raedt, Luc",
    title = "Proceedings of the 5th {I}nductive {L}ogic {P}rogramming {W}orkshop",
    publisher = "K.U.Leuven, Department of Computer Science",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134562",
  }
  

• García de la Banda, M.; Janssens, Gerda; Stuckey, P (eds.), Proceedings of the ICLP'95 Post-Conference Workshop on Abstract Interpretation of Logic Languages, Science University of Tokyo, 1995

  @book{133920,
    editor = "Garc{\'{\i}}a de la Banda, M. and Janssens, Gerda and Stuckey, P.",
    title = "Proceedings of the {ICLP}'95 {P}ost-{C}onference {W}orkshop on {A}bstract {I}nterpretation of {L}ogic {L}anguages",
    publisher = "Science University of Tokyo",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/133920",
  }
  

Article in book, internationally recognised scientific publisher

1 reference

• Martens, Bernhard; De Schreye, Danny. Two semantics for definite meta-programs, using the non-ground representation, Apt, K.R.; Turini, F (eds.), MIT Press, Cambridge, MA, 1995

  @incollection{131360,
    author = "Martens, Bernhard and De Schreye, Danny",
    title = "Two semantics for definite meta-programs, using the non-ground representation",
    editor = "Apt, K.R. and Turini, F.",
    publisher = "MIT Press, Cambridge, MA",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/131360",
  }
  

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

26 references

• Adé, Hilde; Boström, H.. JIGSAW: Puzzling together RUTH and SPECTRE extended abstract, Lavrac, N.; Wrobel, S (eds.), The European Conference on Machine Learning (ECML-95), Heraclion, Crete, Greece, April 25-27, 1995, The European Conference on Machine Learning (ECML-95), Lecture Notes in Computer Science 912, pages 261-266

  @inproceedings{134540,
    author = "Ad{\'e}, Hilde and Bostr{\"o}m, H.",
    title = "{JIGSAW}: {P}uzzling together {RUTH} and {SPECTRE} extended abstract",
    booktitle = "The European Conference on Machine Learning (ECML-95), Lecture Notes in Computer Science 912, ",
    editor = "Lavrac, N. and Wrobel, S.",
    pages = "261--266",
    year = "1995",
    doi = "10.1007/3-540-59286-5\_{}63",
    url = "https://lirias.kuleuven.be/handle/123456789/134540",
  }
  

• Adé, Hilde; Denecker, Marc. Abductive inductive logic programming, Mellish, C.S (ed.), The International Joint Conference on Artificial Intelligence, Proceedings of the International Joint Conference on Artificial Intelligence, pages 1201-1209, 1995

  @inproceedings{131511,
    author = "Ad{\'e}, Hilde and Denecker, Marc",
    title = "Abductive inductive logic programming",
    booktitle = "Proceedings of the International Joint Conference on Artificial Intelligence, ",
    editor = "Mellish, C.S.",
    pages = "1201--1209",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/131511",
  }
  

• Bruynooghe, Maurice; Janssens, Gerda; Dumortier, Veroniek. A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs, Garcia de la Banda, Maria; Janssens, Gerda; Stuckey, Peter (eds.), the ICLP'95 Post-Conference Workshop on Abstract Interpretation of Logic Languages, Tokyo, Japan, June 1995, Proceedings of the ICLP'95 Post-Conference Workshop on Abstract Interpretation of Logic Languages, pages 18-35

  @inproceedings{183928,
    author = "Bruynooghe, Maurice and Janssens, Gerda and Dumortier, Veroniek",
    title = "A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs",
    booktitle = "Proceedings of the ICLP'95 Post-Conference Workshop on Abstract Interpretation of Logic Languages, ",
    editor = "Garcia de la Banda, Maria and Janssens, Gerda and Stuckey, Peter",
    pages = "18--35",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/183928",
  }
  

• De Raedt, Luc; Van Laer, Wim. Inductive constraint logic, Jantke, Klaus P.; Shinohara, Takeshi; Zeugmann, Thomas (eds.), Algorithmic Learning Theory, Lecture Notes in Computer Science, volume 997, pages 80-94, Springer, 1995

  @inproceedings{132972,
    author = "De Raedt, Luc and Van Laer, Wim",
    title = "Inductive constraint logic",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Jantke, Klaus P. and Shinohara, Takeshi and Zeugmann, Thomas",
    publisher = "Springer",
    pages = "80--94",
    month = Oct,
    year = "1995",
    doi = "10.1007/3-540-60454-5\_{}30",
    url = "https://lirias.kuleuven.be/handle/123456789/132972",
  }
  

• De Schreye, Danny; Leuschel, Michael; Martens, Bernhard. Tutorial on Program Specialisation, Lloyd, John (ed.), International Logic Programming Symposium (ILPS95), International Logic Programming Symposium (ILPS95), pages 615-616, 1995

  @inproceedings{132848,
    author = "De Schreye, Danny and Leuschel, Michael and Martens, Bernhard",
    title = "Tutorial on {P}rogram {S}pecialisation",
    booktitle = "International Logic Programming Symposium (ILPS95), ",
    editor = "Lloyd, John",
    pages = "615--616",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132848",
  }
  

• Decorte, Stefaan; De Schreye, Danny; Fabris, M.. Exploiting the power of typed norms in automatic derivation of interargument relations, Workshop on Abstract Interpretation of Logic Languages (WAILL95), Eilat, Israel, Workshop on Abstract Interpretation of Logic Languages (WAILL95), 1995

  @inproceedings{132798,
    author = "Decorte, Stefaan and De Schreye, Danny and Fabris, M.",
    title = "Exploiting the power of typed norms in automatic derivation of interargument relations",
    booktitle = "Workshop on Abstract Interpretation of Logic Languages (WAILL95), ",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132798",
  }
  

• Dehaspe, Luc; Blockeel, Hendrik; De Raedt, Luc. Induction, logic and natural language processing, Joint ELSNET/COMPULOG-NET/EAGLES Workshop on Computational Logic for Natural Language Processing (CLNLP-95), Joint ELSNET/COMPULOG-NET/EAGLES Workshop on Computational Logic for Natural Language Processing (CLNLP-95), 1995

  @inproceedings{134526,
    author = "Dehaspe, Luc and Blockeel, Hendrik and De Raedt, Luc",
    title = "Induction, logic and natural language processing",
    booktitle = "Joint ELSNET/COMPULOG-NET/EAGLES Workshop on Computational Logic for Natural Language Processing (CLNLP-95), ",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134526",
  }
  

• Dehaspe, Luc; De Raedt, Luc. Parallel inductive logic programming, Kodratoff, Y.; Nakhaeizadeh, G.; Taylor, G (eds.), the MLnet Familiarization Workshop on Statistics, Machine Learning and Knowledge Discovery in Databases, The MLnet Familiarization Workshop on Statistics, Machine Learning and Knowledge Discovery in Databases, pages 112-117, 1995

  @inproceedings{134494,
    author = "Dehaspe, Luc and De Raedt, Luc",
    title = "Parallel inductive logic programming",
    booktitle = "The MLnet Familiarization Workshop on Statistics, Machine Learning and Knowledge Discovery in Databases, ",
    editor = "Kodratoff, Y. and Nakhaeizadeh, G. and Taylor, G.",
    pages = "112--117",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134494",
  }
  

• Denecker, Marc. A terminological interpretation of (abductive) logic programming, Marek, V.W.; Nerode, A.; Truszczynski, M (eds.), the International Conference on Logic Programming and Nonmonotonic Reasoning, Lexington, U.S.A., June 26–28, 1995, Logic Programming and Nonmonotonic Reasoning, Proceedings LPNMR'95, Lecture Notes in Computer Science 928, pages 15-29, Springer-verlag berlin

  @inproceedings{125017,
    author = "Denecker, Marc",
    title = "A terminological interpretation of (abductive) logic programming",
    booktitle = "Logic Programming and Nonmonotonic Reasoning, Proceedings LPNMR'95, Lecture Notes in Computer Science 928, ",
    editor = "Marek, V.W. and Nerode, A. and Truszczynski, M.",
    publisher = "Springer-verlag berlin",
    pages = "15--29",
    year = "1995",
    doi = "10.1007/3-540-59487-6\_{}2",
    url = "https://lirias.kuleuven.be/handle/123456789/125017",
  }
  

• Denecker, Marc. Semantic abstract interpretation, Workshop on Abstract Interpretation of Logic Languages, Eilat, Israel, Workshop on Abstract Interpretation of Logic Languages, 1995

  @inproceedings{132977,
    author = "Denecker, Marc",
    title = "Semantic abstract interpretation",
    booktitle = "Workshop on Abstract Interpretation of Logic Languages, ",
    month = Jun,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132977",
  }
  

• Denecker, Marc; Van Belleghem, Kristof; Duchatelet, G.; Piessens, Frank; De Schreye, Danny. Using event calculus for protocol specification. An experiment, ICLP95 Workshop on Abduction in Deductive Databases and Knowledge-Based Systems, Japan, ICLP95 Workshop on Abduction in Deductive Databases and Knowledge-Based Systems, 1995

  @inproceedings{132836,
    author = "Denecker, Marc and Van Belleghem, Kristof and Duchatelet, G. and Piessens, Frank and De Schreye, Danny",
    title = "Using event calculus for protocol specification. {A}n experiment",
    booktitle = "ICLP95 Workshop on Abduction in Deductive Databases and Knowledge-Based Systems, ",
    month = Jun,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132836",
  }
  

• Dussart, Dirk. Proving program transformers correct by program transformation, Logic, Domains, and Programming Languages, Logic, Domains, and Programming Languages, 1995

  @inproceedings{134501,
    author = "Dussart, Dirk",
    title = "Proving program transformers correct by program transformation",
    booktitle = "Logic, Domains, and Programming Languages, ",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134501",
  }
  

• Dussart, Dirk; Bevers, Eddy. CPS transformation after binding-time analysis, Bjerner, (ed.), 7th Nordic Workshop on Programming Theory, 7th Nordic Workshop on Programming Theory, pages 112-126, 1995

  @inproceedings{134489,
    author = "Dussart, Dirk and Bevers, Eddy",
    title = "{CPS} transformation after binding-time analysis",
    booktitle = "7th Nordic Workshop on Programming Theory, ",
    editor = "Bjerner",
    pages = "112--126",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134489",
  }
  

• Dussart, Dirk; Bevers, Eddy; De Vlaminck, Karel. Polyvariant constructor specialisation, ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based program manipulation (PEPM'95), La Jolla, California, June 21-23, 1995, ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation (PEPM'95), pages 54-66

  @inproceedings{132960,
    author = "Dussart, Dirk and Bevers, Eddy and De Vlaminck, Karel",
    title = "Polyvariant constructor specialisation",
    booktitle = "ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation (PEPM'95), ",
    pages = "54--66",
    year = "1995",
    doi = "10.1145/215465.215554",
    url = "https://lirias.kuleuven.be/handle/123456789/132960",
  }
  

• Dussart, Dirk; Henglein, F.; Mossin, C.. Polymorphic recursion and subtype qualifications: polymorphic binding-time analysis in polynomial time, Mycroft, Alan (ed.), International Symposium Static Analysis, Glasgow, UK, September 25-27, 1995, Static Analysis, Second International Symposium, SAS'95, Lecture Notes in Computer Science 983

  @inproceedings{134499,
    author = "Dussart, Dirk and Henglein, F. and Mossin, C.",
    title = "Polymorphic recursion and subtype qualifications: polymorphic binding-time analysis in polynomial time",
    booktitle = "Static Analysis, Second International Symposium, SAS'95, Lecture Notes in Computer Science 983, ",
    editor = "Mycroft, Alan",
    year = "1995",
    doi = "10.1007/3-540-60360-3\_{}36",
    url = "https://lirias.kuleuven.be/handle/123456789/134499",
  }
  

• Janssens, Gerda; Bruynooghe, Maurice; Dumortier, Veroniek. A blueprint for an abstract machine for abstract interpretation of (constraint) logic programming, Lloyd, John (ed.), 1995 International Symposium on Logic Programming, Portland, Oregon, USA, December 4-7, 1995, Proceedings of the 1995 International Sympoisum (ILPS'95), pages 336-350, MIT Press

  @inproceedings{166872,
    author = "Janssens, Gerda and Bruynooghe, Maurice and Dumortier, Veroniek",
    title = "A blueprint for an abstract machine for abstract interpretation of (constraint) logic programming",
    booktitle = "Proceedings of the 1995 International Sympoisum (ILPS'95), ",
    editor = "Lloyd, John",
    publisher = "MIT Press",
    pages = "336--350",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/166872",
  }
  

• Leuschel, Michael. Partial evaluation of the real thing, Fribourg, Laurent; Turini, Franco (eds.), Logic Program Synthesis and Transformation - Meta-Programming in Logic (Proceedings of LOPSTR'94 and Meta'94), Pisa, Italy, June 20-21, 1994, Logic Program Synthesis and Transformation - Meta-Programming in Logic (Proceedings of LOPSTR'94 and Meta'94), Lecture Notes in Computer Science 883, pages 122-137, 1995

  @inproceedings{134500,
    author = "Leuschel, Michael",
    title = "Partial evaluation of the real thing",
    booktitle = "Logic Program Synthesis and Transformation - Meta-Programming in Logic (Proceedings of LOPSTR'94 and Meta'94), Lecture Notes in Computer Science 883, ",
    editor = "Fribourg, Laurent and Turini, Franco",
    pages = "122--137",
    year = "1995",
    doi = "10.1007/3-540-58792-6\_{}8",
    url = "https://lirias.kuleuven.be/handle/123456789/134500",
  }
  

• Leuschel, Michael. Ecological partial deduction: preserving characteristic trees without constraints, Proietti, M (ed.), Logic Program Synthesis and Transformation, Utrecht, The Netherlands, September 20-22, 1995, Logic Program Synthesis and Transformation. Proceedings of LOPSTR'95, Lecture Notes in Computer Science 1048, pages 1-16

  @inproceedings{134505,
    author = "Leuschel, Michael",
    title = "Ecological partial deduction: preserving characteristic trees without constraints",
    booktitle = "Logic Program Synthesis and Transformation. Proceedings of LOPSTR'95, Lecture Notes in Computer Science 1048, ",
    editor = "Proietti, M.",
    pages = "1--16",
    year = "1995",
    doi = "10.1007/3-540-60939-3\_{}1",
    url = "https://lirias.kuleuven.be/handle/123456789/134505",
  }
  

• Leuschel, Michael; De Schreye, Danny. Towards creating specialised integrity checks through partial evaluation of meta-interpreters, ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation (PEPM'95), La Jolla, California, USA, June 21-23, 1995, ISCA International Conference Parallel and Distributed Computing Systems (PDCS'96), pages 253-263

  @inproceedings{132812,
    author = "Leuschel, Michael and De Schreye, Danny",
    title = "Towards creating specialised integrity checks through partial evaluation of meta-interpreters",
    booktitle = "ISCA International Conference Parallel and Distributed Computing Systems (PDCS'96), ",
    pages = "253--263",
    year = "1995",
    doi = "10.1145/215465.215598",
    url = "https://lirias.kuleuven.be/handle/123456789/132812",
  }
  

• Leuschel, Michael; Martens, Bernhard. Partial deduction of the ground representation and its application to integrity checking, Lloyd, John (ed.), International Logic Programming Symposium ILPS95, International Logic Programming Symposium ILPS95, pages 495-509, 1995

  @inproceedings{166873,
    author = "Leuschel, Michael and Martens, Bernhard",
    title = "Partial deduction of the ground representation and its application to integrity checking",
    booktitle = "International Logic Programming Symposium ILPS95, ",
    editor = "Lloyd, John",
    pages = "495--509",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/166873",
  }
  

• Leuschel, Michael; Martens, Bernhard. Generating specialised update procedures through partial deduction of the ground representation, Decker, H.; Geske, U.; Kakas, T.; Sakama, C.; Seipel, D.; Urpi, T (eds.), ICLP'95 Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledge Based Systems, ICLP'95 Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledge Based Systems, pages 81-95, 1995

  @inproceedings{132556,
    author = "Leuschel, Michael and Martens, Bernhard",
    title = "Generating specialised update procedures through partial deduction of the ground representation",
    booktitle = "ICLP'95 Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledge Based Systems, ",
    editor = "Decker, H. and Geske, U. and Kakas, T. and Sakama, C. and Seipel, D. and Urpi, T.",
    pages = "81--95",
    month = Jun,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132556",
  }
  

• Martens, Bernhard; Gallagher, John P.. Ensuring global termination of partial deduction while allowing flexible polyvariance, Sterling, Leon (ed.), ICLP'95, the Twelfth International Conference on Logic Programming, ICLP'95, the Twelfth International Conference on Logic Programming, pages 597-613, 1995

  @inproceedings{133131,
    author = "Martens, Bernhard and Gallagher, John P.",
    title = "Ensuring global termination of partial deduction while allowing flexible polyvariance",
    booktitle = "ICLP'95, the Twelfth International Conference on Logic Programming, ",
    editor = "Sterling, Leon",
    pages = "597--613",
    month = Jun,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/133131",
  }
  

• Mulkers, Anne; Simoens, Wim; Janssens, Gerda; Bruynooghe, Maurice. On the practicality of abstract equation systems, Sterling, Leon (ed.), The Twelfth International Conference on Logic Programming, Tokyo, Japan, 13-16 June 1995, Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, pages 781-795, MIT Press

  @inproceedings{133132,
    author = "Mulkers, Anne and Simoens, Wim and Janssens, Gerda and Bruynooghe, Maurice",
    title = "On the practicality of abstract equation systems",
    booktitle = "Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, ",
    editor = "Sterling, Leon",
    publisher = "MIT Press",
    pages = "781--795",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/133132",
  }
  

• Sablon, Gunther; De Raedt, Luc. Forgetting and compacting data in concept-learning, International Joint Conference on Artificial Intelligence, Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 432-438, Morgan Kaufman, 1995

  @inproceedings{134525,
    author = "Sablon, Gunther and De Raedt, Luc",
    title = "Forgetting and compacting data in concept-learning",
    booktitle = "Proceedings of the 14th International Joint Conference on Artificial Intelligence, ",
    publisher = "Morgan Kaufman",
    pages = "432--438",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134525",
  }
  

• Tarau, Paul; Demoen, Bart; De Bosschere, K.. The power of partial translation: an experiment with the C-ification of binary Prolog, 1995 ACM Symposium on Applied Computing, Nashville, TN, USA, February 26-28, 1995, 1995 ACM Symposium on Applied Computing, pages 152-176

  @inproceedings{132833,
    author = "Tarau, Paul and Demoen, Bart and De Bosschere, K.",
    title = "The power of partial translation: an experiment with the {C}-ification of binary {P}rolog",
    booktitle = "1995 ACM Symposium on Applied Computing, ",
    pages = "152--176",
    month = Feb,
    year = "1995",
    doi = "10.1145/315891.315943",
    url = "https://lirias.kuleuven.be/handle/123456789/132833",
  }
  

• Van Belleghem, Kristof; Denecker, Marc; De Schreye, Danny. Combining situation calculus and event calculus, Sterling, Leon (ed.), the Twelfth International Conference on Logic Programming, Tokyo, Logic Programming, Proceedings of the 1995 International Conference on Logic Programming, pages 83-97, 1995

  @inproceedings{133129,
    author = "Van Belleghem, Kristof and Denecker, Marc and De Schreye, Danny",
    title = "Combining situation calculus and event calculus",
    booktitle = "Logic Programming, Proceedings of the 1995 International Conference on Logic Programming, ",
    editor = "Sterling, Leon",
    pages = "83--97",
    month = Jun,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/133129",
  }
  

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

6 references

• Blockeel, Hendrik; De Raedt, Luc. Automated design of deductive databases, Benelux Workshop on Logic Programming, Proceedings of the 7th Benelux Workshop on Logic Programming, pages 2-6, 1995

  @inproceedings{134673,
    author = "Blockeel, Hendrik and De Raedt, Luc",
    title = "Automated design of deductive databases",
    booktitle = "Proceedings of the 7th Benelux Workshop on Logic Programming, ",
    pages = "2--6",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134673",
  }
  

• Blockeel, Hendrik; Van Laer, Wim; De Raedt, Luc. Inductive constraint logic and the mutagenesis problem, Belgian-Dutch Conference on Machine Learning, Brussels, Proceedings of the 5th Belgian-Dutch Conference on Machine Learning, pages 14-25, 1995

  @inproceedings{132292,
    author = "Blockeel, Hendrik and Van Laer, Wim and De Raedt, Luc",
    title = "Inductive constraint logic and the mutagenesis problem",
    booktitle = "Proceedings of the 5th Belgian-Dutch Conference on Machine Learning, ",
    pages = "14--25",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132292",
  }
  

• Demoen, Bart; Engels, G.; Tarau, Paul. Rejuvenating future garbage in WAM, De Bosschere, Koen (ed.), Seventh Benelux Workshop on Logic Programming (BENELOG'95), Seventh Benelux Workshop on Logic Programming (BENELOG'95), pages 42-48, 1995

  @inproceedings{132985,
    author = "Demoen, Bart and Engels, G. and Tarau, Paul",
    title = "Rejuvenating future garbage in {WAM}",
    booktitle = "Seventh Benelux Workshop on Logic Programming (BENELOG'95), ",
    editor = "De Bosschere, Koen",
    pages = "42--48",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132985",
  }
  

• Denecker, Marc. Reasoning in an integration of logic programming and classical logic, Fundamental Computer Science Contact Group (FNRS) on Automated Thoerem Proving, Luike, Fundamental Computer Science Contact Group (FNRS) on Automated Thoerem Proving, 1995

  @inproceedings{132296,
    author = "Denecker, Marc",
    title = "Reasoning in an integration of logic programming and classical logic",
    booktitle = "Fundamental Computer Science Contact Group (FNRS) on Automated Thoerem Proving, ",
    month = May,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132296",
  }
  

• Denecker, Marc. From shooting turkeys to sliding window: just one step, BENELOG Workshop 1995, Gent, BENELOG Workshop 1995, 1995

  @inproceedings{132289,
    author = "Denecker, Marc",
    title = "From shooting turkeys to sliding window: just one step",
    booktitle = "BENELOG Workshop 1995, ",
    month = Sep,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132289",
  }
  

• Janssens, Gerda; Bruynooghe, Maurice; Dumortier, Veroniek. A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs, De Bosschere, K (ed.), 7th Benelux Workshop on Logic Programming (Benelog'95), Gent, September 1995, 7th Benelux Workshop on Logic Programming (Benelog'95), pages 38-41

  @inproceedings{166833,
    author = "Janssens, Gerda and Bruynooghe, Maurice and Dumortier, Veroniek",
    title = "A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs",
    booktitle = "7th Benelux Workshop on Logic Programming (Benelog'95), ",
    editor = "De Bosschere, K.",
    pages = "38--41",
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/166833",
  }
  

Meeting abstracts, presented at international conferences and symposia

1 reference

• Denecker, Marc. On the relationship between logic programming and definition logics, COMPULOG workshop, Albufeira, Portugal, 1995

  @unpublished{134289,
    author = "Denecker, Marc",
    title = "On the relationship between logic programming and definition logics",
    note = "COMPULOG workshop, Albufeira, Portugal",
    month = Apr,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134289",
  }
  

Thesis

4 references

• Adé, Hilde. Theory revision in inductive logic programming: inductive learning, abductive reasoning and bias, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1995, Bruynooghe, Maurice and Gobin, Marc (supervisors)

  @phdthesis{134602,
    author = "Ad{\'e}, Hilde",
    title = "Theory revision in inductive logic programming: inductive learning, abductive reasoning and bias",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "304",
    month = Dec,
    year = "1995",
    note = "Bruynooghe, Maurice and Gobin, Marc (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134602",
  }
  

• Moolenaar, Remco. The paralell implementation of the Andorra kernel language, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1995, Demoen, Bart (supervisor)

  @phdthesis{134592,
    author = "Moolenaar, Remco",
    title = "The paralell implementation of the {A}ndorra kernel language",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "291",
    month = Nov,
    year = "1995",
    note = "Demoen, Bart (supervisor)",
    url = "https://lirias.kuleuven.be/handle/123456789/134592",
  }
  

• Sablon, Gunther. Iterative versionspaces with an application in inductive logic programming, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1995, Bruynooghe, Maurice and Gobin, Marc (supervisors)

  @phdthesis{134589,
    author = "Sablon, Gunther",
    title = "Iterative versionspaces with an application in inductive logic programming",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "278",
    month = May,
    year = "1995",
    note = "Bruynooghe, Maurice and Gobin, Marc (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134589",
  }
  

• Vergauwen, Bart. Automatische formele verificatie van reactieve (transitie) systemen, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1995, Lewi, Joannes and De Schreye, Danny (supervisors)

  @phdthesis{134585,
    author = "Vergauwen, Bart",
    title = "Automatische formele verificatie van reactieve (transitie) systemen",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "270",
    month = Dec,
    year = "1995",
    note = "Lewi, Joannes and De Schreye, Danny (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134585",
  }
  

Internal reports

13 references

• Adé, Hilde; Boström, H.. Unfolding and theory revision: integrating SPECTRE into RUTH, CW Reports, volume CW206, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1995

  @techreport{134646,
    author = "Ad{\'e}, Hilde and Bostr{\"o}m, H.",
    title = "Unfolding and theory revision: integrating {SPECTRE} into {RUTH}",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW206",
    month = Feb,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134646",
  }
  

• Adé, Hilde; Denecker, Marc. Abductive inductive logic prgramming, CW Reports, volume CW207, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1995

  @techreport{166942,
    author = "Ad{\'e}, Hilde and Denecker, Marc",
    title = "Abductive inductive logic prgramming",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW207",
    month = Feb,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/166942",
  }
  

• Aerts, Kris; Bevers, Eddy; De Vlaminck, Karel. A prototype environment for Karel de Robot, CW Reports, volume CW213, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1995

  @techreport{131610,
    author = "Aerts, Kris and Bevers, Eddy and De Vlaminck, Karel",
    title = "A prototype environment for {K}arel de {R}obot",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW213",
    month = Oct,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/131610",
  }
  

• Boulanger, Dmitri; Bruynooghe, Maurice. Index-driven semantics of logic programs, CW Reports, volume CW211, 36 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1995

  @techreport{132100,
    author = "Boulanger, Dmitri and Bruynooghe, Maurice",
    title = "Index-driven semantics of logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW211",
    month = May,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132100",
  }
  

• Dehaspe, Luc; De Raedt, Luc. DLAB - A declarative language bias for concept learning and knowledge discovery engines, CW Reports, volume CW214, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1995

  @techreport{134624,
    author = "Dehaspe, Luc and De Raedt, Luc",
    title = "{DLAB} - {A} declarative language bias for concept learning and knowledge discovery engines",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW214",
    month = Oct,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/134624",
  }
  

• García de la Banda, Maria; Hermenegildo, Manuel; Bruynooghe, Maurice; Dumortier, Veroniek; Janssens, Gerda; Simoens, Wim. Global analysis of constraint logic programs, CW Reports, volume CW205, 39 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1995

  @techreport{132097,
    author = "Garc{\'{\i}}a de la Banda, Maria and Hermenegildo, Manuel and Bruynooghe, Maurice and Dumortier, Veroniek and Janssens, Gerda and Simoens, Wim",
    title = "Global analysis of constraint logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW205",
    month = Jan,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132097",
  }
  

• Janssens, Gerda; Bruynooghe, Maurice; Dumortier, Veroniek. A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs, CW Reports, volume CW212, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1995

  @techreport{131576,
    author = "Janssens, Gerda and Bruynooghe, Maurice and Dumortier, Veroniek",
    title = "A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW212",
    month = Jun,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/131576",
  }
  

• Janssens, Gerda; Bruynooghe, Maurice; Mulkers, Anne. Abstract equation systems: some practical experiments, CW Reports, volume CW218, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1995

  @techreport{132805,
    author = "Janssens, Gerda and Bruynooghe, Maurice and Mulkers, Anne",
    title = "Abstract equation systems: some practical experiments",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW218",
    month = Nov,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132805",
  }
  

• Janssens, Gerda; Bruynooghe, Maurice; Mulkers, Anne. Abstract equation systems: description and insights, CW Reports, volume CW217, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1995

  @techreport{131796,
    author = "Janssens, Gerda and Bruynooghe, Maurice and Mulkers, Anne",
    title = "Abstract equation systems: description and insights",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW217",
    month = Nov,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/131796",
  }
  

• Leuschel, Michael. Ecological partial deduction: Preserving characteristic trees without constraints, CW Reports, volume CW216, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1995

  @techreport{270796,
    author = "Leuschel, Michael",
    title = "Ecological partial deduction: {P}reserving characteristic trees without constraints",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW216",
    month = Oct,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/270796",
  }
  

• Leuschel, Michael; De Schreye, Danny. An almost perfect abstraction operation for partial deduction using characteristic trees, CW Reports, volume CW215, 52 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1995

  @techreport{131816,
    author = "Leuschel, Michael and De Schreye, Danny",
    title = "An almost perfect abstraction operation for partial deduction using characteristic trees",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW215",
    month = Oct,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/131816",
  }
  

• Leuschel, Michael; Martens, Bernhard. Partial deduction of the ground representation and its application to integrity checking, CW Reports, volume CW210, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1995

  @techreport{132354,
    author = "Leuschel, Michael and Martens, Bernhard",
    title = "Partial deduction of the ground representation and its application to integrity checking",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW210",
    month = Apr,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132354",
  }
  

• Leuschel, Michael; Martens, Bernhard. Global control for partial deduction through characteristics atoms and global trees, CW Reports, volume CW220, 32 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1995

  @techreport{132495,
    author = "Leuschel, Michael and Martens, Bernhard",
    title = "Global control for partial deduction through characteristics atoms and global trees",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW220",
    month = Dec,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132495",
  }
  

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

Yearly overview: