License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2023.14
URN: urn:nbn:de:0030-drops-191046
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/19104/
Go to the corresponding LIPIcs Volume Portal

Mantenoglou, Periklis

An Event Calculus for Run-Time Reasoning (Extended Abstract)

pdf-format:
LIPIcs-TIME-2023-14.pdf (0.5 MB)

Abstract

In stream reasoning, the task is to derive high level abstractions of large data streams with minimal latency, as required by contemporary applications. This work presents an Event Calculus-based approach to stream reasoning, highlighting its core features and recent extensions.

BibTeX - Entry

@InProceedings{mantenoglou:LIPIcs.TIME.2023.14,
  author =	{Mantenoglou, Periklis},
  title =	{{An Event Calculus for Run-Time Reasoning}},
  booktitle =	{30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
  pages =	{14:1--14:3},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-298-3},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{278},
  editor =	{Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2023/19104},
  URN =		{urn:nbn:de:0030-drops-191046},
  doi =		{10.4230/LIPIcs.TIME.2023.14},
  annote =	{Keywords: Event Calculus, temporal pattern matching, complex event recognition}
}

Keywords: Event Calculus, temporal pattern matching, complex event recognition
Collection: 30th International Symposium on Temporal Representation and Reasoning (TIME 2023)
Issue Date: 2023
Date of publication: 18.09.2023

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI