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

2024

  1. Discovery of a dormant 33 solar-mass black hole in pre-release Gaia astrometry

    Astronomy and Astrophysics, Vol. 686

2021

  1. Linear-Time Temporal Answer Set Programming

    Theory and Practice of Logic Programming

2020

  1. Forgetting Auxiliary Atoms in Forks

    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE

  2. 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