Dra. María Felicidad Aguado Martín  

Titular de universidade (TIT-UN)

Departamento Ciencias da Computación e Tecnoloxías da Información
Área Álxebra
Investigación  Grupo de investigación Information Retrieval Lab
Liñas de investigación Representación Lógica del Conocimiento. Programación Lógica. Razonamiento no monótono. Verificación formal.
Palabras chave Answer Set Programming, Knowledge Representation, NonMonotonic Reasoning, Formal Verification
Contacto Directorio da UDC
Orcid id0000-0002-4334-9267 Scopus23472071600

Docencia

Docencia impartida

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

Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos 0 10
Álxebra 0 52
Lóxica 0 5
Matemática Discreta 0 63
Matemática Discreta 0 30
Matemática Discreta 0 60
Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos
Grao en Enxeñaría Informática
0 12
Álxebra
Grao en Enxeñaría Informática
0 60
Lóxica
Grao en Intelixencia Artificial
0 5
Matemática Discreta
Grao en Enxeñaría Informática
0 74
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
0 30
Matemática Discreta
Grao en Intelixencia Artificial
0 45
Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos
Grao en Enxeñaría Informática
0 10
Álxebra
Grao en Enxeñaría Informática
0 90
Matemática Discreta
Grao en Enxeñaría Informática
0 93
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
0 30
Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos
Grao en Enxeñaría Informática
0 14
Álxebra
Grao en Enxeñaría Informática
0 90
Matemática Discreta
Grao en Enxeñaría Informática
0 95
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
0 30
Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos
Grao en Enxeñaría Informática
0 16
Álxebra
Grao en Enxeñaría Informática
0 75
Matemática Discreta
Grao en Enxeñaría Informática
0 95
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
0 30
Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos
Grao en Enxeñaría Informática
0 10
Álxebra
Grao en Enxeñaría Informática
0 90
Matemática Discreta
Grao en Enxeñaría Informática
0 90

Titorías definidas polo/a docente para o curso académico 2023/2024.

Facultade de Informática

Cuadrimestre Día Lugar
Primeiro cuadrimestre luns
11:30 a 13:30
D 4.08
Primeiro cuadrimestre mércores
11:30 a 13:30
D 4.08
Segundo cuadrimestre martes
12:30 a 14:00
D 4.08
Segundo cuadrimestre martes
11:00 a 11:30
D 4.08
Segundo cuadrimestre xoves
11:00 a 11:30
D 4.08
Segundo cuadrimestre xoves
12:30 a 14:00
D 4.08

Traballos fin de grao e máster

Non figuran proxectos fin de grao ou máster dirixidos polo/a docente desde o ano 2013

Resultados da investigación

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

AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS.GPC 2022

Entidade financiadora Consellería de Educación
Investigadores principais Álvaro Barreiro García
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2022 ata 20/11/2024

Razonamiento Automático y Aprendizaje con Inducción de Conocimiento

Entidade financiadora Ministerio de Ciencia e Innovación
Investigadores principais Pedro Cabalar Fernández/ José Santos Reyes
Tipo Proxecto Programas Nacionales
Datas Desde 01/09/2021 ata 31/08/2024

AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS. GPC

Entidade financiadora CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL
Investigadores principais ÁLVARO BARREIRO GARCÍA
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2019 ata 20/11/2021

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 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

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principais Manuel F. González 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

Red de Investigación IEMath-Galicia

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principais Juan José Nieto Roig
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
Investigadores principais José Pedro Cabalar Fernández
Tipo Proxecto Outros Programas
Datas Desde 01/01/2010 ata 31/12/2013

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

Sistema médico distribuído basado en XML

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principais Manuel Francisco González Penedo
Tipo Proxecto Programas Nacionales
Datas Desde 03/12/2003 ata 02/12/2006

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

Localización e t-estructuras na categoria derivada asociada a un dígrafo.

Tipo Proxecto Outros Programas
Datas Desde 06/05/1999 ata 06/05/2000

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

La Epistasis Generalizada y las funciones difíciles de optimizar.

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas

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

Autores Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
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 Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
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 Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
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 Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, 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 Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, 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 Felicidad Aguado, Gilberto Pérez, Concepción Vidal
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, Gilberto Pérez, Felicidad Aguado, Lin, J
Revista LOGIC JOURNAL OF THE IGPL Vol. 19 Núm. 2 (páxs. 405 ata 414)

Loop Formulas for Splitable Temporal Logic Programs

Autores Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
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 programs

Autores Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
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 Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal
Revista Journal of Formalized Reasoning (páxs. 25 ata 37)

Certified Genetic Algorithms: Crossover Operators for Permutations

Autores Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 282 ata 289)

On the naturality of the iteration and recursive specifications

Autores José Luis Freire Nistal, Felicidad Aguado, F. Alonso Amo
Revista APPLIED MATHEMATICS AND COMPUTATION Vol. 58 Núm. 1 (páxs. 1 ata 18)

On the Kleisli Funtors and Functional Completeness

Autores José Luis Freire Nistal, Felicidad Aguado
Revista TECHNICAL REPORT - DEPARTMENT OF COMPUTER SCIENCE Vol. 1 Núm. - (páxs. 0 ata 0)

Naturality of the conditional and the recurison

Autores José Luis Freire Nistal, Felicidad Aguado
Revista INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS Vol. 35 (páxs. 7 ata 14)
DOI https://doi.org/10.1080/00207169008803886

Problemas resueltos de Combinatoria. Laboratorio con SageMath

Autores Felicidad Aguado, Felipe Gago Couso, Gilberto Pérez, Concepción Vidal, Manuel Ladra González, Ana Maria Vieites Rodriguez
Editorial Ediciones Paraninfo, SA, Madrid (España)
ISBN 978-84-283-4074-8

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

Autores Concepción Vidal, Ana Maria Vieites Rodriguez, Felicidad Aguado, Gilberto Pérez, 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 Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Lugar Espoo (Finlandia)

Formal verification for ASP: a case study using the PVS theorem prover
CMMSE 2015 (15th Int. Conf. on Computational and Mathematical Methods in Science and Engineering
Internacional

Autores Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Lugar Rota (España)

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

Autores Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
Organizador Association for Logic Programming
Lugar Cork (Irlanda)

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

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

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

Autores Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
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, Felicidad Aguado, Concepción Vidal
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 Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal
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 Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Lugar San José (Costa Rica)

Cargos

Cargos académicos ou de xestión para o/a docente.

Xunta da Facultade de Informática

PDI (Membros Natos)

Desde 15/03/2023.

Consello do Departamento Ciencias da Computación e Tecnoloxías da Información

PDI (Membros Natos)

Desde 15/03/2023.

Xunta da Facultade de Informática

PDI (Membros Natos)

Desde 10/03/2021 ata 14/03/2023.

Consello do Departamento Ciencias da Computación e Tecnoloxías da Información

PDI (Membros Natos)