Keyphrases
- planning problems
- data sets
- database
- heuristic search
- predicate logic
- decision support
- logic programming
- planning process
- concurrent execution
- proof theory
- classical logic
- transaction processing
- planning domains
- modal logic
- automated reasoning
- concurrency control
- real time database systems
- state space
- nested transactions
- deontic logic
- database systems
- databases