Computing Stable Models via Reductions to Difference Logic
From MaRDI portal
Publication:3643113
DOI10.1007/978-3-642-04238-6_14zbMath1258.68030OpenAlexW1505818550MaRDI QIDQ3643113
Mark Sevalnev, Tomi Janhunen, Ilkka Niemelä
Publication date: 10 November 2009
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04238-6_14
Related Items (9)
Backdoors to Normality for Disjunctive Logic Programs ⋮ Progress in clasp Series 3 ⋮ Improving the Normalization of Weight Rules in Answer Set Programs ⋮ Knowledge compilation of logic programs using approximation fixpoint theory ⋮ Local Search For Satisfiability Modulo Integer Arithmetic Theories ⋮ Unnamed Item ⋮ Conflict-driven answer set solving: from theory to practice ⋮ Testing and debugging techniques for answer set solver development ⋮ Backdoors to tractable answer set programming
Uses Software
This page was built for publication: Computing Stable Models via Reductions to Difference Logic
