Non-situation Calculus and Database Systems.
Pedro A. de MatosJoão P. MartinsPublished in: FoIKS (2000)
Keyphrases
- multi agent systems
- situation calculus
- database systems
- event calculus
- action theories
- reasoning about actions
- initial state
- database
- concurrent actions
- reasoning tasks
- logical language
- query processing
- blocks world
- data management
- data model
- fluent calculus
- databases
- sensing actions
- provably correct
- modal logic
- logical theories
- taxonomic reasoning
- modal operators
- dynamic programming