Search Results for author:
Found 4 papers, 0 papers with code
A Unifying Framework for Learning Argumentation Semantics
In this paper we present a novel framework, which uses an Inductive Logic Programming approach to learn the acceptability semantics for several abstract and structured argumentation frameworks in an interpretable way.
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems
We present and discuss a runtime architecture that integrates sensorial data and classifiers with a logic-based decision-making system in the context of an e-Health system for the rehabilitation of children with neuromotor disorders.
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
In this paper we present the probabilistic typed natural deduction calculus TPTND, designed to reason about and derive trustworthiness properties of probabilistic computational processes, like those underlying current AI applications.
Foundations for a Probabilistic Event Calculus
We also describe an ASP implementation of PEC and show the sense in which this is sound and complete.
