Dr. Gilberto Pérez Vega  

Titular de escola universitaria (doutor/a) (TIT-EU DR)

Departamento Computación
Área Álxebra
Investigación  Grupo de investigación Information Retrieval Lab
Liñas de investigación - Métodos formales (verificación, certificación y formalización), aplicados a sistemas de control de software, algoritmos genéticos, protocolos y semántica denotacional. - Lógica de Equilibrio (una caracterización de Answer Set programming para programación lógica) con la inclusión de operadores modales temporales: Temporal Equilibrium Logic, que permite formalismos más expresivos para el razonamiento no monótono.
Palabras chave Verificación Formal, Métodos Formales, Teoría de Prueba, Lógica Intucionista, Answer Set Programming (ASP).
Contacto Directorio da UDC

Docencia

Docencia impartida

Neste apartado móstrase a docencia impartida en graos, mestrados e resto de titulacións oficiais ata os últimos 6 anos.

Materia e estudos en que se imparte Horas totais
Algoritmos
Grao en Enxeñaría Informática
12
Álxebra
Grao en Enxeñaría Informática
89
Matemática Discreta
Grao en Enxeñaría Informática
120
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
4
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
35
Materia e estudos en que se imparte Horas totais
Algoritmos 10
Álxebra 105
Matemática Discreta 100
Traballo Fin de Grao. Mención en Computación 4
Validación e Verificación do Software
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
35
Materia e estudos en que se imparte Horas totais
Álxebra
Grao en Enxeñaría Informática
120
Matemática Discreta
Grao en Enxeñaría Informática
73
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
35
Materia e estudos en que se imparte Horas totais
Álxebra
Grao en Enxeñaría Informática
88
Matemática Discreta
Grao en Enxeñaría Informática
120
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
42
Materia e estudos en que se imparte Horas totais
Matemática Discreta
Grao en Enxeñaría Informática
160
Validación e Verificación do Software
Grao en Enxeñaría Informática
39
Materia e estudos en que se imparte Horas totais
Matemática Discreta
Grao en Enxeñaría Informática
155
Validación e Verificación do Software
Grao en Enxeñaría Informática
32
Validación e Verificación do Software
Grao en Enxeñaría Informática. Curso Ponte
17

Titorías definidas polo/a docente para o curso académico 2017/2018.

Facultade de Informática

Cuadrimestre Día Lugar
Primeiro cuadrimestre luns
12:30 a 14:30
Despacho 4.01
Primeiro cuadrimestre martes
08:30 a 10:30
Despacho 4.01

Traballos fin de grao e mestrado

Dirixidos ou codirixidos polo/a docente desde o ano 2013.

Ferramenta de Razoamento Diagramático para Programación Lóxica
Un sistema de tipado para Answer Set programming con funciones.

Resultados da investigación

Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.

RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS (TARDIS)

Entidade financiadora Ministerio de Economía y Competitividad (MINECO)
Investigadores principais Pedro Cabalar Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2018 ata 31/12/2020

Axudas para acreditación, estructuración e mellora de Centros de Investigación Singulares do Sistema Universitario de Galicia

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principais M. G. Penedo
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2016 ata 30/11/2019

Ayudas para la consolidación y estructuración de unidades de investigación competitivas. Modalidad de Redes: "Rede de Procesamento da Linguaxe e Recuperación da Información (REDPLIR)"

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principais Manuel Vilares Ferro
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2014 ata 31/12/2015

MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS

Entidade financiadora Ministerio de Economía y Competitividad (MINECO)
Investigadores principais José Pedro Cabalar Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2014 ata 31/12/2016

Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-

Entidade financiadora Ministerio de Economía y Competitividad
Tipo Proxecto Outros Programas
Datas Desde 01/01/2010 ata 31/12/2012

Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.

Entidade financiadora Dirección Xeral de Investigación, Desenvolvemento e Innovación
Tipo Proxecto Outros Programas
Datas Desde 01/01/2008 ata 31/10/2011

Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)

