Hydras: Directed Hypergraphs and Horn Formulas.

Robert H. Sloan Despina Stasi György Turán

Published in: CoRR (2015)

Keyphrases

horn formulas
knowledge compilation
graph theory
revision operators
np hard
knowledge acquisition
fixed point
hypergraph model