| Department | Computer Science and Information Technologies |
| Knowledgment area | Algebra |
| Research | Research group Information Retrieval Lab |
| Research lines | - 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. |
| Keywords | Verificación Formal, Métodos Formales, Teoría de Prueba, Lógica Intucionista, Answer Set Programming (ASP). |
| Contacto | UDC directory |
| Orcid id0000-0001-6269-6101 Scopus55418023500 | |
This section shows the teaching given in degrees, masters and other officers studies in last 6 years.
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
| Algebra | Core | 0 | 65 |
| Discrete Mathematics | Core | 0 | 84 |
| Discrete Mathematics | Core | 0 | 15 |
| Discrete Mathematics | Core | 0 | 5 |
| Logic | Core | 0 | 5 |
| Software Verification and Validation | Optional | 0 | 42 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 30 |
|
Algebra
Degree in Artificial Intelligence
|
Core | 0 | 22 |
|
Algorithms
Degree in Computer Engineering
|
Compulsory | 0 | 12 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 108 |
|
Discrete Mathematics
Degree in Data Science and Engineering
|
Core | 0 | 20 |
|
Discrete Mathematics
Degree in Artificial Intelligence
|
Core | 0 | 5 |
|
Final Year Dissertation. Mention in Information Technology
Degree in Computer Engineering
|
Compulsory | 0 | 3 |
|
Logic
Degree in Artificial Intelligence
|
Core | 0 | 5 |
|
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 32 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 48 |
|
Algorithms
Degree in Computer Engineering
|
Compulsory | 0 | 8 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 90 |
|
Discrete Mathematics
Degree in Data Science and Engineering
|
Core | 0 | 30 |
|
Logic
Degree in Artificial Intelligence
|
Core | 0 | 5 |
|
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 42 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 46 |
|
Algorithms
Degree in Computer Engineering
|
Compulsory | 0 | 10 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 93 |
|
Discrete Mathematics
Degree in Data Science and Engineering
|
Core | 0 | 30 |
|
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 42 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 40 |
|
Algorithms
Degree in Computer Engineering
|
Compulsory | 0 | 12 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 89 |
|
Discrete Mathematics
Degree in Data Science and Engineering
|
Core | 0 | 30 |
|
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 35 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 34 |
|
Algorithms
Degree in Computer Engineering
|
Compulsory | 0 | 11 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 80 |
|
Discrete Mathematics
Degree in Data Science and Engineering
|
Core | 0 | 60 |
|
Final Year Dissertation. Mention in Software Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 4 |
|
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 35 |
Defined tutoring by teacher for 2024/2025 academic course.
| Quarter | Day | Site |
|---|---|---|
| 1st quarter |
Monday
08:30 a 10:30 |
Despacho 4.1 |
| 1st quarter |
Tuesday
11:30 a 12:30 |
Despacho 4.1 |
| 1st quarter |
Tuesday
09:30 a 10:30 |
Despacho 4.1 |
| 2nd quarter |
Monday
08:30 a 10:30 |
Despacho 4.1 |
Directed or codirected by current teacher since 2013 year.
Select merit type and year to query research merits.
Generación de Explicaciones en Sistemas Inteligentes Híbridos para Asegurar la Fiabilidad
| Funding entity | AEI, Agencia Estatal de Investigación |
| Main researches | Cabalar Fernández, José Pedro (IP1)/ Santos Reyes, José (IP2) |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/09/2024 to 31/08/2028 |
AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS.GPC 2022
| Funding entity | Consellería de Educación |
| Main researches | Álvaro Barreiro García |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2022 to 20/11/2024 |
Razonamiento Automático y Aprendizaje con Inducción de Conocimiento
| Funding entity | Ministerio de Ciencia e Innovación |
| Main researches | Pedro Cabalar Fernández/ José Santos Reyes |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/09/2021 to 31/08/2024 |
AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS. GPC
| Funding entity | CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL |
| Main researches | ÁLVARO BARREIRO GARCÍA |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2019 to 20/11/2021 |
RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS (TARDIS)
| Funding entity | Ministerio de Economía y Competitividad (MINECO) |
| Main researches | Pedro Cabalar Fernández |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/01/2018 to 31/12/2020 |
Red de investigación IEMath-Galicia
| Funding entity | Xunta de Galicia |
| Main researches | Juan José Nieto Roig |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2017 to 31/12/2018 |
Axudas para a acreditación, estruturación e mellora de centros de investigación singulares e agrupacións estratéxicas consolidadas do Sistema universitario de Galicia, cofinanciadas polo Fondo Europeo de Desenvolvemento Rexional (Feder), no marco do programa operativo Feder Galicia 2014-2020
| Funding entity | Consellería de Cultura, Educación e Ordenación Universitaria |
| Main researches | Manuel F. González Penedo |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2016 to 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)"
| Funding entity | Consellería de Cultura, Educación e Ordenación Universitaria |
| Main researches | Manuel Vilares Ferro |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2014 to 31/12/2015 |
Red de Investigación IEMath-Galicia
| Funding entity | Consellería de Cultura, Educación e Ordenación Universitaria |
| Main researches | Juan José Nieto Roig |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2014 to 31/12/2015 |
MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS
| Funding entity | Ministerio de Economía y Competitividad (MINECO) |
| Main researches | José Pedro Cabalar Fernández |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/01/2014 to 31/12/2016 |
Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-
| Funding entity | Ministerio de Economía y Competitividad |
| Main researches | José Pedro Cabalar Fernández |
| Type | Proyecto Otros Programas |
| Dates | From 01/01/2010 to 31/12/2013 |
Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.
| Funding entity | Dirección Xeral de Investigación, Desenvolvemento e Innovación |
| Type | Proyecto Otros Programas |
| Dates | From 01/01/2008 to 31/10/2011 |
Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
| Type | Proyecto Otros Programas |
| Dates | From 01/10/2006 to 30/09/2009 |
LÓGICAS, DEDUCCIÓN Y PROGRAMACIÓN PARA SISTEMAS INTELIGENTES (AMPLIACIONES Y APLICACIONES DE ANSWER SET PROGRAMMING)
| Type | Proyecto Otros Programas |
| Dates | From 01/10/2006 to 30/09/2009 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Funding entity | Ministerio de Ciencia y Tecnología |
| Main researches | Víctor M. Gulías Fernández |
| Type | Proyecto Programas Nacionales |
| Dates | From 05/11/2002 to 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
| Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Main researches | José María Cardesín Díaz |
| Type | Proyecto Programas Autonomicos |
| Dates | From 08/10/2002 to 08/10/2005 |
Representación de coalgebras y categorías derivadas
| Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Type | Proyecto Otros Programas |
| Dates | From 25/08/2000 to 25/08/2002 |
Sócrates (Sistema objetual y cooperativo para la racionalización de la actividad y la tecnología de la empresa )
| Funding entity | Dirección Xeral de Universidades |
| Type | Proyecto Otros Programas |
| Dates | From 24/10/1996 to 24/10/1998 |
Sistema de cálculo simbólico con arquitectura cliente/servidor y núcleo funcional
| Funding entity | Dirección Xeral de Universidades |
| Main researches | José Luis Freire Nistal |
| Type | Proyecto Otros Programas |
| Dates | From 01/01/1994 to 31/12/1995 |
Generación óptima de conexiones en mapas: aplicación en redes de distribución.
| Funding entity | Consellería de Educación e Ordenación Universitaria |
| Main researches | Antonio Ángel Blanco Ferro |
| Type | Proyecto Programas Autonomicos |
| Dates | From 07/04/1994 to 07/04/1997 |
Verification for ASP denotational semantics: A case study using the PVS theorem prover
| Authors | Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Journal | LOGIC JOURNAL OF THE IGPL Vol. 25 Num. 2 (pages 195 to 213) |
| DOI | https://doi.org/10.1093/jigpal/jzw060 |
Temporal logic programs with variables
| Authors | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
| Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Num. 2 (pages 226 to 243) |
| DOI | https://doi.org/10.1017/s1471068416000570 |
Temporal Equilibrium Logic with past operators
| Authors | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
| Journal | Journal of Applied Non-Classical Logics Vol. 27 Num. 3-4 (pages 161 to 177) |
| DOI | https://doi.org/10.1080/11663081.2018.1427987 |
A denotational semantics for equilibrium logic
| Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, David Pearce |
| Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Num. 4-5 (pages 620 to 634) |
| DOI | https://doi.org/10.1017/s1471068415000277 |
Temporal Equilibrium Logic: a survey
| Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez Lodeiro |
| Journal | Journal of Applied Non-Classical Logics Vol. 23 Num. 1-2 (pages 2 to 24) |
| DOI | https://doi.org/10.1080/11663081.2013.798985 |
Integrating Temporal Extensions of Answer Set Programming
| Authors | Felicidad Aguado, Gilberto Pérez, Concepción Vidal |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8148 (pages 23 to 35) |
| DOI | https://doi.org/10.1007/978-3-642-40564-8_3 |
Crossover operators for permutations equivalence between position and order-based crossover
| Authors | Concepción Vidal, Gilberto Pérez, Felicidad Aguado, Lin, J |
| Journal | LOGIC JOURNAL OF THE IGPL Vol. 19 Num. 2 (pages 405 to 414) |
Loop Formulas for Splitable Temporal Logic Programs
| Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (pages 80 to 92) |
| DOI | https://doi.org/10.1007/978-3-642-20895-9_9 |
Strongly equivalent temporal logic programs
| Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5293 (pages 8 to 20) |
Genetic algorithms in Coq: Generalization and formalization of the crossover operator
| Authors | Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal |
| Journal | Journal of Formalized Reasoning (pages 25 to 37) |
Certified Genetic Algorithms: Crossover Operators for Permutations
| Authors | Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 282 to 289) |
Minimal Logic Programs
| Authors | Pedro Cabalar, Gilberto Pérez |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4670 (pages 104 to 118) |
Temporal Equilibrium Logic: a first approach
| Authors | Pedro Cabalar, Gilberto Pérez |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 241 to 248) |
TEORIA DE GRAFOS: EJERCICIOS RESUELTOS Y PROPUESTOS. LABORATORIO CON SAGE
| Authors | Concepción Vidal, Ana Maria Vieites Rodriguez, Felicidad Aguado, Gilberto Pérez, Manuel Ladra González, Felipe Gago Couso |
| Publishing | Ediciones Paraninfo S.A, Madrid (España) |
| ISBN | 978-84-283-3707-6 |
Generating commonsense explanations with Answer Set Programming
| Autor | Brais Muñiz Castro |
| Director/s | José Pedro Cabalar Fernández; Gilberto Pérez Vega |
| Scope | Facultad de Informática |
| Qualification | Sobresaliente Cum Laude |
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
International
| Authors | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
| Place | Espoo (Finlandia) |
Equilibrium Graphs
9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), workshop of ICLP 2016
International
| Authors | Pedro Cabalar, Carlos Pérez Ramil, Gilberto Pérez |
| Place | New York (Estados Unidos) |
A denotational semantics for equilibrium logic
International Conference of Logic Programming ICLP 2015
International
| Authors | Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal |
| Organization | Association for Logic Programming |
| Place | Cork (Irlanda) |
Loop formulas for splitable temporal logic programs
12th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR13
International
| Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Place | Coruña, A (España) |
Integrating Temporal Extensions of Answer Set Programming
12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13)
International
| Authors | Concepción Vidal, Felicidad Aguado, Gilberto Pérez |
| Place | Coruña, A (España) |
Paving the way for temporal grounding
28th International Conference on Logic Programming
ICLP 2012
International
| Authors | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
| Organization | International Conference on Logic Programming ICLP |
| Place | Budapest (Hungría) |
Fórmulas de ciclo para programas lógicos temporales: una primera aproximación
RSME 11
National
| Authors | Gilberto Pérez, Felicidad Aguado, Concepción Vidal |
| Organization | Real Sociedad Matemática Española |
| Place | Á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)
International
| Authors | Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal |
| Place | 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
International
| Authors | Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez |
| Place | 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
International
| Authors | Gilberto Pérez, José Luis Freire Nistal, Lin, J |
| Place | Cali (Colombia) |
Formalización de las Bases de Gröbner en Coq
Primer Congreso Conjunto de Matemáticas RSME - SCM - SEIO - SEMA. MAT.ES
National
| Authors | Gilberto Pérez |
| Place | Valencia (España) |
Lógica, matemática, deducción automática
Primer Congreso Anual de la Real Sociedad Matemática Española
National
| Authors | Gilberto Pérez, José María Barja Pérez |
| Place | Madrid (España) |
Academic or management positions held by teacher.