Merging in the Horn Fragment.

Adrian Haret Stefan Rümmele Stefan Woltran

Published in: ACM Trans. Comput. Log. (2017)

Keyphrases

np hard
databases
information retrieval
artificial intelligence
propositional logic
maximal tractable
horn theories
machine learning
learning algorithm
knowledge representation
knowledge compilation
merging algorithm