María Felicidad
Aguado Martín
Profesora Titular de Universidade
Université de Toulouse
Tolosa, FranciaPublications in collaboration with researchers from Université de Toulouse (4)
2019
-
Forgetting auxiliary atoms in forks
Artificial Intelligence, Vol. 275, pp. 575-601
-
Revisiting Explicit Negation in Answer Set Programming
Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 908-924
2017
-
Forgetting auxiliary atoms in forks
CEUR Workshop Proceedings
-
Temporal Equilibrium Logic with past operators
Journal of Applied Non-Classical Logics, Vol. 27, Núm. 3-4, pp. 161-177