Run-Time Verification of MSMAS Norms Using Event Calculus.
Emad Eldeen ElakehalMarco MontaliJulian A. PadgetPublished in: SASO Workshops (2014)
Keyphrases
- event calculus
- situation calculus
- temporal reasoning
- reasoning about actions and change
- partially ordered
- deductive databases
- commonsense reasoning
- domain specific knowledge
- reasoning tasks
- transitive closure
- model checking
- indirect effects
- general theory
- directed acyclic graph
- artificial intelligence
- temporal information
- domain independent
- expressive power
- post processing
- domain knowledge