Aguado, FelicidadCabalar, PedroFandiño, JorgeMuñiz, BraisPérez, GilbertoSuárez, Francisco2024-09-102024-09-102019-09F. Aguado, P. Cabalar, J. Fandinno, B. Muñiz, G. Pérez, and F. Suárez, "A rule-based system for explainable donor-patient matching in liver transplantation", presented at 35th International Conference on Logic Programming (Technical Communications), ICLP 2019, Las Cruces, 20-25 September 2019, Electronic Proceedings in Theoretical Computer Science, EPTCSO, Vol. 306, 19 Sept. 2019, Pp. 266 - 272, doi: 10.4204/EPTCS.306.31http://hdl.handle.net/2183/38946[Abstract]: 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 policies for donor-patient matching. The rule-based system is built on top of an interpreter for logic programs with partial functions, called lppf, that extends the paradigm of Answer Set Programming (ASP) adding two main features: (1) the inclusion of partial functions and (2) the computation of causal explanations for the obtained solutions. The final goal of web-liver is assisting the medical experts in the design of new donor-patient matching policies that take into account not only the patient severity but also the transplantation utility. As an example, we illustrate the tool behaviour with a set of rules that implement the utility index called SOFT.engAtribución 3.0 Españahttp://creativecommons.org/licenses/by/3.0/es/Computation theoryComputer circuitsDecision support systemsProgram interpretersconference outputopen access10.4204/EPTCS.306.3110.48550/arXiv.1909.08248