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

Full work available at URL https://doi.org/10.1007/978-3-030-31423-1_6

zbMATH Keywords

generality of learning frameworkslearning answer set programsnonmonotonic inductive logic programming

Mathematics Subject Classification ID

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

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

• 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
• Induction of stable models
• Inductive learning of answer set programs
• Inductive Logic Programming
• Inductive logic programming
• Inductive logic programming as abductive search
• Inverse entailment in nonmonotonic logic programs
• 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
• Nonmonotonic inductive logic programming
• 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

(4)

• FFNSL: Feed-forward neural-symbolic learner
• Towards ILP-based \(\mathrm{LTL_f}\) passive learning
• Declarative approaches to counterfactual explanations for classification
• Accelerating NeurASP with vectorization and caching

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)