Publications DTAI

1998

Articles in internationally reviewed journals

15 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
  • 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
  • Driessens, Kurt; Jacobs, Nico; Cossement, Nathalie; Monsieurs, Patrick; De Raedt, Luc. Inductive verification and validation of the KULRot RoboCup team, Lecture Notes in Computer Science, volume 1604, pages 193-206, 1998 DOI PDF 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

Top

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

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