The complexity and generality of learning answer set programs

DOI10.1016/j.artint.2018.03.005zbMath1445.68206OpenAlexW2793662597MaRDI QIDQ1647512

Krysia Broda, Alessandra Russo, Mark M. Law

Publication date: 26 June 2018

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

Full work available at URL: https://doi.org/10.1016/j.artint.2018.03.005

zbMATH Keywords

answer set programmingcomplexity of non-monotonic learningnon-monotonic logic-based learning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (7)

Inductive logic programming at 30 ⋮ Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework ⋮ FFNSL: Feed-forward neural-symbolic learner ⋮ Inductive general game playing ⋮ Making sense of sensory input ⋮ Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons ⋮ DeepSym: Deep Symbol Generation and Rule Learning for Planning from Unsupervised Robot Interaction

Uses Software

• DLV
• ProbLog
• Aleph

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• ILP turns 20. Biography and future challenges
• A logic-based calculus of events
• Semantics and complexity of recursive aggregates in answer set programming
• Incremental learning of event definitions with inductive logic programming
• Nonmonotonic abductive inductive learning
• The polynomial-time hierarchy
• Top-down induction of first-order logical decision trees
• Logical settings for concept-learning
• On the computational cost of disjunctive logic programming: Propositional case
• 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
• Learning Through Hypothesis Refinement Using Answer Set Programming
• Probabilistic Rule Learning
• Answer Set Programming: A Primer
• Structure learning of probabilistic logic programs by searching the clause space
• Learning weak constraints in answer set programming
• Iterative Learning of Answer Set Programs from Context Dependent Examples
• A Hybrid Abductive Inductive Proof Procedure
• Induction from answer sets in nonmonotonic logic programs
• Algorithmic Learning Theory
• Inductive logic programming

This page was built for publication: The complexity and generality of learning answer set programs