Keyphrases
- reasoning about actions
- database
- decision theoretic
- concurrent execution
- proof theory
- modal logic
- situation calculus
- action theories
- automated reasoning
- classical logic
- data sets
- internal state
- transaction management
- multi valued
- plan recognition
- concurrency control
- logic programming
- transaction model
- internal and external
- transaction data
- action selection
- digital circuits
- transaction processing