-------------------------------------------------------------------------------- ILP WEEK, Prague, Czech Republic, 15-20 SEP 1997 - Summer School on Inductive Logic Programming and Knowledge Dscovery in Databases, 15-17 SEP 1997 - ILP97, The Seventh International Workshop on Inductive Logic Programming, 17-20 SEP 1997 - COMPULOGNet Computational Logic and Machine Learning Area Meeting on Representation Issues in Reasoning and Learning, 20 SEP 1997 SCHEDULE -------------------------------------------------------------------------------- Summer School on ILP and KDD 15-17 SEP 1997 MONDAY, 15 SEP 1997 8:50 Welcome 09:00 - 12:00 Saso Dzeroski and Nada Lavrac: Introduction to ILP and its applications (Coffee break 10:20 - 10:40) 12:00 - 13:30 Lunch 13:30 - 17:00 Stefan Wrobel and Tamasz Horvath: ILP for KDD Hands-on exercises with KEPLER, an integrated KDD tool (Coffe break 15:00 - 15:30) 17:30 Visit to Municipal Hall (not included in registration fee) 19:00 Welcome party TUESDAY, 16 SEP 1997 09:00 - 12:30 Stephen Muggleton and Ashwin Srinivasan: Explanatory ILP and its applications Hands-on exercises with PROGOL (Coffee break 10:30 - 11:00) 12:30 - 14:00 Lunch 14:30 - 18:00 Luc De Raedt, Hendrik Blockeel, Luc Dehaspe, and Wim Van Laer: Descriptive ILP and its applications Hands-on exercises with CLAUDIEN, ICL, and TILDE (Coffe break 16:00 - 16:30) 18:15 Meeting of the End-user-club of the Inductive Logic Programming II Project WEDNESDAY, 17 SEP 1997 09:00 - 12:30 Usama Fayyad: KDD and Data Mining - Overview and Methods (Coffee break 10:30 - 11:00) -------------------------------------------------------------------------------- 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:30 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 -------------------------------------------------------------------------------- COMPULOGNet Computational Logic and Machine Learning Area Meeting on Representation Issues in Reasoning and Learning SATURDAY, 20 SEP 1997 11:10 - Opening 11:20 - Luc De Raedt Logical settings for concept-learning 12:05 - Simon Anthony and Alan M. Frisch: Using meta-languages for learning 12:30 - 14:00 Lunch 14:00 - Ashwin Srinivasan: Five lessons in representation based on the application of ILP 14:45 - Fabrizio Riguzzi: Using Abductive Logic Programming as a representation formalism for ILP 15:10 - A.F. Bowers, C. Giraud-Carrier, C. Kennedy, J.W. Lloyd, R. MacKinney-Romero A framework for higher-order inductive machine learning 15:35 - 16:00 Coffee break 16:00 - Jean-Francois Puget ILP should upgrade from Prolog to Constraint Logic Programming 16:45 - Celine Rouveirol: Representation shifts in learning 17:15 - Closing --------------------------------------------------------------------------------