Publications DTAI

1996

Articles in internationally reviewed journals

7 references
  • Codish, Michael; Dams, Denis; File, Gilberto; Bruynooghe, Maurice. On the design of a correct freeness analysis for logic programs, Journal of Logic Programming, volume 28, issue 3, pages 181-206, 1996 DOI BibTeX
  • De Raedt, Luc. Inductive logic programming, MLnet News, volume 3, 6 pages, 1996 BibTeX
  • De Raedt, Luc; Lavrac, Nada. Multiple predicate learning in two inductive logic programming settings, Journal of the Interest Group in Pure and Applied Logics, volume 4, issue 2, pages 227-254, 1996 DOI PDF BibTeX
  • Dehaspe, Luc; De Raedt, Luc. DLAB: A declarative language bias formalism, Lecture Notes in Computer Science, volume 1079, pages 613-622, 1996 DOI PDF BibTeX
  • Garcia de la Banda, Maria; Hermenegildo, Manuel; Bruynooghe, Maurice; Dumortier, Veroniek; Janssens, Gerda; Simoens, Wim. Global analysis of constraint logic programs, ACM Transactions on Programming Languages and Systems, volume 18, issue 5, pages 564-614, 1996 DOI BibTeX
  • Martens, Bern; De Schreye, Danny. Automatic finite unfolding using well-founded measures, Journal of Logic Programming, volume 28, issue 2, pages 89-146, 1996 DOI BibTeX
  • Tarau, P.; DeBosschere, K.; Demoen, Bart. Partial translation: Towards a portable and efficient prolog implementation technology, Journal of Logic Programming, volume 29, issue 1-3, pages 65-83, 1996 DOI BibTeX

Top

Books, internationally recognised scientific publisher; as editor

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

Top

Article in book, internationally recognised scientific publisher

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

Top

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

