From Situation Calculus to Dynamic Epistemic Logic.
Hans van DitmarschAndreas HerzigTiago de LimaPublished in: J. Log. Comput. (2011)
Keyphrases
- situation calculus
- dynamic epistemic logic
- epistemic logic
- modal logic
- action theories
- event calculus
- initial state
- temporal logic
- reasoning tasks
- inference rules
- reasoning about actions
- fluent calculus
- provably correct
- blocks world
- concurrent actions
- logical language
- general purpose
- sensing actions
- artificial intelligence
- logical theories
- model checking
- heuristic search
- multi agent systems