Manifold Answer-Set Programs and Their Applications
From MaRDI portal
Publication:3001913
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
Related Items
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