Picture for Felicidad Aguado

Felicidad Aguado

IRLab, CITIC Research Center, University of A Coruña, Spain

Temporal Answer Set Programming

Add code
Sep 14, 2020
Figure 1 for Temporal Answer Set Programming
Figure 2 for Temporal Answer Set Programming
Figure 3 for Temporal Answer Set Programming
Figure 4 for Temporal Answer Set Programming
Viaarxiv icon

A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation

Add code
Sep 18, 2019
Viaarxiv icon

Revisiting Explicit Negation in Answer Set Programming

Add code
Jul 26, 2019
Figure 1 for Revisiting Explicit Negation in Answer Set Programming
Figure 2 for Revisiting Explicit Negation in Answer Set Programming
Viaarxiv icon

Temporal Logic Programs with Variables

Add code
Sep 19, 2016
Figure 1 for Temporal Logic Programs with Variables
Figure 2 for Temporal Logic Programs with Variables
Viaarxiv icon