English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Action languages have emerged as an important field of KnowledgeRepresentation for reasoning about change and causality in dynamic domains.This article presents Cerbere, a production system designed to perform onlinecausal, temporal and epistemic reasoning based on the Event Calculus. Theframework implements the declarative semantics of the underlying logic theoriesin a forward-chaining rule-based reasoning system, coupling the highexpressiveness of its formalisms with the efficiency of rule-based systems. Toillustrate its applicability, we present both the modeling of benchmarkproblems in the field, as well as its utilization in the challenging domain ofsmart spaces. A hybrid framework that combines logic-based with probabilisticreasoning has been developed, that aims to accommodate activity recognition andmonitoring tasks in smart spaces. Under consideration in Theory and Practice ofLogic Programming (TPLP)

An Event Calculus Production Rule System for Reasoning in Dynamic and Uncertain Domains