Quasi-Acyclic Propositional Horn Knowledge Bases: Optimal Compression.

Peter L. Hammer Alexander Kogan

Published in: IEEE Trans. Knowl. Data Eng. (1995)

Keyphrases

np hard
knowledge base
propositional logic
optimal solution
worst case
knowledge compilation
dynamic programming
knowledge based systems
data compression
horn clauses
description logics
knowledge acquisition
logic programming
image compression
multi valued