research
∙
09/14/2020
Temporal Answer Set Programming
We present an overview on Temporal Logic Programming under the perspecti...
share
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