Inductive Learning of Answer Set Programs

DOI10.1007/978-3-319-11558-0_22zbMath1432.68391OpenAlexW228104253MaRDI QIDQ2938503

Alessandra Russo, Mark M. Law, Krysia Broda

Publication date: 14 January 2015

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/23794

zbMATH Keywords

inductive reasoninglearning answer set programsnonmonotonic inductive logic programming

Mathematics Subject Classification ID

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

Related Items (18)

Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems ⋮ Inductive logic programming at 30 ⋮ Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition ⋮ Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version ⋮ The complexity and generality of learning answer set programs ⋮ Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning ⋮ Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples ⋮ Lifting symmetry breaking constraints with inductive logic programming ⋮ Inductive Learning of Answer Set Programs ⋮ Learning weak constraints in answer set programming ⋮ Iterative Learning of Answer Set Programs from Context Dependent Examples ⋮ Learning efficient logic programs ⋮ \(\alpha\)ILP: thinking visual scenes as differentiable logic programs ⋮ Inductive general game playing ⋮ Unnamed Item ⋮ Making sense of sensory input ⋮ Top program construction and reduction for polynomial time meta-interpretive learning ⋮ Learning programs by learning from failures

Cites Work

• Unnamed Item
• Unnamed Item
• ILP turns 20. Biography and future challenges
• Nonmonotonic abductive inductive learning
• Logical settings for concept-learning
• Conflict-driven answer set solving: from theory to practice
• Brave induction: a logical framework for learning from incomplete information
• Learning from interpretation transition
• INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH
• Inductive Learning of Answer Set Programs
• Induction on Failure: Learning Connected Horn Theories
• A Hybrid Abductive Inductive Proof Procedure
• Inductive logic programming

This page was built for publication: Inductive Learning of Answer Set Programs