Publicaciones en colaboración con investigadores/as de University of Potsdam (7)

2021

  1. Linear-Time Temporal Answer Set Programming

    Theory and Practice of Logic Programming

2020

  1. Forgetting auxiliary atoms in forks

    IJCAI International Joint Conference on Artificial Intelligence

2019

  1. A rule-based system for explainable donor-patient matching in liver transplantation

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. Forgetting auxiliary atoms in forks

    Artificial Intelligence, Vol. 275, pp. 575-601

2017

  1. Multi-messenger observations of a binary neutron star merger

    Astrophysical Journal Letters, Vol. 848, Núm. 2