Incremental Event Calculus for Run-Time Reasoning

DOI10.1613/jair.1.12695OpenAlexW4221027497WikidataQ114006249 ScholiaQ114006249MaRDI QIDQ5076337

Efthimis Tsilionis, Georgios Paliouras, Alexander Artikis

Publication date: 16 May 2022

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

Full work available at URL: https://doi.org/10.1613/jair.1.12695

zbMATH Keywords

knowledge representationlogic programmingtemporal reasoningreasoning about actions and change

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items (1)

Online event recognition over noisy data streams

Uses Software

• Cayuga

Cites Work

• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• LARS: a logic-based framework for analytic reasoning over streams
• Incremental and decremental evaluation of transitive closure by first- order queries
• Nonrecursive incremental evaluation of Datalog queries
• Maintenance of datalog materialisations revisited
• Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
• C-SPARQL: A CONTINUOUS QUERY LANGUAGE FOR RDF DATA STREAMS
• Querying Log Data with Metric Temporal Logic
• A Formal Framework for Complex Event Processing
• On the Expressiveness of Languages for Complex Event Recognition

This page was built for publication: Incremental Event Calculus for Run-Time Reasoning