Concepción Vidal
Author
Institution Universidade da Coruña
Past institutions Universidade da Coruña, University of Antwerp, Universidade de Vigo
ORCID: Yes
H-index: 8
I10-index: 6
Works count: 52
Citations count: 226
Temporal equilibrium logic: a survey
2013 · Felicidad Aguado, Pedro Cabalar, et al. · Journal of Applied Non-Classical Logics
Forgetting auxiliary atoms in forks
2019 · Felicidad Aguado, Pedro Cabalar, et al. · Artificial Intelligence
Strongly Equivalent Temporal Logic Programs
2008 · Felicidad Aguado, Pedro Cabalar, et al. · Lecture notes in computer science