An Event Calculus Formalization of Timed Automata.
Nicola FalcionelliPaolo SernaniDagmawi Neway MekuriaAldo Franco DragoniPublished in: RTcMAS@IJCAI (2018)
Keyphrases
- event calculus
- timed automata
- model checking
- situation calculus
- temporal reasoning
- reasoning about actions and change
- reasoning tasks
- partially ordered
- deductive databases
- first order logic
- transitive closure
- theorem prover
- domain specific knowledge
- theorem proving
- temporal logic
- knowledge representation
- operational semantics
- directed acyclic graph
- real time systems
- temporal databases
- query evaluation
- temporal information
- inference rules
- artificial intelligence
- general purpose
- relational databases