Publications DTAI

1998

Articles in internationally reviewed journals

17 references
  • Blockeel, Hendrik; De Raedt, Luc. ISIDD: An Interactive System for Inductive Database Design, Applied Artificial Intelligence, volume 12, issue 5, pages 385-420, 1998 DOI BibTeX
  • Blockeel, Hendrik; De Raedt, Luc. Top-down induction of first-order logical decision trees, Artificial Intelligence, volume 101, issue 1-2, pages 285-297, 1998 DOI PDF BibTeX
  • Bruynooghe, Maurice; Leuschel, Michael; Sagonas, Konstantinos. A polyvariant binding-time analysis for off-line partial deduction, Lecture Notes in Computer Science, volume 1381, pages 27-41, 1998 DOI BibTeX
  • Codish, Michael; Demoen, Bart; Sagonas, Konstantinos. Semantic-based program analysis for logic-based languages using XSB, International Journal of Software Tools for Technology Transfer, volume 2, issue 1, pages 29-45, 1998 DOI BibTeX
  • Denecker, Marc. The well-founded semantics is the principle of inductive definition, Logics in Artificial Intelligence, Proceedings of JELIA'98 Schloss Daghstuhl, October 1998, volume 1489, pages 1-16, 1998 DOI BibTeX
  • Denecker, Marc; De Schreye, Danny. SLDNFA: An abductive procedure for abductive logic programs, Journal of Logic Programming, volume 34, issue 2, pages 111-167, 1998 DOI BibTeX
  • Denecker, Marc; Theseider-Dupré, D.; Van Belleghem, Kristof. An inductive definition approach to ramifications, Linkoping Electronic Articles in Computer and Information Science, volume 3, issue 7, pages 1-43, 1998 BibTeX
  • Dzeroski, S.; Schulze-Kremer, S.; Heidtke, KR; Siems, K.; Wettschereck, D.; Blockeel, Hendrik. Diterpene structure elucidation from C-13 NMR spectra with Inductive Logic Programming, Applied Artificial Intelligence, volume 12, issue 5, pages 363-383, 1998 DOI BibTeX
  • Dzeroski, Saso; De Raedt, Luc; Blockeel, Hendrik. Relational reinforcement learning, Lecture Notes in Computer Science, volume 1446, pages 11-22, 1998 DOI BibTeX
  • Leuschel, M.; De Schreye, Danny. Constrained partial deduction and the preservation of characteristic trees, New Generation Computing, volume 16, issue 3, pages 283-342, 1998 DOI BibTeX
  • Leuschel, M.; De Schreye, Danny. Creating specialised integrity checks through partial evaluation of meta-interpreters, Journal of Logic Programming, volume 36, issue 2, pages 149-193, 1998 DOI BibTeX
  • Leuschel, M.; Martens, Bern; De Schreye, Danny. Controlling generalization and polyvariance in partial deduction of normal logic programs, ACM Transactions on Programming Languages and Systems, volume 20, issue 1, pages 208-258, 1998 DOI BibTeX
  • Leuschel, Michael; Martens, Bern; De Schreye, Danny. Some achievements and prospects in partial deduction, ACM Computing Surveys, volume 30, issue 3, pages 1-4, 1998 DOI BibTeX
  • Ramon, Jan; Bruynooghe, Maurice. A framework for defining distances between first-order logic objects, Lecture Notes in Computer Science, volume 1446, pages 271-280, 1998 DOI BibTeX
  • Riche, Jacques. Finitization Procedures and Finite Model Property, Logique et Analyse, volume 41, issue 161-162-163, pages 155-165, 1998 BibTeX
  • Sagonas, Konstantinos; Leuschel, Michael. Extending partial deduction to tabled execution: some results and open issues, ACM Computing Surveys, volume 30, issue 3es, pages 1-4, 1998 DOI BibTeX
  • Sagonas, Konstantinos; Swift, T.. An abstract machine for tabled execution of fixed-order stratified logic programs, ACM Transactions on Programming Languages and Systems, volume 20, issue 3, pages 586-634, 1998 DOI BibTeX

