Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- belief functions
- classical logic
- dempster shafer
- nonmonotonic logics
- epistemic logic
- situation calculus
- conditional logic
- default logic
- dynamic logic
- autoepistemic logic
- explanation based generalization
- multi agent systems
- initial state
- partial order
- model checking
- probability distribution
- data model
- prime implicates
- multi agent