Implementing semantic merging operators using binary decision diagrams.

Nikos Gorogiannis Anthony Hunter

Published in: Int. J. Approx. Reason. (2008)

Keyphrases

binary decision diagrams
merging operators
boolean functions
logical properties
planning problems
set theoretic
aggregation functions
machine translation
possibilistic logic
databases
natural language
general purpose
incomplete information