CITIC - Centro de Investigación de Tecnologías de la Información y de la Comunicación
Centro de Investigación y Campus de Especialización
University of Potsdam
Potsdam, AlemaniaPublicaciones en colaboración con investigadores/as de University of Potsdam (7)
2024
-
Discovery of a dormant 33 solar-mass black hole in pre-release Gaia astrometry
Astronomy and Astrophysics, Vol. 686
2021
-
Linear-Time Temporal Answer Set Programming
Theory and Practice of Logic Programming
2020
-
Forgetting Auxiliary Atoms in Forks
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
-
Forgetting auxiliary atoms in forks
IJCAI International Joint Conference on Artificial Intelligence
2019
-
A rule-based system for explainable donor-patient matching in liver transplantation
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
Forgetting auxiliary atoms in forks
Artificial Intelligence, Vol. 275, pp. 575-601
2017
-
Multi-messenger observations of a binary neutron star merger
Astrophysical Journal Letters, Vol. 848, Núm. 2