Personal information

No personal information available

Activities

Collapse all

Employment (1)

Universiad de A Coruña: A Coruña, ES

(Computación)
Employment
Source: Self-asserted source
Felicidad Aguado

Education and qualifications (1)

Universidad de Santiago de Compostela: Santiago de Compostela, Galicia, ES

1979 to 1984 | Licenciatura en Matemáticas
Education
Source: Self-asserted source
Felicidad Aguado

Works (9)

Problemas resueltos de Combinatoria. Laboratorio con SageMath

Paraninfo
2018 | Book
Source: Self-asserted source
Felicidad Aguado

Forgetting Auxiliary Atoms in Forks

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017.
2017 | Conference paper
Source: Self-asserted source
Felicidad Aguado

Temporal Equilibrium Logic with past operators

Journal of Applied Non-Classical Logics
2017 | Journal article
DOI: 10.1080/11663081.2018.1427987
Source: Self-asserted source
Felicidad Aguado

Temporal logic programs with variables

TPLP
2017 | Journal article
DOI: 10.1017/S1471068416000570
Source: Self-asserted source
Felicidad Aguado

Verification for ASP denotational semantics: A case study using the PVS theorem prover

Logic Journal of the IGPL
2017 | Journal article
DOI: 10.1093/jigpal/jzw060
Source: Self-asserted source
Felicidad Aguado

A denotational semantics for equilibrium logic

TPLP
2015 | Journal article
DOI: 10.1017/S1471068415000277
Source: Self-asserted source
Felicidad Aguado

Teoría de grafos. Ejercicios resueltos y propuestos. Laboratorio con Sage

Paraninfo
2014 | Book
Source: Self-asserted source
Felicidad Aguado

Integrating Temporal Extensions of Answer Set Programming

Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
2013 | Conference paper
DOI: 10.1007/978-3-642-40564-8\_3
Source: Self-asserted source
Felicidad Aguado

Temporal equilibrium logic: a survey

Journal of Applied Non-Classical Logics
2013 | Journal article
DOI: 10.1080/11663081.2013.798985
Source: Self-asserted source
Felicidad Aguado
How many people are using ORCID?