Incremental Event Calculus for Run-Time Reasoning

DOI10.1613/JAIR.1.12695MaRDI QIDQ5076337zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

temporal reasoningknowledge representationlogic programmingreasoning about actions and change

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

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

Cites work

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

Cited in

(1)

• Online event recognition over noisy data streams

Describes a project that uses

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)