research
∙
09/28/2021
Explainable Machine Larning for liver transplantation
In this work, we present a flexible method for explaining, in human read...
share
research
∙
09/14/2020
Temporal Answer Set Programming
We present an overview on Temporal Logic Programming under the perspecti...
research
∙
09/18/2019
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation
In this paper we present web-liver, a rule-based system for decision sup...
research
∙
07/26/2019
Revisiting Explicit Negation in Answer Set Programming
A common feature in Answer Set Programming is the use of a second negati...
research
∙
09/19/2016
Temporal Logic Programs with Variables
In this note we consider the problem of introducing variables in tempora...
research
∙
09/07/2016