Certified Genetic Algorithms: Crossover Operators for Permutations. - Felicidad Aguado; José Luis Doncel; José María Molinelli; Gilberto Pérez 001; Concepción Vidal; Ana María Vieites (EUROCAST, 2007)

Strongly Equivalent Temporal Logic Programs. - Felicidad Aguado; Pedro Cabalar; Gilberto Pérez 001; Concepción Vidal (JELIA, 2008)

Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator. - Concepción Vidal; Felicidad Aguado; José Luis Doncel; José María Molinelli; Gilberto Pérez 001 (J. Formaliz. Reason., 2008)

Loop Formulas for Splitable Temporal Logic Programs. - Felicidad Aguado; Pedro Cabalar; Gilberto Pérez 001; Concepción Vidal (LPNMR, 2011)

Crossover operators for permutations equivalence between position and order-based crossover. - Concepción Vidal; Gilberto Pérez 001; Felicidad Aguado; José María Molinelli (Log. J. IGPL, 2011)

Paving the Way for Temporal Grounding. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Concepción Vidal (ICLP (Technical Communications), 2012)

Integrating Temporal Extensions of Answer Set Programming. - Felicidad Aguado; Gilberto Pérez 001; Concepción Vidal (LPNMR, 2013)

Temporal equilibrium logic: a survey. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Concepción Vidal (J. Appl. Non Class. Logics, 2013)

A denotational semantics for equilibrium logic. - Felicidad Aguado; Pedro Cabalar; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Theory Pract. Log. Program., 2015)

Verification for ASP denotational semantics: A case study using the PVS theorem prover. - Felicidad Aguado; Pablo Ascariz; Pedro Cabalar; Gilberto Pérez 001; Concepción Vidal (Log. J. IGPL, 2017)

Temporal Equilibrium Logic with past operators. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Concepción Vidal (J. Appl. Non Class. Logics, 2017)

Temporal logic programs with variables. - Felicidad Aguado; Pedro Cabalar; Gilberto Pérez 001; Concepción Vidal; Martín Diéguez (Theory Pract. Log. Program., 2017)

Forgetting auxiliary atoms in forks. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Artif. Intell., 2019)

A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; Brais Muñiz; Gilberto Pérez 001; Francisco Suárez (ICLP Technical Communications, 2019)

Revisiting Explicit Negation in Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Theory Pract. Log. Program., 2019)

Explicit Negation in Linear-Dynamic Equilibrium Logic. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; Gilberto Pérez 001; Concepción Vidal (ECAI, 2020)

Forgetting Auxiliary Atoms in Forks (Extended Abstract). - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (IJCAI, 2020)

Temporal Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Torsten Schaub; Anna Schuhmann; Concepción Vidal (CoRR, 2020)

A polynomial reduction of forks into logic programs. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Artif. Intell., 2022)

Linear-Time Temporal Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Torsten Schaub; Anna Schuhmann; Concepción Vidal (Theory Pract. Log. Program., 2023)

Syntactic ASP forgetting with forks. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Artif. Intell., 2024)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Brais Muñiz; Gilberto Pérez 001; Concepción Vidal (CoRR, 2025)