• Media type: Electronic Conference Proceeding; E-Article; Text
  • Title: An Event Calculus for Run-Time Reasoning (Extended Abstract)
  • Contributor: Mantenoglou, Periklis [Author]
  • imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
  • Language: English
  • DOI: https://doi.org/10.4230/LIPIcs.TIME.2023.14
  • Keywords: temporal pattern matching ; Event Calculus ; complex event recognition
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access