A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
Jens ClaßenYuxiao HuGerhard LakemeyerPublished in: AAAI (2007)
Keyphrases
- situation calculus
- logical language
- action theories
- fluent calculus
- reasoning tasks
- logic programming language
- xml keys
- event calculus
- modal operators
- initial state
- action language
- logical theories
- reasoning about actions
- modal logic
- provably correct
- concurrent actions
- logic programming
- programming language
- indirect effects
- blocks world
- formal semantics
- nonmonotonic logics