Horn-ok-please.

Rijurekha Sen Bhaskaran Raman Prashima Sharma

Published in: MobiSys (2010)

Keyphrases

np hard
horn theories
propositional logic
horn clauses
artificial intelligence
bayesian networks
multi agent systems
lower bound
pairwise
domain knowledge
knowledge compilation