Keyphrases
- modal logic
- possibility theory
- nonmonotonic reasoning
- probability theory
- inference rules
- possibilistic logic
- default logic
- classical logic
- temporal logic
- incomplete information
- qualitative decision theory
- conditional independence
- decision making under uncertainty
- fuzzy set theory
- belief revision
- nonmonotonic logics
- possibilistic networks
- causal networks
- default reasoning
- possibility distributions
- pattern recognition
- prime implicates
- autoepistemic logic
- belief functions
- neural network
- modal operators
- model checking
- situation calculus
- data mining
- machine learning
- artificial intelligence
- bayesian networks
- logic programming