Learning through hypothesis refinement using answer set programming

DOI10.1007/978-3-662-44923-3_3MaRDI QIDQ2943878zbMATH OpenOpenAlexFDO

Authors Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Krysia Broda

Publication date 7 September 2015

Published in Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44923-3_3

zbMATH Keywords

answer set programminghypothesis refinement

Mathematics Subject Classification ID

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

Recommendations

• Inductive learning of answer set programs
• The complexity and generality of learning answer set programs
• Exploiting answer set programming with external sources for meta-interpretive learning
• Iterative learning of answer set programs from context dependent examples
• Learning weak constraints in answer set programming

Cites work

• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 1890617 (Why is no real title available?)
• scientific article; zbMATH DE number 898233 (Why is no real title available?)
• Brave induction: a logical framework for learning from incomplete information
• Incremental learning of event definitions with inductive logic programming
• Induction from answer sets in nonmonotonic logic programs
• Induction on Failure: Learning Connected Horn Theories
• Inductive Logic Programming: Theory and methods
• Inductive logic programming as abductive search
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
• Nonmonotonic abductive inductive learning
• Normative design using inductive learning
• The DLV system for knowledge representation and reasoning
• TopLog: ILP Using a Logic Program Declarative Bias

Cited in

(16)

• Learning answer set programs with aggregates via sampling and genetic programming
• Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
• Inductive learning of answer set programs
• Conflict-driven inductive logic programming
• Online learning probabilistic event calculus theories in answer set programming
• The complexity and generality of learning answer set programs
• Incremental learning of event definitions with inductive logic programming
• Iterative learning of answer set programs from context dependent examples
• Exploiting answer set programming with external sources for meta-interpretive learning
• Learning programs by learning from failures
• Top program construction and reduction for polynomial time meta-interpretive learning
• Learning weak constraints in answer set programming
• Abstract answer set solvers with backjumping and learning
• Online learning of event definitions
• Logic-based learning of answer set programs
• Incremental and iterative learning of answer set programs from mutually distinct examples

This page was built for publication: Learning through hypothesis refinement using answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2943878)