Reactive Event Calculus for Monitoring Global Computing Applications.
Stefano BragagliaFederico ChesaniPaola MelloMarco MontaliPaolo TorroniPublished in: Logic Programs, Norms and Action (2012)
Keyphrases
- event calculus
- situation calculus
- temporal reasoning
- reasoning about actions and change
- deductive databases
- reasoning tasks
- partially ordered
- commonsense reasoning
- domain specific knowledge
- transitive closure
- partial order
- integrity constraints
- temporal logic
- temporal information
- logic programming
- directed acyclic graph
- bayesian networks
- indirect effects
- high level