Tableau Calculi for Logic Programs under Answer Set Semantics

DOI10.1145/2480759.2480767zbMath1353.68037OpenAlexW2000863621MaRDI QIDQ2946700

Torsten Schaub, Martin Gebser

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

proof complexitytableau calculianswer set programming

Mathematics Subject Classification ID

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

Related Items (3)

Disjunctive answer set solvers via templates ⋮ Boosting Answer Set Optimization with Weighted Comparator Networks ⋮ A multiparametric view on answer set programming

Uses Software

• MiniSat
• ASSAT
• Gringo
• Lparse
• Chaff

This page was built for publication: Tableau Calculi for Logic Programs under Answer Set Semantics