Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition

DOI10.1007/s10994-018-5708-2zbMath1443.68155arXiv1707.02729OpenAlexW2736057823MaRDI QIDQ1621888

Mishal Benz, Peter Schüller

Publication date: 12 November 2018

Published in: Machine Learning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.02729

zbMATH Keywords

inductive logic programminganswer set programmingbest-efforthypothesis generationrule complexity

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Related Items

Inductive logic programming at 30, Learning logic programs by explaining their failures, Learning programs by learning from failures, Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons, Learning any memory-less discrete semantics for dynamical systems represented by logic programs

Uses Software

• Gringo

Cites Work

• Unnamed Item
• Unnamed Item
• SAT-based MaxSAT algorithms
• ILP turns 20. Biography and future challenges
• Semantics and complexity of recursive aggregates in answer set programming
• Incremental learning of event definitions with inductive logic programming
• Nonmonotonic abductive inductive learning
• Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
• Structured machine learning: the next ten years
• Conflict-driven answer set solving: from theory to practice
• Brave induction: a logical framework for learning from incomplete information
• Meta-interpretive learning: application to grammatical inference
• INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH
• Inductive Learning of Answer Set Programs
• Learning Through Hypothesis Refinement Using Answer Set Programming
• Normative design using inductive learning
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Inductive Logic Programming: Theory and methods
• Learning weak constraints in answer set programming
• Iterative Learning of Answer Set Programs from Context Dependent Examples
• 10.1162/jmlr.2003.3.4-5.993
• Abductive Logic Programming
• Unsatisfiability-based optimization in clasp
• Relational learning with statistical predicate invention: Better models for hypertext