Credibilistic Satisfiability and Credibilistic Entailment.

Xiang Li Hau-San Wong

Published in: J. Multiple Valued Log. Soft Comput. (2010)

Keyphrases

np complete
satisfiability problem
computational complexity
textual entailment
optimal solution
artificial intelligence
search space
logic programming
constraint satisfaction problems
propositional logic
logical implication