Schon, Claudia - Universität <Koblenz - 2010
Knowledge compilation is a common technique for propositionallogic knowledge bases. A given knowledge base is transformedinto a normal form, for which queries can be answered efficiently. Thisprecompilation step is expensive, but it only has to be performed once.We apply this technique to...