19 references
  • Blockeel, Hendrik; De Raedt, Luc. Inductive database design, International Symposium on Methodologies for Intelligent Systems (ISMIS), Zakopane, Poland, Lecture Notes in Computer Science, volume 1079, pages 376-385, Springer, 1996 DOI PDF BibTeX
  • Blockeel, Hendrik; De Raedt, Luc. Relational knowledge discovery in databases, van den Herik, J.; Weijters, T (eds.), Belgian-Dutch Conference on Machine Learning, Maastricht, The Netherlands, 1996, Proceedings of Benelearn-96, pages 81-90 BibTeX
  • Blockeel, Hendrik; De Raedt, Luc. Relational knowledge discovery in databases, Pfahringer, B.; Fuernkranz, J (eds.), The MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming (ILP for KDD), Proceedings of the MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming (ILP for KDD), pages 111-124, 1996 BibTeX
  • Bruynooghe, Maurice; Demoen, Bart; Boulanger, Dmitri; Denecker, Marc; Mulkers, Anne. A freeness and sharing analysis of logic programs based on a pre-interpretation, Cousot, R.; Schmidt, D.A (eds.), Third International Symposium on Static Analysis, Aachen, Germany, September 24-27, 1996, Lecture Notes in Computer Science, volume 1445, pages 128-142, Springer DOI BibTeX
  • De Raedt, Luc. PAC-learning logic programs under the closed world assumption, International Symposium on Methodologies for Intelligent Systems, Zakopane, Poland, June 9-13, 1996, Lecture Notes in Computer Science, volume 1079, pages 531-540, Springer DOI PDF BibTeX
  • De Raedt, Luc. Induction in logic, Michalski, RS; Wnek, J (eds.), International Workshop on Multistrategy Learning, Proceedings of the 3rd International Workshop on Multistrategy Learning, pages 29-38, AAAI Press, 1996 PDF BibTeX
  • Demoen, Bart; Engels, G.; Tarau, Paul. Segment preserving copying garbage collection for WAM based Prolog, The 1996 ACM Symposium on Applied Computing, The 1996 ACM Symposium on Applied Computing, pages 380-386, 1996 DOI BibTeX
  • Denecker, Marc; Martens, Bern; De Raedt, Luc. On the difference between abduction and induction: a model theoretic perspective, Denecker, Marc; Flach, P.; Kakas, A (eds.), ECAI96 Workshop on Abductive and Inductive Reasoning, Budapest, Hungary, ECAI96 Workshop on Abductive and Inductive Reasoning, pages 1-7, 1996 BibTeX
  • Denecker, Marc; Van Belleghem, Kristof; Duchatelet, G.; Piessens, Frank; De Schreye, Danny. A realistic experiment in knowledge representation in open event calculus: protocol specification, Michael Maher, (ed.), Joint International Conference and Symposium on Logic Programming, Bonn, September 2-6, 1996, Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 170-184 BibTeX
  • Glück, R.; Jørgensen, J.; Martens, Bern; Sørensen, M H.. Controlling conjunctive partial deduction, Kuchen, H.; Swierstra, S.D (eds.), Programming Languages: Implementations, Logics, and Programs, 8th International Symposium (PLILP96), Aachen, Germany, September 24-27, 1996, Programming Languages: Implementations, Logics, and Programs, 8th International Symposium (PLILP96), Lecture Notes in Computer Science 1140, pages 152-166 DOI BibTeX
  • Jørgensen, J.; Leuschel, Michael. Efficiently generating efficient generating extensions in Prolog, Danvy, O.; Glück, R.; Thiemann, P (eds.), 1996 Dagstuhl Seminar on Partial Evaluation, Schloss Dagstuhl, 1996 Dagstuhl Seminar on Partial Evaluation, pages 238-262, 1996 BibTeX
  • Jørgensen, J.; Leuschel, Michael; Martens, Bern. Conjunctive partial deduction in practice, Gallagher, J (ed.), International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), Stockholm, Sweden, Pre-Proceedings of the International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), pages 46-62, 1996 BibTeX
  • Leuschel, Michael; De Schreye, Danny. Logic program specialisation: how to be more specific, Kuchen, H.; Swierstra, S.D (eds.), the International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP'96), Aachen, Germany, September 24-27, 1996, Programming Languages: Implementations, Logic, and Programs, 8th International Symposium, Lecture Notes in Computer Science 1140, pages 136-151 DOI BibTeX
  • Leuschel, Michael; De Schreye, Danny; de Waal, D André. A conceptual embedding of folding into partial deduction: towards a maximal integration, Michael. Maher, (ed.), the Joint International Conference and Symposium on Logic Programming (JICSLP'96), Bonn, Germany, The Joint International Conference and Symposium on Logic Programming (JICSLP'96), pages 319-332, 1996 BibTeX
  • Leuschel, Michael; Martens, Bern. Global control for partial deduction through characteristic atoms and global trees, Danvy, O.; Glück, R.; Thiemann, P (eds.), 1996 Dagstuhl Seminar on Partial Evaluation, Schloss Dagstuhl, 1996 Dagstuhl Seminar on Partial Evaluation, pages 263-283, 1996 BibTeX
  • Leuschel, Michael; Sørensen, M H.. Redundant argument filtering of logic programs, Gallagher, J (ed.), The International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), Stockholm, Sweden, Pre-proceedings of the International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), pages 63-77, 1996 BibTeX
  • Sagonas, Konstantinos; Swift, T.; Warren, D S.. An abstract machine for computing the well-founded semantics, Maher, Michael (ed.), Joint International Conference and Symposium on Logic Programming, Joint International Conference and Symposium on Logic Programming, pages 274-288, 1996 BibTeX
  • Van Baelen, E.; De Raedt, Luc. Analysis and prediction of piano performance using inductive logic programming, Muggleton, S (ed.), 6th International Workshop on Inductive Logic Programming (ILP'96), Stockholm, Sweden, August 26-28, 1996, 6th International Workshop on Inductive Logic Programming (ILP'96), Lecture Notes in Computer Science 1314, pages 55-71 DOI BibTeX
  • Van Laer, Wim; Dzeroski, Saso; De Raedt, Luc. Multi-class problems and discretization in ICL, Pfahringer, Bernhard; Fuernkranz, Johannes (eds.), MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming (ILP for KDD), juli 1996, Proceedings of the MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming, pages 53-60 PDF BibTeX

Top

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

3 references
  • Dehaspe, Luc; De Raedt, Luc. DLAB: a hypothesis space management tool, van den Herik, HJ; Weijters, T (eds.), BENELEARN-96, University of Maastricht, The Netherlands, BENELEARN-96, pages 91-102, 1996 BibTeX
  • Jørgensen, J.; Leuschel, Michael; Martens, Bern. Conjunctive partial deduction in practice, Deville, Yves (ed.), BENELOG'96, BENELOG'96, 1996 BibTeX
  • Van Laer, Wim; Blockeel, Hendrik; De Raedt, Luc. Inductive constraint logic and the mutagenesis problem, Meyer, (ed.), Dutch Conference on Artificial Intelligence (NAIC), Proceedings of the Eighth Dutch Conference on Artificial Intelligence, pages 265-276, 1996 BibTeX

