Gilberto Pérez

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 17

Top Venues

CoRR

Theory Pract. Log. Program.

J. Appl. Non Class. Logics

Ann. Math. Artif. Intell.

University of São Paulo, Brazil (PHD)

Education History

University of São Paulo, Brazil

PHD

Publications

Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Francisco Suárez
Explainable Machine Larning for liver transplantation. CoRR (2021)
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)
Pedro Cabalar, Carlos Pérez, Gilberto Pérez
Equilibrium graphs. Ann. Math. Artif. Intell. 86 (1-3) (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)
Pedro Cabalar, Carlos Pérez, Gilberto Pérez
Equilibrium Graphs. 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)
Gilberto Pérez, Aline Dalla Rosa, Alberto Medeiros Jr., Michelle Comar
Trends in the Use of Mobile Payment in Brazil: An Analysis Using the Delphi Method. CONF-IRM (2013)
Felicidad Aguado, Gilberto Pérez, Concepción Vidal
Integrating Temporal Extensions of Answer Set Programming. LPNMR (2013)
Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods (2012)
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)

Gilberto Pérez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gilberto Pérez