Keyphrases
- coalition logic
- logical framework
- modal logic
- inference rules
- classical logic
- model checking
- multi agent systems
- temporal logic
- deontic logic
- expressive power
- pspace complete
- satisfiability problem
- sliding tile
- belief revision
- first order logic
- reasoning tasks
- representation language
- artificial intelligence
- situation calculus
- conditional probabilities
- legal reasoning
- np complete
- propositional variables
- natural language
- bayesian networks