--------------------------------------------------------------------------------


ILP97, The Seventh International Workshop on Inductive Logic Programming 
17-20 SEP 1997


WEDNESDAY, 17 SEP 1997


13:50 Welcome


14:00 - 15:40 Session 1 (Techniques)

14:00 - Simon Anthony and Alan M. Frisch:
Cautious Induction in Inductive Logic Programming

14:40 - Tomonobu Ozaki, Koichi Furukawa, Tomoko Murakami, and Ken Ueno:
Realizing Progol by Forward Reasoning

15:00 - Luc De Raedt and Hendrik Blockeel:
Using Logical Decision Trees for Clustering

15:20 - Peter Geibel and Fritz Wysotzki:
A Logical Framework for Graph Theoretical Decision Tree Learning


15:40 - 16:10 Coffee break


16:10 - 17:30 Session 2 (Natural language applications)

16:10 - James Cussens:
Part-of-Speech Tagging Using Progol

16:50 - Saso Dzeroski and Tomaz Erjavec:
Induction of Slovene Nominal Paradigms

17:10 - Zoltan Alexin, Janos Csirik, 
Tibor Gyimothy, Mark Jelasity, and Laszlo Toth:
Learning Phonetic Rules in a Speech Recognition System


17:30 Inductive Logic Programming II Project meeting 


19:30 Welcome party 



THURSDAY, 18 SEP 1997


9:00 - 10:40 Session 3 (KDD and ILP)

9:00 - Invited talk - 
Usama Fayyad: 
Knowledge Discovery in Databases: An Overview

10:00 - Irene Weber:
Discovery of First-Order Regularities in a Relational
Database Using Offline Candidate Determination

10:20 - Luc Dehaspe and Luc De Raedt:
Mining Association Rules in Multiple Relations


10:40 - 11:10 Coffee break


11:10 - 12:30 Session 4 (Numbers and probability)

11:10 - Simon Anthony and Alan M. Frisch:
Generating Numerical Literals During Refinement

11:50 - Hendrik Blockeel and Luc De Raedt:
Lookahead and Discretization in ILP

12:10 - Uros Pompe and Igor Kononenko:
Probabilistic First-Order Classification


12:30 - 14:00 Lunch 


14:00 - 15:00 Session 5 (Data mining applications)

14:00 - A. Srinivasan, R.D. King, S.H. Muggleton, and M.J.E. Sternberg:
Carcinogenesis Predictions Using ILP

14:40 - C.H.Bryant:
Data Mining via ILP: 
The Application of Progol to a Database of Enantioseparations


16:00 Sightseeing tour of Prague



FRIDAY, 19 SEP 1997


9:00 - 10:40 Session 6 (Constraints)

9:00 - Invited talk - 
Jean-Francois Puget:
Inductive Logic Programming and Constraint Logic Programming

10:00 - Luc Dehaspe:
Maximum Entropy  Modeling with  Clausal  Constraints


10:40 - 11:10 Coffee break


11:10 - 12:30 Session 7 (Saturation and inverse entailment)

11:10 - Koichi Furukawa, Tomoko Murakami, 
Ken Ueno, Tomonobu Ozaki, and Keiko Shimazu:
On a Sufficient Condition for the Existence of 
Most Specific Hypothesis in Progol

11:30 - Akihiro Yamamoto:
Which Hypotheses Can Be Found with Inverse Entailment?

12:10 - Mitsue Furusawa, Nobuhiro Inuzuka, Hirohisa Seki, and Hidenori Itoh:
Bottom-up Induction of Logic Programs with More Than One Recursive Clauses


12:30 - 14:00 Lunch 


14:00 - 15:40 Session 8 (Techniques)

14:00 - Shan-Hwei Nienhuys-Cheng:
Distance Between Herbrand Interpretations: 
A Measure of Approximations to a Target Concept

14:40 - Michele Sebag:
Distance Induction in First Order Logic

15:00 - L. Martin and C. Vrain: 
Systematic Predicate Invention in Inductive Logic Programming


15:40 - 16:10 Coffee break


16:10 - 17:30 Session 9 (Representation issues)

16:10 - Peter A. Flach:
Normal Forms for Inductive Learning

16:30 - Antonis Kakas and Fabrizio Riguzzi:
Learning with Abduction

16:50 - Ken Sadohara and Makoto Haraguchi:
Using Abstraction Schemata in Inductive Logic Programming

17:10 - Stephen Moyle and Stephen Muggleton:
Learning Programs in the Event Calculus


17:30 Community meeting


19:00 Farewell dinner



SATURDAY, 20 SEP 1997


9:00 - 10:40 Session 10 (Complexity)

9:00 - Invited talk - 
Georg Gottlob: 
On the Complexity of Some Inductive Logic Programming Problems

10:00 - Chandra Reddy and Prasad Tadepalli:
Learning Horn Definitions with  Equivalence and Membership Queries

10:40 - 11:10 Coffee break


--------------------------------------------------------------------------------