Foundation of credibilistic logic.

Xiang Li Baoding Liu

Published in: Fuzzy Optim. Decis. Mak. (2009)

Keyphrases

modal logic
proof theory
logic programming
automated reasoning
data sets
relational databases
data structure
query language
decision trees
search engine
theoretical foundation
real world
multi valued
defeasible logic
digital circuits
dynamic logic
real time
delay insensitive
logic synthesis