Keyphrases
- epistemic logic
- modal logic
- model checking
- dynamic epistemic logic
- multi agent systems
- planning problems
- multi faceted
- cooperative
- computation tree logic
- inference rules
- domain independent
- planning domains
- formal semantics
- logical framework
- mathematical theory
- heuristic search
- temporal logic
- ai planning
- model checker
- natural language
- search algorithm
- knowledge base