Incremental Event Calculus for Run-Time Reasoning

DOI10.1613/JAIR.1.12695OpenAlexW4221027497WikidataQ114006249 ScholiaQ114006249MaRDI QIDQ5076337FDOQ5076337

Authors: Efthimis Tsilionis, Alexander Artikis, Georgios Paliouras 

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

Recommendations

• Incremental learning of event definitions with inductive logic programming
• A logic-based, reactive calculus of events
• Online learning of event definitions
• Incremental reasoning on monadic second-order logics with logic programming

zbMATH Keywords

temporal reasoningknowledge representationlogic programmingreasoning about actions and change

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites Work

• C-SPARQL: a continuous query language for RDF data streams
• Title not available (Why is that?)
• A logic-based calculus of events
• Incremental and decremental evaluation of transitive closure by first- order queries
• Nonrecursive incremental evaluation of Datalog queries
• LARS: a logic-based framework for analytic reasoning over streams
• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• Querying log data with metric temporal logic
• Maintenance of datalog materialisations revisited
• Title not available (Why is that?)
• A Formal Framework for Complex Event Processing
• On the Expressiveness of Languages for Complex Event Recognition

Cited In (1)

• Online event recognition over noisy data streams

Uses Software

• Cayuga

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

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