scispace - formally typeset
A

Alexander Artikis

Researcher at University of Piraeus

Publications -  171
Citations -  3537

Alexander Artikis is an academic researcher from University of Piraeus. The author has contributed to research in topics: Event calculus & Complex event processing. The author has an hindex of 35, co-authored 158 publications receiving 3217 citations. Previous affiliations of Alexander Artikis include Imperial College London & Barcelona Supercomputing Center.

Papers
More filters
Proceedings ArticleDOI

Engineering Organised Adaptation: A Tutorial

TL;DR: This work discusses the future challenges facing engineers of organised adaptation, in particular the requirement for a formal method for systems development and evaluation, and proposes an analytic framework against which a number of prominent formalisms are evaluated.
Proceedings ArticleDOI

Event recognition for assisted independent living

TL;DR: The application of a recently proposed probabilistic logical formalism, based on the Event Calculus and the stochastic logic programming language ProbLog, is presented on the task of sensor data fusion in the USEFIL project.
Journal ArticleDOI

Online Event Recognition from Moving Vehicles: Application Paper

TL;DR: A system for online composite event recognition over streaming positions of commercial vehicles, based on a highly optimised logic programming implementation of the Event Calculus, that consumes the enriched data and identifies activities that are beneficial in fleet management applications.
Book ChapterDOI

Increasing maritime situation awareness via trajectory detection, enrichment and recognition of events

TL;DR: The research presented in this paper aims to show the deployment and use of advanced technologies towards processing surveillance data for the detection of events, contributing to maritime situation awareness via trajectories’ detection, synopses generation and semantic enrichment of trajectories.
Journal ArticleDOI

Complex event forecasting with prediction suffix trees

TL;DR: In this paper, the authors present a formal framework that combines symbolic automata and prediction suffix trees to encode complex event patterns and provide a succinct probabilistic description of an automaton's behavior.