Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers / [electronic resource] : edited by Stephen Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi. - 1st ed. 2012. - XI, 406 p. 130 illus. online resource. - Lecture Notes in Artificial Intelligence, 7207 2945-9141 ; . - Lecture Notes in Artificial Intelligence, 7207 .

Inference and Learning -- Beyond Reward: The Problem of Knowledge and Data -- Exploiting Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic Networks with Decision Trees -- Relational Networks of Conditional Preferences -- k-Optimal: A Novel Approximate Inference Algorithm for ProbLog -- Learning Directed Relational Models with Recursive Dependencies -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set Programming -- Graph-Based Relational Learning with a Polynomial Time Projection Algorithm -- Interleaved Inductive-Abductive Reasoning for Learning Complex Event Models -- Conceptual Clustering of Multi-Relational Data -- Expressive Power of Safe First-Order Logical Decision Trees -- Relational Learning for Spatial Relation Extraction from Natural.

This book constitutes the thoroughly refereed post-proceedings of the 21st International Conference on Inductive Logic Programming, ILP 2011, held in Windsor Great Park, UK, in July/August 2011. The 24 revised full papers were carefully reviewed and selected from 66 submissions. Also included are five extended abstracts and three invited talks. The papers represent the diversity and vitality in present ILP research including ILP theory, implementations, probabilistic ILP, biological applications, sub-group discovery, grammatical inference, relational kernels, learning of Petri nets, spatial learning, graph-based learning, and learning of action models.

9783642319518

10.1007/978-3-642-31951-8 doi


Artificial intelligence.
Machine theory.
Computer programming.
Computer science.
Artificial Intelligence.
Formal Languages and Automata Theory.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Theory of Computation.

Q334-342 TA347.A78

006.3