Manifold answer-set programs and their applications

DOI10.1007/978-3-642-20832-4_4MaRDI QIDQ3001913zbMATH OpenOpenAlexFDO

Authors Wolfgang Faber, Stefan Woltran

Publication date 19 May 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20832-4_4

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Manifold Answer-Set Programs for Meta-reasoning
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Answer set programs with queries over subprograms
• Answer Set Programming: A Primer
• Extensions of answer set programming

Cited in

(6)

• A parallel memory-efficient epistemic logic program solver: harder, better, faster
• Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
• Evaluating epistemic negation in answer set programming
• Manifold Answer-Set Programs for Meta-reasoning
• Beyond NP: quantifying over answer sets
• Body-decoupled grounding via reduction: a novel approach on the \textsc{Asp} bottleneck

This page was built for publication: Manifold answer-set programs and their applications

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