Back to top

Talks & Tutorials

Stream Reasoning
Big Data
This tutorial presents the formal methods for Complex Event Recognition (CER), i.e. models based on automata and computational logic, as they have been developed in the database, distributed systems, and artificial intelligence communities.
Logic
ILP
SRL
The Complex Event Recognition (CER) group of NCSR “Demokritos” works towards advanced and efficient methods for the recognition of complex events in a multitude of large, heterogeneous and interdependent data streams.
Stream Reasoning
Event Calculus
In this tutorial, we review complex event recognition technologies. We focus on the Chronicle Recognition System (CRS), the Event Calculus (EC), ProbLog and Markov Logic Networks (MLN).