Concepción
Vidal Martín
Profesora Titular de Universidad
University of Potsdam
Potsdam, AlemaniaPublicaciones en colaboración con investigadores/as de University of Potsdam (4)
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
-
Forgetting auxiliary atoms in forks
Artificial Intelligence, Vol. 275, pp. 575-601