Merging in the Horn Fragment.

Adrian Haret Stefan Rümmele Stefan Woltran

Published in: IJCAI (2015)

Keyphrases

np hard
maximal tractable
horn theories
propositional logic
merging algorithm
real world
data mining
information retrieval
artificial intelligence
decision making
multiscale
optimal solution
artificial neural networks
probabilistic model
horn clauses
canonical representation