Gilberto Pérez

32 papers A* 1A 1B 4Journal 21Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming.
Theory Pract. Log. Program.
Felicidad Aguado, Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Concepción Vidal
2025 J jnl
Comparing Non-minimal Semantics for Disjunction in Answer Set Programming.
CoRR
Felicidad Aguado, Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Concepción Vidal
2024 J jnl
Syntactic ASP forgetting with forks.
Artif. Intell.
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2023 J jnl
Linear-Time Temporal Answer Set Programming.
Theory Pract. Log. Program.
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
2022 J jnl
A polynomial reduction of forks into logic programs.
Artif. Intell.
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2022 B conf
Syntactic ASP Forgetting with Forks.
LPNMR
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2021 J jnl
Explainable Machine Larning for liver transplantation.
CoRR
Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Francisco Suárez
2020 A conf
Explicit Negation in Linear-Dynamic Equilibrium Logic.
ECAI
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal
2020 A* conf
Forgetting Auxiliary Atoms in Forks (Extended Abstract).
IJCAI
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2020 J jnl
Temporal Answer Set Programming.
CoRR
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
2019 — conf
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation.
ICLP Technical Communications
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez
2019 J jnl
Equilibrium graphs.
Ann. Math. Artif. Intell.
Pedro Cabalar, Carlos Pérez, Gilberto Pérez
2019 J jnl
Forgetting auxiliary atoms in forks.
Artif. Intell.
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019 J jnl
Revisiting Explicit Negation in Answer Set Programming.
CoRR
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019 J jnl
Revisiting Explicit Negation in Answer Set Programming.
Theory Pract. Log. Program.
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2017 — conf
Forgetting Auxiliary Atoms in Forks.
ASPOCP@LPNMR
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2017 J jnl
Temporal Equilibrium Logic with past operators.
J. Appl. Non Class. Logics
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
2017 J jnl
Temporal logic programs with variables.
Theory Pract. Log. Program.
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez
2017 J jnl
Verification for ASP denotational semantics: A case study using the PVS theorem prover.
Log. J. IGPL
Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
2016 J jnl
Equilibrium Graphs.
CoRR
Pedro Cabalar, Carlos Pérez, Gilberto Pérez
2016 J jnl
Temporal Logic Programs with Variables.
CoRR
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
2015 J jnl
A Denotational Semantics for Equilibrium Logic.
CoRR
Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
2015 J jnl
A denotational semantics for equilibrium logic.
Theory Pract. Log. Program.
Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
2013 B conf
Integrating Temporal Extensions of Answer Set Programming.
LPNMR
Felicidad Aguado, Gilberto Pérez, Concepción Vidal
2013 J jnl
Temporal equilibrium logic: a survey.
J. Appl. Non Class. Logics
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
2012 — conf
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL.
NASA Formal Methods
Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz
2012 — conf
Paving the Way for Temporal Grounding.
ICLP (Technical Communications)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
2011 J jnl
Crossover operators for permutations equivalence between position and order-based crossover.
Log. J. IGPL
Concepción Vidal, Gilberto Pérez, Felicidad Aguado, José María Molinelli
2011 B conf
Loop Formulas for Splitable Temporal Logic Programs.
LPNMR
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
2008 J jnl
Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator.
J. Formaliz. Reason.
Concepción Vidal, Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez
2008 B conf
Strongly Equivalent Temporal Logic Programs.
JELIA
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
2007 — conf
Certified Genetic Algorithms: Crossover Operators for Permutations.
EUROCAST
Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez, Concepción Vidal, Ana María Vieites