Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554MaRDI QIDQ5479293zbMATH OpenOpenAlexFDO

Authors Gernot Stenz

Publication date 7 July 2006

Full work available at URL https://doi.org/10.1007/11554554

Mathematics Subject Classification ID

Recommendations

• Tableaux and related methods
• scientific article; zbMATH DE number 28363
• scientific article; zbMATH DE number 1395652
• scientific article; zbMATH DE number 4219104
• Tableau-based reasoning for graph properties
• Tableau Calculi for Answer Set Programming
• Tableau complexes
• Tabular: Probabilistic Inference from the Spreadsheet
• GAC Via Unit Propagation

Cited in

(1)

• Exploiting the real power of unit propagation lookahead

Describes a project that uses

Uses Software

• DCTP

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods

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