Statistics
Publications
3
Citations
85
H-Index
3
Active since
2013
Affiliations
Universidade da Coruña(Current)
Concepción Vidal is an author at Universidade da Coruña specializing in computer science, formal semantics, and equilibrium.
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 · 48 citations
Linear-Time Temporal Answer Set Programming
Felicidad Aguado, Pedro Cabalar, Martín Diéguez et al. · Theory and Practice of Logic Programming · 2021 · 21 citations · Full text
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
1–3 of 3