Logic-based learning of answer set programs

DOI10.1007/978-3-030-31423-1_6MaRDI QIDQ6535987zbMATH OpenFDO

Authors Mark M. Law, Alessandra Russo, Krysia Broda

Publication date 14 March 2024

zbMATH Keywords

learning answer set programsnonmonotonic inductive logic programminggenerality of learning frameworks

Mathematics Subject Classification ID

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

Recommendations

• The complexity and generality of learning answer set programs
• Inductive learning of answer set programs
• Incremental and iterative learning of answer set programs from mutually distinct examples
• Learning weak constraints in answer set programming

Cites work

• scientific article; zbMATH DE number 1759254 (Why is no real title available?)
• scientific article; zbMATH DE number 1877044 (Why is no real title available?)
• scientific article; zbMATH DE number 1890617 (Why is no real title available?)
• A logic-based calculus of events
• Answer Set Programming: A Primer
• Brave induction: a logical framework for learning from incomplete information
• ILP turns 20. Biography and future challenges
• Incremental learning of event definitions with inductive logic programming
• Inductive Logic Programming
• Inductive learning of answer set programs
• Inductive logic programming
• Inductive logic programming as abductive search
• Iterative learning of answer set programs from context dependent examples
• Learning through hypothesis refinement using answer set programming
• Learning weak constraints in answer set programming
• Nonmonotonic abductive inductive learning
• Pairwise preference learning and ranking.
• The complexity and generality of learning answer set programs
• Top-down induction of first-order logical decision trees

Cited in

(1)

• FFNSL: Feed-forward neural-symbolic learner

This page was built for publication: Logic-based learning of answer set programs

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