Keyphrases
- belief functions
- default logic
- default rules
- possibility theory
- extended logic programs
- default theories
- nonmonotonic reasoning
- dempster shafer theory
- uncertain information
- default reasoning
- dempster shafer
- logic programming
- nonmonotonic logics
- autoepistemic logic
- probability theory
- probability function
- evidential reasoning
- modal logic
- fixed point
- combination rule
- commonsense reasoning
- markov tree
- fuzzy numbers
- truth maintenance systems
- association rules
- defeasible logic
- classical logic
- neural network
- answer sets
- probability functions
- pattern recognition