Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554zbMATH Open1133.68326OpenAlexW2486590071MaRDI QIDQ5479280FDOQ5479280

Authors: Neil V. Murray, Erik Rosenthal 

Publication date: 7 July 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Recommendations

• Efficient query processing with reduced implicate tries
• scientific article; zbMATH DE number 1946853
• Knowledge compilation and theory approximation
• Updating Reduced Implicate Tries
• Knowledge compilation meets database theory: compiling queries to decision diagrams

Mathematics Subject Classification ID

Data structures (68P05) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)

Cited In (7)

• Logic Programming
• Updating Reduced Implicate Tries
• Efficient query processing with reduced implicate tries
• On the benefits of knowledge compilation for feature-model analyses
• A framework for method-specific knowledge compilation from databases
• Knowledge compilation meets database theory: compiling queries to decision diagrams
• Knowledge compilation using the extension rule

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 Q5479280)