10. ILP Work-in-progress reports 2000: London, UK

• Jordi Alvarez:
  A Formal Framework for Theory Learning Using Description Logics.
  
• Hiroki Arimura, Hiroshi Sakamoto, Setsuo Arikawa:
  Learning Term Rewriting Systems from Entailment .
  
• Hilan Bensusan, Christophe G. Giraud-Carrier, Claire J. Kennedy:
  A Higher-order Approach to Meta-learning .
  
• Hendrik Blockeel, Bart Demoen, Gerda Janssens, Henk Vandecasteele, Wim Van Laer:
  Two Advanced Transormations for Improving the Efficiency of an ILP system.
  
• Esra Erdem, Pierre Flener:
  A New Declarative Bias for ILP: Construction Modes.
  
• Cèsar Ferri Ramirez, José Hernández-Orallo, M. José Ramírez-Quintana:
  Universal Learning of Classes from Sparse and Non-uniform Evidence.
  
• Peter A. Flach, Nicolas Lachiche:
  Decomposing Probability Distributions on Structured Individuals.
  
• Koichi Furukawa, Tomonobu Ozaki:
  On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion.
  
• Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz:
  A Topological Study of the Upward Refinement Operators in ILP.
  
• Kristian Kersting, Luc De Raedt:
  Bayesian Logic Programs.
  
• Stefan Kramer, Eibe Frank:
  Bottom-Up Propositionalization.
  
• David Lorenzo, Ramón P. Otero:
  Using an ILP Algorithm to Learn Logic Programs for Reasoning about Actions.
  
• Heather Maclaren:
  Selective Inductive Logic Programming.
  
• Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki:
  A Proposal for Inductive Learning Agent Using First-Order Logic.
  
• Frédéric Moal, Christel Vrain:
  Composition of Biasses of Inductive Logic Programming.
  
• Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi:
  An Efficient Hypothesis Search Algorithm Based on Best-Bound Search.
  
• Jan Ramon, Luc Dehaspe:
  Using Belief Networks to Neutralize Known Dependencies in Conceptual Clustering.
  
• G. Richard:
  Identification in the Limit and Constraint ILP.
  
• Juan José Rodríguez, Carlos J. Alonso, Henrik Boström:
  Learning First Order Logic Time Series Classifiers.
  
• Filip Zelezný, Petr Miksovský, Olga Stepánková, Jirí Zídek:
  ILP for Automated Telephony.