Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.
Giuseppe De GiacomoYves LespéranceHector J. LevesquePublished in: IJCAI (1997)
Keyphrases
- situation calculus
- concurrent execution
- concurrent actions
- action theories
- reasoning about actions
- modal operators
- event calculus
- concurrency control
- initial state
- action language
- modal logic
- parallel execution
- provably correct
- planning problems
- sensing actions
- fluent calculus
- indirect effects
- logical language
- software engineering