Optimizing Long-Running Action Histories in the Situation Calculus Through Search.
Christopher James EwinAdrian R. PearceStavros VassosPublished in: PRIMA (2015)
Keyphrases
- situation calculus
- action theories
- fluent calculus
- reasoning about actions
- concurrent actions
- long running
- initial state
- sensing actions
- event calculus
- search algorithm
- action language
- search space
- indirect effects
- modal logic
- logic programming
- search strategies
- logical language
- database systems
- planning problems
- programming language
- primitive actions