Statistics
Publications
3
Citations
82
H-Index
3
Active since
2013
Affiliations
Universidade da Coruña(Current)
Felicidad Aguado is an author at Universidade da Coruña specializing in formal methods, logic programming, and computer science.
Publications per year
2013–2021
3
3
Temporal equilibrium logic: a survey
Felicidad Aguado, Pedro Cabalar, Martín Diéguez et al. · Journal of Applied Non-Classical Logics · 2013 · 47 citations
A denotational semantics for equilibrium logic
Felicidad Aguado, Pedro Cabalar, David Pearce et al. · Theory and Practice of Logic Programming · 2015 · 16 citations · Full text
Rows per page
1–3 of 3