Duality in Knowledge Compilation Techniques

DOI10.1007/11425274_19MaRDI QIDQ5450865zbMATH OpenOpenAlexFDO

Authors Neil V. Murray, Erik Rosenthal

Publication date 17 March 2008

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

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

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1946853
• Normal Forms for Knowledge Compilation
• Decomposable negation normal form
• Disjunctive closures for knowledge compilation
• Tableaux, path dissolution, and decomposable negation normal form for knowledge compilation

Cited in

(5)

• Disjunctive closures for knowledge compilation
• Normal Forms for Knowledge Compilation
• On the role of logical separability in knowledge compilation
• Connecting knowledge compilation classes and width parameters
• Efficient query processing with reduced implicate tries

This page was built for publication: Duality in Knowledge Compilation Techniques

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