Towards a General Theory of Advanced Transaction Models in the Situation Calculus.
Iluju KiringaPublished in: KRDB (2001)
Keyphrases
- situation calculus
- general theory
- advanced transaction models
- event calculus
- action theories
- morphological operators
- reasoning about actions
- modal logic
- concurrent actions
- initial state
- fluent calculus
- stable models
- logical language
- sensing actions
- transaction model
- high level
- inference rules
- domain independent
- mobile devices