Hybrid temporal situation calculus.
Vitaliy BatusovGiuseppe De GiacomoMikhail SoutchanskiPublished in: SAC (2019)
Keyphrases
- situation calculus
- event calculus
- action theories
- initial state
- reasoning about actions
- temporal information
- fluent calculus
- provably correct
- blocks world
- modal logic
- temporal data
- reasoning tasks
- logical language
- temporal reasoning
- concurrent actions
- general purpose
- universally quantified
- temporal databases
- sensing actions
- software engineering
- taxonomic reasoning