Composite event recognition with arbitrary specifications

DOI10.1016/J.IC.2025.105373MaRDI QIDQ6884293zbMATH OpenFDO

Authors Periklis Mantenoglou, Alexander Artikis

Publication date 15 December 2025

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.IC.2025.105373

zbMATH Keywords

composite event recognitionevent calculustemporal pattern matching

Mathematics Subject Classification ID

Logic programming (68N17) Pattern recognition, speech recognition (68T10) Logic in artificial intelligence (68T27)

Cites work

• A distributed approach to LARS stream reasoning (system paper)
• A logic-based calculus of events
• Combining event calculus and description logic reasoning via logic programming
• Depth-First Search and Linear Graph Algorithms
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 1945868 (Why is no real title available?)
• Incremental Event Calculus for Run-Time Reasoning
• LARS: a logic-based framework for analytic reasoning over streams
• Learning explanations for biological feedback with delays using an event calculus
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
• Online learning probabilistic event calculus theories in answer set programming
• Querying log data with metric temporal logic
• Reactive event calculus for monitoring global computing applications
• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• Ticker: a system for incremental ASP-based stream reasoning
• Topological sorting of large networks

This page was built for publication: Composite event recognition with arbitrary specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6884293)