This talk provides an overview of the formal methods for Complex Event Recognition, as they have been developed in the artificial intelligence community.

Complex Event Recognition (CER) refers to the activity of detecting patterns in streams of continuously arriving “event” data over (geographically) distributed sources. In this course, we will present formal methods for CER, and illustrate them using the domain of maritime situational awareness.

This tutorial presents the requirements of proactive streaming analytics, describes step-by-step the integration of cutting edge research into a commercial analytics platform and provides a hands-on experience of the platform.

This talk presents our work towards handling uncertain input streams for complex event recognition.

This talk presents an architecture for online activity recognition in the presence of noisy input data.

This tutorial presents a short, partial overview of formal models for Complex Event Recognition.

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.

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.

This tutorial shows how formal methods from automata theory and computational logic provide a sound and effective approach to complex event processing in the Big Data era.

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.

The goal of this tutorial is to provide a step-by-step guide for realizing CER in the Big Data era.

A summary of the most prominent models and algorithms for Complex Event Recognition.

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).

We review a Chronicle Recognition System (CRS), the Event Calculus (EC), ProbLog and Markov Logic Networks (MLN).