Tipo Proxecto Outros Programas
Datas Desde 01/10/2006 ata 30/09/2009

LÓGICAS, DEDUCCIÓN Y PROGRAMACIÓN PARA SISTEMAS INTELIGENTES (AMPLIACIONES Y APLICACIONES DE ANSWER SET PROGRAMMING)

Tipo Proxecto Outros Programas
Datas Desde 01/10/2006 ata 30/09/2009

Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 05/11/2002 ata 05/11/2005

Construyendo ciudad, habitando entre redes, formulando proyectos de vida: un modelo de simulación basado en una aplicación informática vía web

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Investigadores principais José María Cardesín Díaz
Tipo Proxecto Programas Autonomicos
Datas Desde 08/10/2002 ata 08/10/2005

Representación de coalgebras y categorías derivadas

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 25/08/2000 ata 25/08/2002

Sócrates (Sistema objetual y cooperativo para la racionalización de la actividad y la tecnología de la empresa )

Entidade financiadora Dirección Xeral de Universidades
Tipo Proxecto Outros Programas
Datas Desde 24/10/1996 ata 24/10/1998

Sistema de cálculo simbólico con arquitectura cliente/servidor y núcleo funcional

Entidade financiadora Dirección Xeral de Universidades
Investigadores principais José Luis Freire Nistal
Tipo Proxecto Outros Programas
Datas Desde 01/01/1994 ata 31/12/1995

Generación óptima de conexiones en mapas: aplicación en redes de distribución.

Entidade financiadora Consellería de Educación e Ordenación Universitaria
Investigadores principais Antonio Ángel Blanco Ferro
Tipo Proxecto Programas Autonomicos
Datas Desde 07/04/1994 ata 07/04/1997

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

Autores Mª Felicidad Aguado Martín, Pablo Fernández Ascariz, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Revista LOGIC JOURNAL OF THE IGPL Vol. 25 Núm. 2 (páxs. 195 ata 213)
DOI https://doi.org/10.1093/jigpal/jzw060

Temporal logic programs with variables

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Martín Diéguez Lodeiro, Gilberto Pérez Vega, Concepción Vidal Martín
Revista THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Núm. 2 (páxs. 226 ata 243)
DOI https://doi.org/10.1017/s1471068416000570

Temporal Equilibrium Logic with past operators

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Martín Diéguez Lodeiro, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Journal of Applied Non-Classical Logics Vol. 27 Núm. 3-4 (páxs. 161 ata 177)
DOI https://doi.org/10.1080/11663081.2018.1427987

A denotational semantics for equilibrium logic

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín, David Pearce
Revista THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Núm. 4-5 (páxs. 620 ata 634)
DOI https://doi.org/10.1017/s1471068415000277

Temporal Equilibrium Logic: a survey

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín, Martín Diéguez Lodeiro
Revista Journal of Applied Non-Classical Logics Vol. 23 Núm. 1-2 (páxs. 2 ata 24)
DOI https://doi.org/10.1080/11663081.2013.798985

Integrating Temporal Extensions of Answer Set Programming

Autores Mª Felicidad Aguado Martín, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Lecture Notes in Computer Science Vol. 8148 (páxs. 23 ata 35)
DOI https://doi.org/10.1007/978-3-642-40564-8_3

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

Autores Concepción Vidal Martín, Gilberto Pérez Vega, Mª Felicidad Aguado Martín, José Mª Molinelli Barba
Revista LOGIC JOURNAL OF THE IGPL Vol. 19 Núm. 2 (páxs. 405 ata 414)

Loop Formulas for Splitable Temporal Logic Programs

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Lecture Notes in Computer Science Vol. 6645 (páxs. 80 ata 92)
DOI https://doi.org/10.1007/978-3-642-20895-9_9

Strongly equivalent temporal logic problems

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Lecture Notes in Computer Science Vol. 5293 (páxs. 8 ata 20)

Genetic algorithms in Coq: Generalization and formalization of the crossover operator

