-calculus over generic transition systems and applications to the situation calculus.
Diego CalvaneseGiuseppe De GiacomoMarco MontaliFabio PatriziPublished in: Inf. Comput. (2018)
Keyphrases
- transition systems
- situation calculus
- temporal logic
- model checking
- modal logic
- concurrent systems
- action theories
- provably correct
- control flow
- practical reasoning
- initial state
- blocks world
- finite state
- reasoning about actions
- concurrent actions
- distributed systems
- reactive systems
- model checker
- domain specific
- knowledge representation
- high level