LIPIcs.TIME.2023.14.pdf
- Filesize: 462 kB
- 3 pages
Document
An Event Calculus for Run-Time Reasoning (Extended Abstract)
Author
Periklis Mantenoglou 
-
Part of:
Volume:
30th International Symposium on Temporal Representation and Reasoning (TIME 2023)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Symposium on Temporal Representation and Reasoning (TIME) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2023-09-18
File
Document Identifiers
Author Details
Cite AsGet BibTex
Periklis Mantenoglou. An Event Calculus for Run-Time Reasoning (Extended Abstract). In 30th International Symposium on Temporal Representation and Reasoning (TIME 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 278, pp. 14:1-14:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.TIME.2023.14
https://doi.org/10.4230/LIPIcs.TIME.2023.14
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.
Subject Classification
ACM Subject Classification
- Computing methodologies → Temporal reasoning
Keywords
- Event Calculus
- temporal pattern matching
- complex event recognition
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
J. Allen. Maintaining knowledge about temporal intervals. Comm. of the ACM, 26(11):832-843, 1983.
-
Alexander Artikis, Marek Sergot, and Georgios Paliouras. An event calculus for event recognition. IEEE Transactions on Knowledge and Data Engineering, 27(4):895-908, 2015.
-
Robert Kowalski and Marek Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-96, 1986.
-
Periklis Mantenoglou, Alexander Artikis, and Georgios Paliouras. Online probabilistic interval-based event calculus. In ECAI, volume 325, pages 2624-2631, 2020.
-
Periklis Mantenoglou, Dimitrios Kelesis, and Alexander Artikis. Complex event recognition with Allen relations. In KR, 2023.
-
Periklis Mantenoglou, Manolis Pitsikalis, and Alexander Artikis. Stream reasoning with cycles. In KR, pages 544-553, 2022.
-
Manolis Pitsikalis, Alexander Artikis, Richard Dreo, Cyril Ray, Elena Camossi, and Anne-Laure Jousselme. Composite event recognition for maritime monitoring. In DEBS, pages 163-174. ACM, 2019.