Hybrid Temporal Situation Calculus.
Vitaliy BatusovGiuseppe De GiacomoMikhail SoutchanskiPublished in: CoRR (2018)
Keyphrases
- situation calculus
- action theories
- event calculus
- initial state
- concurrent actions
- reasoning about actions
- fluent calculus
- temporal reasoning
- temporal data
- temporal databases
- provably correct
- temporal information
- logical language
- agent programming
- taxonomic reasoning
- logical theories
- blocks world
- search algorithm
- universally quantified
- bayesian networks
- high level