2015/12/14 · Title:An Event Calculus Production Rule System for Reasoning in Dynamic and Uncertain Domains. Authors:Theodore Patkos, Dimitris Plexousakis ...

A hybrid framework that combines logic-based with probabilistic reasoning has been developed, that aims to accommodate activity recognition and monitoring tasks ...

This article presents Cerbere, a production system designed to perform online causal, temporal and epistemic reasoning based on the Event Calculus.

Action languages have emerged as an important field of knowledge representation for reasoning about change and causality in dynamic domains.

Cerbere is a production system designed to perform online causal, temporal and epistemic reasoning based on the Event Calculus, a hybrid framework that ...

An Event Calculus Production Rule. System for Reasoning in Dynamic and. Uncertain Domains published in Theory and Practice of Logic. Programming. Theodore ...

An event calculus production rule system for reasoning in dynamic and uncertain domains. T Patkos, D Plexousakis, A Chibani, Y Amirat. Theory and Practice of ...

An event calculus production rule system for reasoning in dynamic and uncertain domains · A history based approximate epistemic action theory for efficient ...

We propose a new framework for reasoning about knowledge, action and time for domains that in- clude actions with non-deterministic and context- dependent ...

An event calculus production rule system for reasoning in dynamic and uncertain domains. T Patkos, D Plexousakis, A Chibani, Y Amirat. Theory and Practice of ...