Monitoring business constraints with the event calculus.
Marco MontaliFabrizio Maria MaggiFederico ChesaniPaola MelloWil M. P. van der AalstPublished in: ACM Trans. Intell. Syst. Technol. (2013)
Keyphrases
- event calculus
- indirect effects
- situation calculus
- deductive databases
- domain specific knowledge
- reasoning about actions and change
- partially ordered
- reasoning tasks
- temporal reasoning
- machine learning
- logic programming
- data mining
- domain theory
- directed acyclic graph
- integrity constraints
- constraint satisfaction
- action theories