The Horn Mu-calculus.

Witold Charatonik David A. McAllester Damian Niwinski Andreas Podelski Igor Walukiewicz

Published in: LICS (1998)

Keyphrases

np hard
horn theories
knowledge compilation
propositional logic
development environment
computer algebra
horn clauses
machine learning
information retrieval
artificial intelligence
bayesian networks
relational databases
proof procedure
natural deduction