Tableau calculi for logic programs under answer set semantics

DOI10.1145/2480759.2480767MaRDI QIDQ2946700zbMATH OpenOpenAlexWikidataFDO

Authors Martin Gebser, Torsten Schaub

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2480759.2480767

zbMATH Keywords

answer set programmingproof complexitytableau calculi

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20) Logic programming (68N17)

Recommendations

• Tableau Calculi for Answer Set Programming
• Extended ASP Tableaux and rule redundancy in normal logic programs
• Generic Tableaux for Answer Set Programming
• Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
• On the relation among answer set solvers

Cited in

(15)

• A multiparametric view on answer set programming
• scientific article; zbMATH DE number 1612548 (Why is no real title available?)
• Extended ASP Tableaux and rule redundancy in normal logic programs
• Generic Tableaux for Answer Set Programming
• Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
• Disjunctive answer set solvers via templates
• Tableaux and algorithms for Propositional Dynamic Logic with Converse
• scientific article; zbMATH DE number 1361525 (Why is no real title available?)
• Boosting Answer Set Optimization with Weighted Comparator Networks
• Inconsistency proofs for ASP: the ASP-DRUPE format
• Computer Science Logic
• Tableau Calculi for Answer Set Programming
• Automated Reasoning with Analytic Tableaux and Related Methods
• Signed dual tableaux for Kleene answer set programs
• On the configuration of more and less expressive logic programs

Describes a project that uses

Uses Software

• MiniSat
• ASSAT
• Gringo
• Lparse
• Chaff

This page was built for publication: Tableau calculi for logic programs under answer set semantics

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