Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
digitally watermarked, no DRM
The eBook version of this title will be available soon
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.
Knowledge discovery in databases: An overview.- On the complexity of some Inductive Logic Programming problems.- Inductive logic programming and constraint logic programming (abstract).- Learning phonetic rules in a speech recognition system.- Cautious induction in inductive logic programming.- Generating numerical literals during refinement.- Lookahead and discretization in ILP.- Data mining via ILP: The application of Progol to a database of enantioseparations.- Part-of-speech tagging using Progol.- Maximum Entropy modeling with Clausal Constraints.- Mining association rules in multiple relations.- Using logical decision trees for clustering.- Induction of Slovene nominal paradigms.- Normal forms for inductive logic programming.- On a sufficient condition for the existence of most specific hypothesis in progol.- Induction of logic programs with more than one recursive clause by analyzing saturations.- A logical framework for graph theoretical decision tree learning.- Learning with abduction.- Systematic Predicate Invention in Inductive Logic Programming.- Learning programs in the event calculus.- Distance between Herbrand interpretations: A measure for approximations to a target concept.- Realizing Progol by forward reasoning.- Probabilistic first-order classification.- Learning Horn definitions with equivalence and membership queries.- Using abstraction schemata in inductive logic programming.- Distance induction in first order logic.- Carcinogenesis predictions using ILP.- Discovery of first-order regularities in a relational database using ofine candidate determination.- Which hypotheses can be found with inverse entailment?.