Tableau Calculi for Answer Set Programming
From MaRDI portal
Publication:5449589
DOI10.1007/11799573_4zbMath1131.68375OpenAlexW1720682562MaRDI QIDQ5449589
Publication date: 11 March 2008
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11799573_4
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items
On abstract modular inference systems and solvers ⋮ Disjunctive answer set solvers via templates ⋮ Query answering in resource-based answer set semantics ⋮ Conflict-driven answer set solving: from theory to practice ⋮ Cumulativity Tailored for Nonmonotonic Reasoning ⋮ On the relation among answer set solvers ⋮ Abstract Answer Set Solvers
Uses Software