Generic Tableaux for Answer Set Programming

DOI10.1007/978-3-540-74610-2_9MaRDI QIDQ3608650zbMATH OpenOpenAlexFDO

Authors Martin Gebser, Torsten Schaub

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)

Recommendations

• Tableau calculi for logic programs under answer set semantics
• Tableau Calculi for Answer Set Programming
• Answer Set Programming: A Primer
• Logic Programming
• Extended ASP Tableaux and rule redundancy in normal logic programs

Cited in

(8)

• Disjunctive logic programs, answer sets, and the cut rule
• Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
• On the relation among answer set solvers
• Tableau calculi for logic programs under answer set semantics
• Extended ASP Tableaux and rule redundancy in normal logic programs
• Tableau Calculi for Answer Set Programming
• On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
• Cumulativity Tailored for Nonmonotonic Reasoning

Describes a project that uses

Uses Software

• Lparse

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608650)