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
Journal ArticleDOI
Specifying norm-governed computational societies
TL;DR: This article presents a theoretical and computational framework being developed for the executable specification of open agent societies, and demonstrates how the framework can be applied to specifying and executing a contract-net protocol.
Proceedings ArticleDOI
Animated specifications of computational societies
TL;DR: This work identifies the key concepts and illustrates how they are used by formalising an example employing the contract net protocol, and presents a formal framework for specifying, animating, and ultimately reasoning about and verifying the properties of open computational systems.
Journal ArticleDOI
An Event Calculus for Event Recognition
TL;DR: The evaluation shows that RTEC can support real-time event recognition and is capable of meeting the performance requirements identified in a survey of event processing use cases.
Proceedings Article
Heterogeneous Stream Processing and Crowdsourcing for Urban Traffic Management
Alexander Artikis,Matthias Weidlich,François Schnitzler,Ioannis Boutsis,Thomas Liebig,Nico Piatkowski,Christian Bockermann,Katharina Morik,Vana Kalogeraki,Jakub Marecek,Avigdor Gal,Shie Mannor,Dermot Kinane,Dimitrios Gunopulos +13 more
TL;DR: This work presents a system for heterogeneous stream processing and crowdsourcing supporting intelligent urban trac management and demonstrates the system with a real-world use-case from Dublin city, Ireland.
Journal ArticleDOI
Online Event Recognition from Moving Vessel Trajectories
Kostas Patroumpas,Elias Alevizos,Alexander Artikis,Marios Vodas,Nikos Pelekis,Yannis Theodoridis +5 more
TL;DR: Extensive tests validate the performance, efficiency, and robustness of the system against scalable volumes of real-world and synthetically enlarged datasets, but its deployment against online feeds from vessels has also confirmed its capabilities for effective, real-time maritime surveillance.