Computational complexity for bounded distributive lattices with negation.

Dmitry Shkatov Clint J. van Alten

Published in: Ann. Pure Appl. Log. (2021)

Keyphrases

distributive lattices
computational complexity
boolean algebra
general theory
logic programs
belief functions
np complete
deductive databases
mathematical theory
logic programming
stable models
artificial intelligence
bayesian networks
np hard
database applications
data fusion