Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554MaRDI QIDQ5479280zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(8)

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

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)