On the complexity of Entailment in Propositional Multivalued Logics.

Marco Cadoli Marco Schaerf

Published in: Ann. Math. Artif. Intell. (1996)

Keyphrases

polynomial hierarchy
multi valued
probabilistic logic
default logic
computational complexity
worst case
logic programming
inference rules
propositional logic
knowledge base
first order logic
modal logic
answer sets
soft constraints
propositional variables