PhD María Felicidad Aguado Martín  

(TIT-UN)

Department Computer Science
Knowledgment area Algebra
Research  Research group Information Retrieval Lab
Research lines No data available from Curriculum Management System at UDC. (SUXI).
Keywords Answer Set Programming, Knowledge Representation, NonMonotonic Reasoning, Formal Verification
Contacto UDC directory

Teaching

Subjects taught

This section shows the teaching given in degrees, masters and other officers studies in last 6 years.

Subject and involved studies Total hours
Algebra 75
Discrete Mathematics 120
Subject and involved studies Total hours
Algebra
Degree in Computer Engineering
80
Discrete Mathematics
Degree in Computer Engineering
120
Subject and involved studies Total hours
Algebra
Degree in Computer Engineering
114
Discrete Mathematics
Degree in Computer Engineering
103
Subject and involved studies Total hours
Algebra
Degree in Computer Engineering
95
Discrete Mathematics
Degree in Computer Engineering
135
Subject and involved studies Total hours
Algebra
Degree in Computer Engineering
100
Discrete Mathematics
Degree in Computer Engineering
110
Subject and involved studies Total hours
Algebra
Degree in Computer Engineering
120
Discrete Mathematics
Degree in Computer Engineering
100

Defined tutoring by teacher for 2016/2017 academic course.

Faculty of Computer Science

Quarter Day Site
1st quarter Wednesday
10:00 a 14:00
despacho 4.08
1st quarter Thursday
12:30 a 13:30
despacho 4.08
1st quarter Friday
11:30 a 12:30
despacho 4.08
2nd quarter Wednesday
10:00 a 13:30
despacho 4.08
2nd quarter Thursday
11:00 a 13:30
despacho 4.08
2nd chance Wednesday
10:30 a 13:30
despacho 4.08
2nd chance Thursday
10:30 a 13:30
despacho 4.08

EOG works and final master thesis directed

No available EOG works or final master thesis directed by current teacher since 2013 year.

Research results

Select merit type and year to query research merits.

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

Sistema médico distribuído basado en XML

Funding entity Ministerio de Ciencia y Tecnología
Main researches Manuel Francisco González Penedo
Type Proyecto Programas Nacionales
Dates From 03/12/2003 to 02/12/2006

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

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Main researches Manuel Francisco González Penedo
Type Proyecto Programas Nacionales
Dates From 01/12/2003 to 30/11/2006

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

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

Type Proyecto Otros Programas
Dates From 06/05/1999 to 06/05/2000

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

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

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas

Temporal Equilibrium Logic: a survey

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín, 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

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

Authors Concepción Vidal Martín, Gilberto Pérez Vega, Mª Felicidad Aguado Martín, José Mª Molinelli Barba
Journal LOGIC JOURNAL OF THE IGPL Vol. 19 Num. 2 (pages 405 to 414)

Strongly equivalent temporal logic problems

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Journal Lecture Notes in Computer Science Vol. 5293 (pages 8 to 20)

Strongly Equivalent Temporal Logic Programs

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Journal Lecture Notes in Computer Science Vol. 5293 (pages 8 to 20)

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

Authors Mª Felicidad Aguado Martín, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
Journal Journal of Formalized Reasoning (pages 25 to 37)

Certified Genetic Algorithms: Crossover Operators for Permutations

Authors 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
Journal Lecture Notes in Computer Science Vol. 4739 (pages 282 to 289)

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

Authors 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
Publishing Ediciones Paraninfo S.A, Madrid (España)
ISBN 978-84-283-3707-6

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

Authors Concepción Vidal Martín, Mª Felicidad Aguado Martín, Gilberto Pérez Vega
Place 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 Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
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 Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Place 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
International

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