The complexity of equivalence, entailment, and minimization in existential positive logic.

Simone Bova Hubie Chen

Published in: J. Comput. Syst. Sci. (2015)

Keyphrases

logic programming
computational complexity
probabilistic logic
np complete
positive and negative
classical logic
proof theory
worst case
decision problems
space complexity
polynomial hierarchy
logical equivalence
machine learning
computational cost