Top

Internal reports

21 references
  • Abdrakhimov, I.; Mantsivoda, Andrei. The $SIGMA$-machine, its soundness and completeness, CW Reports, volume CW234, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1996 BibTeX
  • Blockeel, Hendrik; De Raedt, Luc. ISIDD: An interactive system for inductive database design, CW Reports, volume CW229, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1996 BibTeX
  • Bruynooghe, Maurice; Demoen, Bart; Boulanger, Dmitri; Denecker, Marc; Mulkers, Anne. A freeness and sharing analysis of logic programs based on a pre-interpretation, CW Reports, volume CW233, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1996 BibTeX
  • Bruynooghe, Maurice; Janssens, Gerda; Kå gedal, Andreas. Live-structure analysis for logic programming languages with declarations, CW Reports, volume CW231, 20 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1996 BibTeX
  • Bruynooghe, Maurice; Janssens, Gerda; Martens, Bern. Industrial applications of computational logic, CW Reports, volume CW227, 54 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1996 BibTeX
  • Codish, Michael; Demoen, Bart; Sagonas, Konstantinos. XSB as the natural habitat for general purpose program analysis, CW Reports, volume CW245, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1996 BibTeX
  • De Raedt, Luc; Dehaspe, Luc. Clausal discovery, CW Reports, volume CW238, 51 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1996 BibTeX
  • de Waal, D André; Denecker, Marc; Bruynooghe, Maurice; Thielscher, Michael. The automatic generation of pre-interpretations for detecting unsolvable planning problems, CW Reports, volume CW224, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1996 BibTeX
  • Decorte, Stefaan; De Schreye, Danny; Fabris, M.. Integrating types in abstract interpretation based automatic termination analysis of logicprograms, CW Reports, volume CW222, 73 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1996 BibTeX
  • Dehaspe, Luc; Van Laer, Wim; De Raedt, Luc. Claudien, the clausal discovery engine: user's guide 3.0, CW Reports, volume CW239, 37 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1996 BibTeX
  • Glück, R.; Jørgensen, J.. Fast multi-level binding-time analysis for multiple program specialization, CW Reports, volume CW228, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1996 BibTeX
  • Glück, R.; Jørgensen, J.. A program generator for multi-level specialization, CW Reports, volume CW230, 40 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1996 BibTeX
  • Glück, R.; Jørgensen, J.; Martens, Bern; Sørensen, M H.. Controlling conjunctive partial deduction of definite logic programs, CW Reports, volume CW226, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1996 BibTeX
  • Joergensen, Jesper; Leuschel, Michael. Efficiently generating efficient generating extensions in Prolog, CW Reports, volume CW221, 27 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1996 PDF BibTeX
  • Jørgensen, J.; Leuschel, Michael; Martens, Bern. Conjunctive partial deduction in practice, CW Reports, volume CW242, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1996 BibTeX
  • Leuschel, Michael; De Schreye, Danny. Creating specialised integrity checks through partial evaluation of meta-interpreters, CW Reports, volume CW237, 47 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1996 BibTeX
  • Leuschel, Michael; De Schreye, Danny. Logic program specialisation: how to be more specific, CW Reports, volume CW232, 19 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1996 BibTeX
  • Leuschel, Michael; De Schreye, Danny; de Waal, D André. A conceptual embedding of folding into partial deduction: towards a maximal integration, CW Reports, volume CW225, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1996 BibTeX
  • Leuschel, Michael; Soerensen, Morton Heine. Redundant argument filtering of logic programs, CW Reports, volume CW243, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1996 PDF BibTeX
  • Mantsivoda, Andrei. Positive negation and the completion paradigm, CW Reports, volume CW235, 46 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1996 BibTeX
  • Martens, Bern; Bruynooghe, Maurice; Denecker, Marc; De Raedt, Luc; De Schreye, Danny; Janssens, Gerda. A brief overview of logic programming research at the K.U.Leuven, with notes on its industrialrelevance, CW Reports, volume CW223, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1996 BibTeX

Top

 
Last update local database Thu Apr 17 2014 17:01 pm; It contains now 10550 items.

Yearly overview:

 

Search pubs of DTAI

Make a selection by author, year, publication type.

Search collection INFORMATICS

Search collection COMPUTER SCIENCE

Bibtexs of this page