Normal Forms for Knowledge Compilation

DOI10.1007/11425274_32zbMath1132.68550OpenAlexW1881465754MaRDI QIDQ5450872

Erik Rosenthal, Reiner Hähnle, Neil V. Murray

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_32

Mathematics Subject Classification ID

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

Related Items

Efficient query processing with reduced implicate tries