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 |
| Department | Computer Science and Information Technologies |
| Knowledgment area | Algebra |
| Contacto | UDC directory |
| Scopus6505828014 | |
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 | 90 |
| Discrete Mathematics | Core | 0 | 30 |
| Final Year Dissertation | Compulsory | 0 | 1.5 |
| Linear Algebra | Core | 0 | 120 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 110 |
|
Algebra
Degree in Artificial Intelligence
|
Core | 0 | 22 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 54 |
|
Final Year Dissertation. Mention in Computer Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 1.5 |
|
Final Year Dissertation. Mention in Information Systems
Degree in Computer Engineering
|
Compulsory | 0 | 1 |
|
Final Year Dissertation. Mention in Software Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 3 |
|
Linear Algebra
Degree in Data Science and Engineering
|
Core | 0 | 120 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 128 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 30 |
|
Linear Algebra
Degree in Data Science and Engineering
|
Core | 0 | 120 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 127 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 66 |
|
Linear Algebra
Degree in Data Science and Engineering
|
Core | 0 | 90 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 120 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 66 |
|
Final Year Dissertation. Mention in Software Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 4 |
|
Linear Algebra
Degree in Data Science and Engineering
|
Core | 0 | 90 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 139 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 87 |
|
Linear Algebra
Degree in Data Science and Engineering
|
Core | 0 | 90 |
Defined tutoring by teacher for 2024/2025 academic course.
| Quarter | Day | Site |
|---|---|---|
| 1st quarter |
Monday
10:30 a 13:00 |
despacho 4.19 |
| 1st quarter |
Thursday
09:30 a 12:30 |
despacho 4.19 |
Directed or codirected by current teacher since 2013 year.
Select merit type and year to query research merits.
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 |
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) |
Internal q-homology of crossed modules
| Authors | Manuel Ladra, Ana Maria Vieites Rodriguez |
| Journal | PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY Vol. 47 (pages 1 to 13) |
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 |
Cálculo Integral y Aplicaciones con Matlab
| Authors | Mª del Carmen Suárez Rodríguez, Ana Maria Vieites Rodriguez |
| Publishing | Pearson Prentice Hall, Madrid (España) |
| ISBN | 84-205-4215-6 |
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) |
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) |
Academic or management positions held by teacher.