Felicidad Aguado

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 18

Top Topics

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

J. Appl. Non Class. Logics

Publications

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Syntactic ASP forgetting with forks. Artif. Intell. 326 (2024)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Linear-Time Temporal Answer Set Programming. Theory Pract. Log. Program. 23 (1) (2023)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
A polynomial reduction of forks into logic programs. Artif. Intell. 308 (2022)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Syntactic ASP Forgetting with Forks. LPNMR (2022)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal
Explicit Negation in Linear-Dynamic Equilibrium Logic. ECAI (2020)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting Auxiliary Atoms in Forks (Extended Abstract). IJCAI (2020)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Temporal Answer Set Programming. CoRR (2020)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revisiting Explicit Negation in Answer Set Programming. CoRR (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. ICLP Technical Communications (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revisiting Explicit Negation in Answer Set Programming. Theory Pract. Log. Program. 19 (5-6) (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting auxiliary atoms in forks. Artif. Intell. 275 (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR (2017)
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez
Temporal logic programs with variables. Theory Pract. Log. Program. 17 (2) (2017)
Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Verification for ASP denotational semantics: A case study using the PVS theorem prover. Log. J. IGPL 25 (2) (2017)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Temporal Equilibrium Logic with past operators. J. Appl. Non Class. Logics 27 (3-4) (2017)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Temporal Logic Programs with Variables. CoRR (2016)
Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
A Denotational Semantics for Equilibrium Logic. CoRR (2015)
Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
A denotational semantics for equilibrium logic. Theory Pract. Log. Program. 15 (4-5) (2015)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Temporal equilibrium logic: a survey. J. Appl. Non Class. Logics 23 (1-2) (2013)
Felicidad Aguado, Gilberto Pérez, Concepción Vidal
Integrating Temporal Extensions of Answer Set Programming. LPNMR (2013)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Paving the Way for Temporal Grounding. ICLP (Technical Communications) (2012)
Concepción Vidal, Gilberto Pérez, Felicidad Aguado, José María Molinelli
Crossover operators for permutations equivalence between position and order-based crossover. Log. J. IGPL 19 (2) (2011)
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Loop Formulas for Splitable Temporal Logic Programs. LPNMR (2011)
Concepción Vidal, Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez
Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator. J. Formaliz. Reason. 1 (1) (2008)
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Strongly Equivalent Temporal Logic Programs. JELIA (2008)
Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez, Concepción Vidal, A. Vieites
Certified Genetic Algorithms: Crossover Operators for Permutations. EUROCAST (2007)