Inductive Logic Programming: 7th International Workshop, ILP-97 Prague, Czech Republic September 17–20, 1997 Proceedings

Usama Fayyad (auth.), Nada Lavrač, Sašo Džeroski (eds.)3540635149, 9783540635147

This book constitutes the refereed proceedings of the 7th International Workshop on Inductive Logic Programming, ILP-97, held in Prague, Czech Republic, in September 1997.
The volume presents revised versions of nine papers in long version and 17 short papers accepted after a thorough reviewing process. Also included are three invited papers by Usama Fayyad, Jean-Francois Puget, and Georg Gottlob. Among the topics addressed are various logic programming issues, natural language processing, speech processing, abductive learning, data mining, knowledge discovery, and relational database systems.

---

Table of contents :
Knowledge discovery in databases: An overview….Pages 1-16
On the complexity of some Inductive Logic Programming problems….Pages 17-32
Inductive logic programming and constraint logic programming (abstract)….Pages 33-33
Learning phonetic rules in a speech recognition system….Pages 35-44
Cautious induction in inductive logic programming….Pages 45-60
Generating numerical literals during refinement….Pages 61-76
Lookahead and discretization in ILP….Pages 77-84
Data mining via ILP: The application of Progol to a database of enantioseparations….Pages 85-92
Part-of-speech tagging using Progol….Pages 93-108
Maximum Entropy modeling with Clausal Constraints….Pages 109-124
Mining association rules in multiple relations….Pages 125-132
Using logical decision trees for clustering….Pages 133-140
Induction of Slovene nominal paradigms….Pages 141-148
Normal forms for inductive logic programming….Pages 149-156
On a sufficient condition for the existence of most specific hypothesis in progol….Pages 157-164
Induction of logic programs with more than one recursive clause by analyzing saturations….Pages 165-172
A logical framework for graph theoretical decision tree learning….Pages 173-180
Learning with abduction….Pages 181-188
Systematic Predicate Invention in Inductive Logic Programming….Pages 189-204
Learning programs in the event calculus….Pages 205-212
Distance between Herbrand interpretations: A measure for approximations to a target concept….Pages 213-226
Realizing Progol by forward reasoning….Pages 227-234
Probabilistic first-order classification….Pages 235-242
Learning Horn definitions with equivalence and membership queries….Pages 243-255
Using abstraction schemata in inductive logic programming….Pages 256-263
Distance induction in first order logic….Pages 264-272
Carcinogenesis predictions using ILP….Pages 273-287
Discovery of first-order regularities in a relational database using ofine candidate determination….Pages 288-295
Which hypotheses can be found with inverse entailment?….Pages 296-308