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

Author Periklis Mantenoglou



PDF
Thumbnail PDF

File

LIPIcs.TIME.2023.14.pdf
  • Filesize: 462 kB
  • 3 pages

Document Identifiers

Author Details

Periklis Mantenoglou
  • National and Kapodistrian University of Athens, Greece
  • NCSR "Demokritos", Athens, Greece

Cite As Get 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

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)
    0
    PDF Downloads

References

  1. J. Allen. Maintaining knowledge about temporal intervals. Comm. of the ACM, 26(11):832-843, 1983. Google Scholar
  2. 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. Google Scholar
  3. Robert Kowalski and Marek Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-96, 1986. Google Scholar
  4. Periklis Mantenoglou, Alexander Artikis, and Georgios Paliouras. Online probabilistic interval-based event calculus. In ECAI, volume 325, pages 2624-2631, 2020. Google Scholar
  5. Periklis Mantenoglou, Dimitrios Kelesis, and Alexander Artikis. Complex event recognition with Allen relations. In KR, 2023. Google Scholar
  6. Periklis Mantenoglou, Manolis Pitsikalis, and Alexander Artikis. Stream reasoning with cycles. In KR, pages 544-553, 2022. Google Scholar
  7. 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. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail