Reasoning over streams of events with delayed effects

DOI10.1613/JAIR.1.17886MaRDI QIDQ6857443zbMATH OpenFDO

Authors Periklis Mantenoglou, Manolis Pitsikalis, Alexander Artikis

Publication date 17 February 2026

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1613/JAIR.1.17886

zbMATH Keywords

knowledge representationlogic programmingreasoning about actions and changetemporal reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites work

• A distributed approach to LARS stream reasoning (system paper)
• A Formal Framework for Complex Event Processing
• A logic-based calculus of events
• A propositional modal logic of time intervals
• An executable specification of a formal argumentation protocol
• Combining event calculus and description logic reasoning via logic programming
• Constraint answer set programming without grounding
• Executable specification of open multi-agent systems
• Explanatory denotational semantics for complex event patterns
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1926646 (Why is no real title available?)
• Incremental Event Calculus for Run-Time Reasoning
• Incremental reasoning in probabilistic signal temporal logic
• 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
• Obligations with deadlines: a formalization in dynamic deontic logic
• On the Expressiveness of Languages for Complex Event Recognition
• Specifying timed patterns using temporal logic
• The delay and window size problems in rule-based stream reasoning
• Ticker: a system for incremental ASP-based stream reasoning
• Towards Streaming Evaluation of Queries with Correlation in Complex Event Processing

This page was built for publication: Reasoning over streams of events with delayed effects

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