A Retrospective on the Reactive Event Calculus and Commitment Modeling Language.
Paolo TorroniFederico ChesaniPaola MelloMarco MontaliPublished in: DALT (2011)
Keyphrases
- modeling language
- event calculus
- situation calculus
- reasoning about actions and change
- reasoning tasks
- metamodel
- temporal reasoning
- partially ordered
- deductive databases
- domain specific knowledge
- transitive closure
- directed acyclic graph
- databases
- general theory
- partial order
- temporal information
- software systems
- learning algorithm