Manifold Answer-Set Programs and Their Applications

DOI10.1007/978-3-642-20832-4_4zbMath1326.68055OpenAlexW38205587MaRDI QIDQ3001913

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)

Related Items (4)

Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies ⋮ Evaluating epistemic negation in answer set programming ⋮ Beyond NP: Quantifying over Answer Sets ⋮ A parallel memory-efficient epistemic logic program solver: harder, better, faster

This page was built for publication: Manifold Answer-Set Programs and Their Applications