Tenth International Conference on

Inductive Logic Programming (ILP2000)

July 24-27, 2000, London

[Introduction] [Publications] [Invited speakers and tutorials] [Further information]
[Related events] [Program chairs] [Program committee] [Workshops at CL2000]
[List of accepted papers] [Registration] [Accommodation][Schedule]

Introduction

This is the tenth conference in the highly succesful series of International Workshops/Conferences on Inductive Logic Programming, which has run anually since 1991. ILP-2000 will be co-located with CL2000, the First International Conference on Computational Logic, a major new annual conference series bringing together the various communities of researchers who have a common interest in Computational Logic. ILP2000 and CL2000 will include an extensive joint series of invited speakers and tutorials. Inquiries and suggestions about ILP-2000 should be sent by email to ilp-2000@cs.york.ac.uk.

Publications

The proceedings of this conference are published by Springer as Number 1866 in the series Lecture Notes in Artificial Intelligence. The title of the volume is Inductive Logic Programming: Proceedings of the 10th International Conference and it is edited by James Cussens and Alan M. Frisch.

There is also a proceedings containing the papers from the conference's work-in-progress track. The title of the volume is Inductive Logic Programming: Work-in-Progress Reports of the 10th International Conference and it is edited by James Cussens and Alan M. Frisch. It appears as Volume 35 in the collection of CEUR Workshop Proceedings.

Invited speakers and tutorials

Invited speaker

David Page
ILP: Just Do It

Inductive logic programming (ILP) is built on foundations laid by research in other areas of computational logic. These foundations include

1. Implementations such as fast deductive systems
2. Theoretical results (beyond the soundness and completeness of resolution) such as Lee's subsumption theorem and the undecidability of implication between two definite clauses, and
3. Lessons for the art of real-world applications, such as how best to represent domain knowledge in logic.

In spite of these foundations, at 10 years of age ILP now faces a number of new challenges brought on by exciting application opportunities. The purpose of this talk is to interest researchers from other areas of computational logic in contributing their special skill sets to help ILP meet these challenges. For example, within many bioinformatics applications, ILP needs a synthesis with probabilistic techniques to capture relationships that hold probabilistically rather than deterministically. For applications from information extraction to physical modeling, it has been demonstrated that ILP can benefit from incorporating multiple types of reasoners, in an analogous manner to constraint logic programming. For problems as diverse as natural language processing and drug design that have massive search spaces, ILP potentially can benefit from stochastic search as in many of the leading planning and propositional reasoning systems. The talk will address these and other recently-identified directions for ILP, discussing recent work, drawing links to other areas of computational logic, and seeking to attract new researchers at each step.

Tutorial speakers

Peter Flach
Knowledge Representation for Inductive Logic Programming

Stephen Muggleton
Applications of Inductive Logic Programming

ILP2000 invited talks and tutorials are fully integrated with CL2000. See the CL2000 home page for the full programme.

Further Information

All enquiries should be sent to: ilp-2000@cs.york.ac.uk.

• CL2000 home page
• Springer LNCS/LNAI home page

---

Related events

• Attribute-Value and Relational Learning: Crossing the Boundaries. A Workshop at the Seventeenth International Conference on Machine Learning (ICML-2000) Stanford University June 29 - July 2, 2000
• 11th International Conference on Algorithmic Learning Theory (ALT 2000), Sydney, Australia December 11-13, 2000

Program Chairs

James Cussens (phone: +44 1904 434732 ) & Alan Frisch (phone: +44 1904 432745)

both at:

Dept. of Computer Science, University of York, Heslington, YO10 5DD, UK (fax: +44 1904 432767)

---

Program Committee

H. Boström (Sweden)    I. Bratko (Slovenia)  S-H. Nienhuys-Cheng(Netherlands) 
W. Cohen (USA)         J. Cussens (UK)       L. De Raedt (Germany) 
S. Dzeroski (Slovenia) P. Flach (UK)         A. Frisch (UK) 
K. Furukawa (Japan)    R. Khardon (UK)       J-U. Kietz (Switzerland) 
N. Lavrac (Slovenia)   J. Lloyd (Australia)  S. Matwin (Canada) 
R. Mooney (USA)        S. Muggleton (UK)     D. Page (USA) 
B. Pfahringer(Austria) C. Rouveirol (France) C. Sammut (Australia) 
M. Sebag (France)      A. Srinivasan (UK)    P. Tadepalli (USA) 
S. Wrobel (Germany)    A. Yamamoto (Japan)

---

Financial support for the conference

The organisers wish to acknowledge the help of the following networks in supporting this conference:

• ILPNet2 - Network of Excellence inInductive Logic Programming
•  MLnet - The European network of excellence in Machine Learning
• CompulogNet - The ESPRIT network of excellence in Computational Logic