Keyphrases
- modal logic
- combination rule
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- nonmonotonic logics
- evidence theory
- dempster shafer theory
- situation calculus
- classical logic
- conditional logic
- default logic
- association rules
- belief functions
- prime implicates
- model checking
- rule sets
- explanation based generalization
- dynamic logic
- autoepistemic logic
- belief revision