Top

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

34 references
  • Blockeel, Hendrik; De Raedt, Luc; Ramon, Jan. Top-down induction of clustering trees, Shavlik, Jude (ed.), Proceedings of the 15th International Conference on Machine Learning, pages 55-63, Morgan Kaufmann, 15th International Conference on Machine Learning, Madison, Wisconsin, USA, July 24-27, 1998 BibTeX
  • Bruynooghe, Maurice; Vandecasteele, Henk; de Waal, D André; Denecker, Marc. Detecting unsolvable queries for definite logic programs, Palamidessi, C.; Glaser, H.; Meinke, K (eds.), Lecture Notes in Computer Science, volume 1490, pages 118-133, Springer, Principles of Declarative Programming, Joint Symposium on PLILP/ALP, Pisa, Italy, 16-18 September 1998 DOI PDF BibTeX
  • De Raedt, Luc. Attribute-value learning versus Inductive Logic Programming: the missing links (Extended Abstract), Page, D (ed.), Lecture Notes in Computer Science, volume 1446, pages 1-8, Springer, Inductive Logic Programming, Madison, Wisconsin, USA, 22-24 July 1998 DOI PDF BibTeX
  • De Raedt, Luc. An inductive logic programming query language for database mining, Calmet, J.; Plaza, J (eds.), Lecture Notes in Computer Science, volume 1476, pages 1-13, Springer, International Conference on Artificial Intelligence and Symbolic Computation, Plattsburgh, New York, USA, 16-18 September 1998 DOI BibTeX
  • Decorte, Stefaan; De Schreye, Danny. Termination analysis: some practical properties of the norm space, Jaffar, J (ed.), Logic Programming, Proceedings of 1998 Joint International Conference and Symposium on Logic Programming (JICSLP'98), pages 235-249, 1998 Joint International Conference and Symposium on Logic Programming, Manchester, U.K., June 1998 BibTeX
  • Decorte, Stefaan; De Schreye, Danny; Leuschel, Michael; Martens, Bern; Sagonas, Konstantinos. Termination analysis for tabled logic programming, Fuchs, N (ed.), Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97, Leuven, Belgium, July 1997, volume 1463, pages 111-127, 1998, 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium, July 1997 DOI BibTeX
  • Dehaspe, Luc; Toivonen, H.; King, Ross D.. Finding frequent substructures in chemical compounds, Verdenius, F.; van den Broeck, W (eds.), Proceedings of the Eight Belgian-Dutch Conference on Machine Learning, pages 21-30, Eight Belgian-Dutch Conference on Machine Learning, Wageningen, The Netherlands, 8 October 1998 BibTeX
  • Demoen, Bart; García de la Banda, M.; Stuckey, P.. Type constraint solving for parametric and ad-hoc polymorphism, Maher, M (ed.), Proceedings of Australian Workshop on Constraints, pages 1-12, 1998, Australian Workshop on Constraints, Brisbane, Queensland, Australia BibTeX
  • Demoen, Bart; Sagonas, Konstantinos. Memory management for Prolog with tabling, Proceedings of the ACM SIGPLAN International Symposium on Memory Management, pages 97-108, ACM SIGPLAN International Symposium on Memory Management, Vancouver, Canada, January 1998 DOI BibTeX
  • Demoen, Bart; Sagonas, Konstantinos. A better CAT made-in-Belgium: CHAT (of KAT), Diehl, S.; Sestoft, P (eds.), Proceedings of Workshop on Principles of Abstract Machines, pages 1-15, Workshop on Principles of Abstract Machines, Pisa, Italy, september 1998 BibTeX
  • Demoen, Bart; Sagonas, Konstantinos. A better CAT made-in-Belgium: CHAT (or KAT), van Raamsdonk, F (ed.), Proceedings of the Benelux Workshop on Logic Programming, pages 1-12, the Benelux Workshop on Logic Programming, Amsterdam, 20 November 1998 BibTeX
  • Demoen, Bart; Sagonas, Konstantinos. CAT: the copying approach to tabling, Palamidessi, C.; Glaser, H.; Meinke, K (eds.), Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98, Pisa, Italy, September 1998, volume 1490, pages 21-35, Principles of Declarative Programming Joint Symposium on PLILP/ALP, Pisa, Italy, September 1998 DOI BibTeX
  • Denecker, Marc; Marek, Victor; Truszczynski, M.. Fixpoint 3-valued semantics for autoepistemic logic, Proceedings of the Fifteenth National Conference on Artificial Intelligence, pages 840-845, Fifteenth National Conference on Artificial Intelligence, Madison, Wisconsin 1998, July 26-30, 1998 BibTeX
  • Dzeroski, Saso; De Raedt, Luc; Blockeel, Hendrik. Relational reinforcement learning, Shavlik, J (ed.), Proceedings of the 15th International Conference on Machine Learning (ICML'98), pages 136-143, 15th International Conference on Machine Learning, University of Madison, Wisconsin, USA, July 24-27, 1998 BibTeX
  • Dzeroski, Saso; Jacobs, Nico; Molina, M.; Moure, C.. ILP experiments in detecting traffic problems, Nédellec, C.; Rouveirol, C (eds.), Proceedings of the 10th European Conference on Machine Learning (ECML'98), volume 1398, pages 61-66, 1998, 10th European Conference on Machine Learning DOI BibTeX
  • Dzeroski, Saso; Jacobs, Nico; Molina, M.; Moure, C.; Muggleton, S.; Van Laer, Wim. Detecting traffic problems with ILP, Page, D (ed.), Proceedings of 8th International Conference on Inductive Logic Programming (ILP'98), Madison, Wisconsin, USA, volume 1446, pages 281-290, 1998, 8th International Conference on Inductive Logic Programming, Madison, Wisconsin, USA DOI BibTeX
  • Jacobs, Nico; Driessens, Kurt; De Raedt, Luc. Inductive verification and validation of multi agents systems, van Harmelen, F (ed.), Proceedings of Workshop on Validation and Verification of Knowledge Based Systems, pages 1-10, 1998, Workshop on Validation and Verification of Knowledge Based Systems, Trento, Italy PDF BibTeX
  • Jacobs, Nico; Driessens, Kurt; De Raedt, Luc. Using ILP systems for verification and validation of multi agent systems, Page, D (ed.), Lecture Notes in Computer Science, volume 1446, pages 145-154, Springer, Inductive Logic Programming, Madison, Wisconsin, USA, 22-24 July 1998 DOI PDF BibTeX
  • Janssens, Gerda; Sagonas, Konstantinos. On the use of tabling for abstract interpretation: an experiment with abstract equation systems, Proceedings of the First Workshop on Tabulation in Parsing and Deduction, pages 118-126, First Workshop on Tabulation in Parsing and Deduction, Paris, April 1998 BibTeX
  • Leuschel, Michael. Program Specialisation and Abstract interpretation Reconciled, Joint International Conference and Symposium on Logic Programming (JICSLP'98), pages 220-234, 1998, 1998 Joint International Conference and Symposium on Logic Programming (JICSLP'98), Manchester, U.K., 27-30 March 1994 BibTeX
  • Leuschel, Michael. On the power of Homeomorphic Embedding for Online Termination.Static Analysis, International Static Analysis Symposium (SAS'98), pages 230-245, 1998, International Static Analysis Symposium (SAS'98), Pisa, Italy DOI BibTeX
  • Leuschel, Michael; Martens, Bern; Sagonas, Konstantinos. Preserving termination of tabled logic programs while unfolding, Fuchs, N (ed.), Logic Program Synthesis and Transformation, Proceedings of 7th International Workshop on Logic Program Synthesis and Transformation (LOPSTR'97), Leuven, Belgium, July 1997, volume 1463, pages 189-205, 1998, 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium, July 1997 DOI BibTeX
  • Nienhuys-Cheng, Shan-Hwei; Van Laer, Wim; De Raedt, Luc. Substitutions and refinement operators for PCNF, La Poutré, H.; van den Herik, J (eds.), Proceedings of Netherlands/Belgium Conference on Artificial Intelligence, pages 87-96, Netherlands/Belgium Conference on Artificial Intelligence, Amsterdam, The Netherlands, 18-19 November 1998 BibTeX
  • Ramon, Jan; Bruynooghe, Maurice; De Schreye, Danny. Recent research results in the group declarative languages and artificial intelligence, van Raamsdonk, Femke (ed.), Proceedings of the Benelux Workshop on Logic Programming, pages 1-11, Benelux Workshop on Logic Programming, Amsterdam, The Netherlands, 20 November 1998 BibTeX
  • Ramon, Jan; Bruynooghe, Maurice; Van Laer, Wim. Distance measures between atoms, Lloyd, L (ed.), Proceedings of the CompulogNet Area Meeting on Computational Logic and Machine Learing, pages 35-41, the CompulogNet Area Meeting on Computational Logic and Machine Learing, Manchester, UK, June 1998 BibTeX
  • Roberts, S.; Jacobs, Nico; Van Laer, Wim; Muggleton, S.; Broughton, J.. A comparison of ILP and propositional systems on propositional traffic data, Page, D (ed.), Proceedings of 8th International Conference on Inductive Logic Programming (ILP'98), volume 1446, pages 291-300, 1998, 8th International Conference on Inductive Logic Programming, Madison, Wisconsin, USA DOI BibTeX
  • Van Belleghem, Kristof; Denecker, Marc; Theseider-Dupré, D.. A constructive approach to the ramification problem, de Giacomo, Guiseppe; Nardi, Daniele (eds.), Reasoning about Actions ; Foundations and Applications, pages 1-17, 1998, ESSLLI'98 Workshop on Reasoning about Actions, Saarbruecken, Germany BibTeX
  • Van Laer, Wim; De Raedt, Luc. A methodology for first order learning: a case study, Verdenius, F.; van den Broeck, W (eds.), Proceedings of the Eight Belgian-Dutch Conference on Machine Learning, pages 105-113, Belgian-Dutch Conference on Machine Learning, Wageningen, The Netherlands, 8 October 1998 BibTeX
  • Vandecasteele, Henk; Rodosek, R.. Modeling combinatorial problems for CLP (FD+R), van Raamsdonk, Femke (ed.), Proceedings of the Benelux Workshop on Logic Programming, pages 1-9, the Benelux Workshop on Logic Programming, Amsterdam, The Netherlands, 20 november 1998 PDF BibTeX
  • Vanhoof, Wim; De Schreye, Danny; Martens, Bern. Bottom up specialisation: towards general foundations, Flener, P (ed.), Logic Program Synthesis and Transformation, Pre-proceedings of LOPSTR'98, pages 114-121, 8th International Workshop on Logic Program Synthesis and Transformation, Manchester, UK, June 1998 BibTeX
  • Vanhoof, Wim; De Schreye, Danny; Martens, Bern. A Framework for bottom up specialisation of logic programs, Palamidessi, C.; Glaser, H.; Meinke, K (eds.), Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98, volume 1490, pages 54-72, Principles of Declarative Programming, Joint Symposium on PLILP/ALP, Pisa, Italy, September 1998 DOI BibTeX
  • Vanhoof, Wim; Martens, Bern. To parse or not to parse, Fuchs, N (ed.), Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97, volume 1463, pages 322-342, 1998, 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, July 1997 DOI BibTeX
  • Vanhoof, Wim; Martens, Bern; De Schreye, Danny; De Vlaminck, Karel. Specialising the other way around, Jaffar, J (ed.), Logic Programming, Proceedings of 1998 Joint International Conference and Symposium on Logic Programming (JICSLP'98), pages 279-293, Joint International Conference and Symposium on Logic Programming, Manchester, U.K., June 1998 BibTeX
  • Verbaeten, Sofie. Composing complete and partial knowledge, Brogi, A.; Hill, P (eds.), Proceedings of First International Workshop on Component-Based Software Development in Computational Logic (COCL'98), pages 109-123, First International Workshop on Component-Based Software Development in Computational Logic, Pisa, Italy, September 1998 BibTeX

Top

Meeting abstracts, presented at international conferences and symposia

15 references
  • Bruynooghe, Maurice; Vandecasteele, Henk; de Waal, D André; Denecker, Marc. Detecting unsolvable queries for definite logic programs, The Netherlands/Belgium Conference on Artificial Intelligence, Amsterdam, The Netherlands, 18-19 November 1998 BibTeX
  • De Raedt, Luc. Relational reinforcement learning, Machine Intelligence 16, York, U.K., December 1-3, 1998 BibTeX
  • De Raedt, Luc. An inductive logic programming language for database mining, Belgian Netherlands Workshop on Machine Learning, Wageningen, The Netherlands, October 8, 1998 BibTeX
  • De Raedt, Luc; Blockeel, Hendrik; Dehaspe, Luc; Van Laer, Wim. Systems that learn from interpretations, International Conference on Machine Learning, Madison, Wisconsin, USA, July 1998 BibTeX
  • De Raedt, Luc; Lavrac, Nada. Inductive Logic Programming, Genetic Programming Conference, Madison, Wisconsin, USA, July 1998 BibTeX
  • Denecker, Marc. The well-founded semantics is the principle of inductive definition, Seventh International Workshop on Nonmonotonic Reasoning, Trento, Italy, May 30 - June 1, 1998 BibTeX
  • Denecker, Marc; Marek, Victor; Truszczynski, M.. Fix-point 3-valued semantics for autoepistemic logic, Seventh International Workshop on Nonmonotonic Reasoning, Trento, Italy, May 30 - June 1, 1998 BibTeX
  • Dzeroski, Saso; De Raedt, Luc; Blockeel, Hendrik. Relational reinforcement learning, 4th International Workshop on Multi-Strategy Learning, Desenzano Del Garda, Italy, June 11-13, 1998 BibTeX
  • Dzeroski, Saso; De Raedt, Luc; Blockeel, Hendrik. Relational reinforcement learning, La Poutré, H.; Van den Herik, J (eds.), Netherlands/Belgium Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 18-19, 1998 BibTeX
  • Mahieu, Tom; Raeymaekers, Stefan; De Vlaminck, Karel; Janssens, Gerda; Joosen, Wouter. Base Architectures for NLP, 9th Computational Linguistics in the Netherlands, Leuven, Belgium, 12 december 1998 BibTeX
  • Raeymaekers, Stefan; De Vlaminck, Karel; Janssens, Gerda; Mahieu, Tom. Adaptation of two-level morphology for use in a real world application, 9th Computational Linguistics in the Netherlands, Leuven, Belgium, 12 december 1998 BibTeX
  • Ramon, Jan; Bruynooghe, Maurice. A framework for defining distance between first-order logic objects, Netherlands/Belgium Conference on Artificial Intelligence, Amsterdam, The Netherlands, 18-19 November 1998 BibTeX
  • Vanhoof, Wim; De Schreye, Danny; Martens, Bern. Bottom up specialisation of logic programs, 8th International Workshop on Logic Program Synthesis and Transformation, Manchester, UK, June 1998 BibTeX
  • Vanhoof, Wim; De Schreye, Danny; Martens, Bern. A framework for bottom-up specialisation of logic programs, Netherlands/Belgium Conference on Artificial Intelligence, Amsterdam, The Netherlands, 18-19 November 1998 BibTeX
  • Verbaeten, Sofie. The closing operator : from partial to complete knowledge, 1998, European Conference of Artificial Intelligence, Brighton, England BibTeX

Top

Meeting abstracts, presented at other conferences and symposia

1 reference
  • De Raedt, Luc. Machine learning, Artificial Intelligence and Beyond, Ieper, Belgium, December 9, 1998 BibTeX

Top

Thesis

2 references
  • Blockeel, Hendrik. Neerwaartse inductie van eerste-orde logische beslissingsbomen., PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, December 1998, 202+xv pages, isbn: 905-682-156-3, Bruynooghe, Maurice and De Raedt, Luc (supervisors) PDF BibTeX
  • Dehaspe, Luc. Frequent pattern discovery in first-order logic, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1998, De Raedt, Luc and Bruynooghe, Maurice (supervisors) BibTeX

Top

Internal reports

14 references
  • Bruynooghe, Maurice; Vandecasteele, Henk; de Waal, D André; Denecker, Marc. Detecting unsolvable queries for definite logic programs, CW Reports, volume CW270, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1998 BibTeX
  • Dehaspe, Luc; Toivonen, H.. Frequent query discovery: a unifying ILP approach to association rule mining, CW Reports, volume CW258, 33 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1998 BibTeX
  • Demoen, Bart; García de la Banda, M.; Harvey, W.; Mariott, K.; Schachte, P.; Stuckey, P.. Compiling the HAL variable to Mercury, CW Reports, volume CW273, 8 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1998 BibTeX
  • Demoen, Bart; García de la Banda, M.; Mariott, K.; Schachte, P.; Stuckey, P.. Global variables in HAL, a logic implementation, CW Reports, volume CW271, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1998 BibTeX
  • Demoen, Bart; Sagonas, Konstantinos. Experiences with building garbage collectors for XSB-CHAT, CW Reports, volume CW272, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1998 BibTeX
  • Demoen, Bart; Sagonas, Konstantinos. Memory management for Prolog with tabling, CW Reports, volume CW261, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1998 BibTeX
  • Demoen, Bart; Sagonas, Konstantinos. A better CAT made-in-Belgium: KAT or CHAT, CW Reports, volume CW268, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1998 BibTeX
  • Demoen, Bart; Sagonas, Konstantinos. CAT: the copying approach to tabling, CW Reports, volume CW262, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1998 BibTeX
  • Demoen, Bart; Sagonas, Konstantinos. CHAT is Theta (SLGWAM), CW Reports, volume CW269, 17 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1998 BibTeX
  • Leuschel, Michael. Program specialisation and abstract interpretation reconciled, CW Reports, volume CW259, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1998 PDF BibTeX
  • Ramon, Jan; Bruynooghe, Maurice. A framework for defining distances between first-order logic objects, CW Reports, volume CW263, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1998 BibTeX
  • Ramon, Jan; Bruynooghe, Maurice; Van Laer, Wim. Distance measures between atoms, CW Reports, volume CW264, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1998 BibTeX
  • Riche, Jacques; Meyer, R. K.. Kripke, Belnap, Urquhart and Relevant decidability & complexity, issue TR-ARP-03-98, Research School of Information Sciences and Engineering, Australian National University, 1998 BibTeX
  • Verbaeten, Sofie; Bossi, Annalisa. Composing complete and partial knowledge, issue CS-98-6, 27 pages, Dip. di Matematica Applicata ed Informatica, Universita Ca' Foscari di Venezia, Italia, April 1998 BibTeX

Top

 
Last update local database Sun Feb 26 2017 0:24 am; It contains now 12914 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