Gilberto Pérez

According to our database, Gilberto Pérez authored at least 25 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Syntactic ASP forgetting with forks.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Artif. Intell., January, 2024

2023

Linear-Time Temporal Answer Set Programming.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal

Theory Pract. Log. Program., 2023

2022

A polynomial reduction of forks into logic programs.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Artif. Intell., 2022

2021

Explainable Machine Larning for liver transplantation.

Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Francisco Suárez

CoRR, 2021

2020

Temporal Answer Set Programming.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal

CoRR, 2020

Forgetting Auxiliary Atoms in Forks (Extended Abstract).

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Explicit Negation in Linear-Dynamic Equilibrium Logic.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Revisiting Explicit Negation in Answer Set Programming.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Theory Pract. Log. Program., 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, Francisco Suárez

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Equilibrium graphs.

Pedro Cabalar, Carlos Pérez, Gilberto Pérez

Ann. Math. Artif. Intell., 2019

Forgetting auxiliary atoms in forks.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Artif. Intell., 2019

2017

Temporal logic programs with variables.

Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez

Theory Pract. Log. Program., 2017

Temporal Equilibrium Logic with past operators.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal

J. Appl. Non Class. Logics, 2017

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

Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal

Log. J. IGPL, 2017

2015

A denotational semantics for equilibrium logic.

Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal

Theory Pract. Log. Program., 2015

2013

Temporal equilibrium logic: a survey.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal

J. Appl. Non Class. Logics, 2013

Integrating Temporal Extensions of Answer Set Programming.

Felicidad Aguado, Gilberto Pérez, Concepción Vidal

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL.

Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz

Proceedings of the NASA Formal Methods, 2012

Paving the Way for Temporal Grounding.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Crossover operators for permutations equivalence between position and order-based crossover.

Concepción Vidal, Gilberto Pérez, Felicidad Aguado, José María Molinelli

Log. J. IGPL, 2011

Loop Formulas for Splitable Temporal Logic Programs.

Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

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

J. Formaliz. Reason., 2008

Strongly Equivalent Temporal Logic Programs.

Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007

Temporal Equilibrium Logic: A First Approach.

Pedro Cabalar, Gilberto Pérez Vega

Proceedings of the Computer Aided Systems Theory, 2007

Certified Genetic Algorithms: Crossover Operators for Permutations.

Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez, Concepción Vidal, Ana María Vieites

Proceedings of the Computer Aided Systems Theory, 2007