Concurrent Composition and Algebras of Events, Actions, and Processes
Mark BurginMarc L. SmithPublished in: CoRR (2008)
Keyphrases
- human activities
- concurrent execution
- external events
- concurrent actions
- event detection
- atomic actions
- temporal ordering
- temporal reasoning
- state transitions
- user actions
- decision theoretic
- action sequences
- temporal structure
- reasoning about actions
- temporally extended
- situation calculus
- physiological processes
- topological spaces
- concurrent processes
- clifford algebra
- artificial intelligence
- mutual exclusion
- temporal aspects
- event logs
- reward function
- spatial reasoning
- human actions
- planning problems
- temporal information
- process model
- video sequences