Generic Tableaux for Answer Set Programming

DOI10.1007/978-3-540-74610-2_9zbMATH Open1213.68176OpenAlexW1546511472MaRDI QIDQ3608650FDOQ3608650

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (8)

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

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)