Dra. María Felicidad Aguado Martín  

Titular de universidad (TIT-UN)

Departamento Computación
Área Álgebra
Investigación  Grupo de investigación Information Retrieval Lab
Líneas de investigación No figuran en el gestor curricular de la UDC (SUXI).
Palabras clave Answer Set Programming, Knowledge Representation, NonMonotonic Reasoning, Formal Verification
Contacto Directorio de la UDC

Docencia

Docencia impartida

En este apartado se muestra la docencia impartida en grados, másteres y resto de estudios oficiales en los últimos 6 años.

Asignatura y estudios en la que se imparte Horas totales
Álgebra
Grado en Ingeniería Informática
90
Algoritmos
Grado en Ingeniería Informática
10
Matemática Discreta
Grado en Ingeniería Informática
90
Asignatura y estudios en la que se imparte Horas totales
Álgebra 92
Algoritmos 9
Matemática Discreta 90
Asignatura y estudios en la que se imparte Horas totales
Álgebra
Grado en Ingeniería Informática
75
Matemática Discreta
Grado en Ingeniería Informática
120
Asignatura y estudios en la que se imparte Horas totales
Álgebra
Grado en Ingeniería Informática
80
Matemática Discreta
Grado en Ingeniería Informática
120
Asignatura y estudios en la que se imparte Horas totales
Álgebra
Grado en Ingeniería Informática
114
Matemática Discreta
Grado en Ingeniería Informática
103
Asignatura y estudios en la que se imparte Horas totales
Álgebra
Grado en Ingeniería Informática
95
Matemática Discreta
Grado en Ingeniería Informática
135

Tutorías definidas por el/la docente para el curso académico 2017/2018.

Facultad de Informática

Cuatrimestre Día Lugar
Primer cuatrimestre miércoles
11:00 a 13:30
despacho
Primer cuatrimestre jueves
11:00 a 12:30
despacho
Segundo cuatrimestre miércoles
10:30 a 13:30
despacho
Segundo cuatrimestre jueves
12:30 a 13:30
despacho
Segunda oportunidad miércoles
10:30 a 12:30
despacho

Trabajos de fin de grado y máster

No figuran proyectos fin de grado o máster dirigidos por el/la docente desde el año 2013

Resultados de investigación

Puede consultar los méritos de investigación seleccionando un tipo de mérito y el año.

RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS (TARDIS)

Entidad financiadora Ministerio de Economía y Competitividad (MINECO)
Investigadores principales Pedro Cabalar Fernández
Tipo Proyecto Programas Nacionales
Fechas Desde 01/01/2018 a 31/12/2020

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

Entidad financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principales M. G. Penedo
Tipo Proyecto Programas Autonomicos
Fechas Desde 01/01/2016 a 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)"

Entidad financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principales Manuel Vilares Ferro
Tipo Proyecto Programas Autonomicos
Fechas Desde 01/01/2014 a 31/12/2015

MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS

Entidad financiadora Ministerio de Economía y Competitividad (MINECO)
Investigadores principales José Pedro Cabalar Fernández
Tipo Proyecto Programas Nacionales
Fechas Desde 01/01/2014 a 31/12/2016

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

Entidad financiadora Ministerio de Economía y Competitividad
Tipo Proyecto Otros Programas
Fechas Desde 01/01/2010 a 31/12/2012

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

Entidad financiadora Dirección Xeral de Investigación, Desenvolvemento e Innovación
Tipo Proyecto Otros Programas
Fechas Desde 01/01/2008 a 31/10/2011

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

Tipo Proyecto Otros Programas
Fechas Desde 01/10/2006 a 30/09/2009

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

Tipo Proyecto Otros Programas
Fechas Desde 01/10/2006 a 30/09/2009

Sistema médico distribuído basado en XML

Entidad financiadora Ministerio de Ciencia y Tecnología
Investigadores principales Manuel Francisco González Penedo
Tipo Proyecto Programas Nacionales
Fechas Desde 03/12/2003 a 02/12/2006

Sistema Distribuído para Medida del Calibre Retiniano (SIDMECAR)

Entidad financiadora Comisión Interministerial de Ciencia y Tecnología (CICYT)
Investigadores principales Manuel Francisco González Penedo
Tipo Proyecto Programas Nacionales
Fechas Desde 01/12/2003 a 30/11/2006

Representación de coalgebras y categorías derivadas

Entidad financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proyecto Otros Programas
Fechas Desde 25/08/2000 a 25/08/2002

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

Tipo Proyecto Otros Programas
Fechas Desde 06/05/1999 a 06/05/2000

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

Entidad financiadora Dirección Xeral de Universidades
Tipo Proyecto Otros Programas
Fechas Desde 24/10/1996 a 24/10/1998

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

Entidad financiadora Dirección Xeral de Universidades
Investigadores principales José Luis Freire Nistal
Tipo Proyecto Otros Programas
Fechas Desde 01/01/1994 a 31/12/1995

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

Entidad financiadora Consellería de Educación e Ordenación Universitaria
Investigadores principales Antonio Ángel Blanco Ferro
Tipo Proyecto Programas Autonomicos
Fechas Desde 07/04/1994 a 07/04/1997

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

Entidad financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proyecto Otros Programas

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ágs. 195 a 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ágs. 226 a 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ágs. 161 a 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ágs. 620 a 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ágs. 2 a 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ágs. 23 a 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ágs. 405 a 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ágs. 80 a 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ágs. 8 a 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ágs. 25 a 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ágs. 282 a 289)

On the naturality of the iteration and recursive specifications

Autores José Luis Freire Nistal, Mª Felicidad Aguado Martín, F. Alonso Amo
Revista APPLIED MATHEMATICS AND COMPUTATION Vol. 58 Núm. 1 (págs. 1 a 18)

On the Kleisli Funtors and Functional Completeness

Autores José Luis Freire Nistal, Mª Felicidad Aguado Martín
Revista TECHNICAL REPORT - DEPARTMENT OF COMPUTER SCIENCE Vol. 1 Núm. - (págs. 0 a 0)

Naturality of the conditional and the recurison

Autores José Luis Freire Nistal, Mª Felicidad Aguado Martín
Revista INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS Vol. 35 (págs. 7 a 14)
DOI https://doi.org/10.1080/00207169008803886

Problemas resueltos de Combinatoria. Laboratorio con SageMath

Autores Felicidad Aguado, Felipe Gago Couso, Gilberto Pérez Vega, Concepción Vidal Martín, 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 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)

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 Mª Felicidad Aguado Martín, Pablo Fernández Ascariz, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Lugar Rota (España)

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)