Generic Tableaux for Answer Set Programming

DOI10.1007/978-3-540-74610-2_9zbMath1213.68176OpenAlexW1546511472MaRDI QIDQ3608650

Torsten Schaub, Martin Gebser

Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74610-2_9

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

Cumulativity Tailored for Nonmonotonic Reasoning ⋮ On the relation among answer set solvers ⋮ Disjunctive logic programs, answer sets, and the cut rule ⋮ On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP

Uses Software

• Lparse

This page was built for publication: Generic Tableaux for Answer Set Programming