An Event Calculus for Event Recognition.
Alexander ArtikisMarek J. SergotGeorgios PaliourasPublished in: IEEE Trans. Knowl. Data Eng. (2015)
Keyphrases
- event recognition
- event calculus
- event detection
- situation calculus
- reasoning tasks
- video analysis
- deductive databases
- domain specific knowledge
- temporal reasoning
- multi camera
- partially ordered
- video surveillance
- activity recognition
- transitive closure
- logic programming
- temporal information
- computer vision
- databases
- spatial information
- modal logic
- directed acyclic graph
- expressive power
- high level
- domain independent
- knowledge base
- general theory