Autores Mª Felicidad Aguado Martín, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Journal of Formalized Reasoning (páxs. 25 ata 37)

Certified Genetic Algorithms: Crossover Operators for Permutations

Autores Mª Felicidad Aguado Martín, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Revista Lecture Notes in Computer Science Vol. 4739 (páxs. 282 ata 289)

Minimal Logic Programs

Autores José Pedro Cabalar Fernández, Gilberto Pérez Vega
Revista Lecture Notes in Computer Science Vol. 4670 (páxs. 104 ata 118)

Temporal Equilibrium Logic: a first approach

Autores José Pedro Cabalar Fernández, Gilberto Pérez Vega
Revista Lecture Notes in Computer Science Vol. 4739 (páxs. 241 ata 248)

TEORIA DE GRAFOS: EJERCICIOS RESUELTOS Y PROPUESTOS. LABORATORIO CON SAGE

Autores Concepción Vidal Martín, Ana Maria Vieites Rodriguez, Mª Felicidad Aguado Martín, Gilberto Pérez Vega, Manuel Ladra González, Felipe Gago Couso
Editorial Ediciones Paraninfo S.A, Madrid (España)
ISBN 978-84-283-3707-6

Forgetting Auxiliary Atoms in Forks
10th Workshop on Answer Set Programming and Other Computing Paradigms, co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017
Internacional

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Jorge Fandiño, David Pearce, Gilberto Pérez Vega, Concepción Vidal Martín
Lugar Espoo (Finlandia)

Equilibrium Graphs
9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), workshop of ICLP 2016
Internacional

Autores José Pedro Cabalar Fernández, Carlos Pérez Ramil, Gilberto Pérez Vega
Lugar New York (Estados Unidos)

A denotational semantics for equilibrium logic
International Conference of Logic Programming ICLP 2015
Internacional

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, David Pearce, Gilberto Pérez Vega, Concepción Vidal Martín
Organizador Association for Logic Programming
Lugar Cork (Irlanda)

Loop formulas for splitable temporal logic programs
12th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR13
Internacional

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Lugar Coruña, A (España)

Integrating Temporal Extensions of Answer Set Programming
12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13)
Internacional

Autores Concepción Vidal Martín, Mª Felicidad Aguado Martín, Gilberto Pérez Vega
Lugar Coruña, A (España)

Paving the way for temporal grounding
28th International Conference on Logic Programming ICLP 2012
Internacional

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Martín Diéguez Lodeiro, Gilberto Pérez Vega, Concepción Vidal Martín
Organizador International Conference on Logic Programming ICLP
Lugar Budapest (Hungría)

Fórmulas de ciclo para programas lógicos temporales: una primera aproximación
RSME 11
Nacional

Autores Gilberto Pérez Vega, Mª Felicidad Aguado Martín, Concepción Vidal Martín
Organizador Real Sociedad Matemática Española
Lugar Ávila (España)

Crossover Operators for Permutations. Equivalence between Position and Order Based Crossover
9th International Conference Computational and Mathematical Methods in Science and Engineering (CMMSE 2009)
Internacional

Autores Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
Lugar Gijón (España)

Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional

Autores Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Lugar San José (Costa Rica)

Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional

Autores Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Lugar San José (Costa Rica)

Extracción de programas a partir de pruebas : Certificación de la Forma Normal de la Reducción de Polinomios
CLEI 2005. XXXI Conferencia Latinoamericana de Informática
Internacional

Autores Gilberto Pérez Vega, José Luis Freire Nistal, José Mª Molinelli Barba
Lugar Cali (Colombia)

Formalización de las Bases de Gröbner en Coq
Primer Congreso Conjunto de Matemáticas RSME - SCM - SEIO - SEMA. MAT.ES
Nacional

Autores Gilberto Pérez Vega
Lugar Valencia (España)

Lógica, matemática, deducción automática
Primer Congreso Anual de la Real Sociedad Matemática Española
Nacional

Autores Gilberto Pérez Vega, José María Barja Pérez
Lugar Madrid (España)