Efficient query processing with reduced implicate tries

DOI10.1007/S10817-006-9054-XzbMATH Open1113.68044OpenAlexW2002443204MaRDI QIDQ877893FDOQ877893

Authors Neil V. Murray, Erik Rosenthal

Publication date 4 May 2007

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-006-9054-x

zbMATH Keywords

knowledge compilation

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05) Knowledge representation (68T30)

Recommendations

• Automated Reasoning with Analytic Tableaux and Related Methods
• Updating Reduced Implicate Tries
• Reduced Implicate Tries with Updates
• Identifying prime implicate branches in reduced implicate tries
• scientific article; zbMATH DE number 1946853

Cites work

• scientific article; zbMATH DE number 1348482 (Why is no real title available?)
• A New Algorithm for Generating Prime Implicants
• A theory of diagnosis from first principles
• An algorithm to compute circumscription
• An incremental method for generating prime implicants/implicates
• Automated Reasoning with Analytic Tableaux and Related Methods
• CNF and DNF considered harmful for computing prime implicants/implicates
• Decomposable negation normal form
• Dissolution
• Duality in Knowledge Compilation Techniques
• Hard problems for simple default logics
• Knowledge compilation and theory approximation
• Knowledge compilation using the extension rule
• Normal Forms for Knowledge Compilation
• Polynomial-time algorithms for generation of prime implicants
• Tableaux, path dissolution, and decomposable negation normal form for knowledge compilation

Cited in

(6)

• Efficient and optimal query answering on independent schemes
• Knowledge compilation using the extension rule
• Reduced Implicate Tries with Updates
• Updating Reduced Implicate Tries
• Automated Reasoning with Analytic Tableaux and Related Methods
• Identifying prime implicate branches in reduced implicate tries

Describes a project that uses

Uses Software

• PATRICIA

This page was built for publication: Efficient query processing with reduced implicate tries

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