3 citations · 5 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 1 cited
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno +3
In this paper we present web-liver, a rule-based system for decision support in the medical domain, focusing on its application in a liver transplantation unit for implementing pol…
cs.LO2019★ 3 cited
Revisiting Explicit Negation in Answer Set Programming
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno +3
A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explici…