| 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 |
| Palabras chave | Answer Set Programming, equilibrium model, |
| Avaliación de méritos docentes | 6 quinquenio(s) |
| Avaliación de méritos de investigación | 4 sexenio(s) |
| Contacto | Directorio da UDC |
| Orcid id0000-0002-5561-6406 ResearcherIDABD-9547-2021 Scopus7101664033 | |
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 | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
| Álxebra | Formación básica | 0 | 30 |
| Lóxica | Formación básica | 0 | 5 |
| Matemática Discreta | Formación básica | 0 | 30 |
| Matemática Discreta | Formación básica | 0 | 60 |
| Matemática Discreta | Formación básica | 0 | 8 |
| Prácticas en Empresa | Optativo | 0 | 0 |
| Prácticas en Empresa | Optativo | 0 | 12 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Algoritmos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 10 |
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 17 |
|
Álxebra
Grao en Intelixencia Artificial
|
Formación básica | 0 | 20 |
|
Lóxica
Grao en Intelixencia Artificial
|
Formación básica | 0 | 5 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 53 |
|
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 60 |
|
Matemática Discreta
Grao en Intelixencia Artificial
|
Formación básica | 0 | 15 |
|
Prácticas en Empresa
Grao en Enxeñaría Informática
|
Optativo | 0 | 0 |
|
Prácticas en Empresa
Grao en Enxeñaría Informática
|
Optativo | 0 | 10 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Algoritmos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 14 |
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 11,5 |
|
Lóxica
Grao en Intelixencia Artificial
|
Formación básica | 0 | 5 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 30 |
|
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 60 |
|
Matemática Discreta
Grao en Intelixencia Artificial
|
Formación básica | 0 | 15 |
|
Prácticas en Empresa
Grao en Enxeñaría Informática
|
Optativo | 0 | 10 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Algoritmos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 10 |
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 30 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 33 |
|
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 60 |
|
Prácticas en Empresa
Grao en Enxeñaría Informática
|
Optativo | 0 | 10 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Algoritmos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 12 |
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 60 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 20 |
|
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 60 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Algoritmos
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 13 |
|
Álxebra
Grao en Enxeñaría Informática
|
Formación básica | 0 | 30 |
|
Matemática Discreta
Grao en Enxeñaría Informática
|
Formación básica | 0 | 71 |
|
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
|
Formación básica | 0 | 30 |
|
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 4 |
Titorías definidas polo/a docente para o curso académico 2024/2025.
| Cuadrimestre | Día | Lugar |
|---|---|---|
| Primeiro cuadrimestre |
martes
17:00 a 19:00 |
TEAMS o Despacho 4.10 (previo e-mail a concepcion.vidalm@udc.es) |
| Primeiro cuadrimestre |
mércores
12:30 a 13:30 |
Teams o Despacho 4.10 (previo e-mail a concepcion.vidalm@udc.es) |
| Primeiro cuadrimestre |
xoves
12:30 a 13:30 |
Teams o Despacho 4.10 (previo e-mail a concepcion.vidalm@udc.es) |
| Segundo cuadrimestre |
martes
17:00 a 18:30 |
TEAMS o Despacho 4.10 (previo e-mail) |
| Segundo cuadrimestre |
xoves
11:00 a 12:30 |
TEAMS o Despacho 4.10 (previo e-mail) |
| Segunda oportunidade |
martes
10:30 a 12:30 |
TEAMS o Despacho 4.10 (previo e-mail) |
Dirixidos ou codirixidos polo/a docente desde o ano 2013.
Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.
Generación de Explicaciones en Sistemas Inteligentes Híbridos para Asegurar la Fiabilidad
| Entidade financiadora | AEI, Agencia Estatal de Investigación |
| Investigadores principais | Cabalar Fernández, José Pedro (IP1)/ Santos Reyes, José (IP2) |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 01/09/2024 ata 31/08/2028 |
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 |
Red de investigación IEMath-Galicia
| Entidade financiadora | Xunta de Galicia |
| Investigadores principais | Juan José Nieto Roig |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2017 ata 31/12/2018 |
Xunta de Galicia (GPC ED431B 2016/035)
| Entidade financiadora | Xunta de Galicia |
| Investigadores principais | Álvaro Barreiro García |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2017 ata 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
| 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 |
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 |
Ayuda para la consolidación y estructuración de unidades de investigación competitivas
| Entidade financiadora | Consellería de Cultura, Educación e Ordenación Universitaria |
| Investigadores principais | Alvaro Barreiro García |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2013 ata 31/12/2015 |
Rede IEMath-Galicia (Programa de Consolidación y estructuración de unidades de investigación competitivas).
| Entidade financiadora | Xunta de Galicia |
| Investigadores principais | Juan José Nieto Roig |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2012 ata 30/11/2013 |
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 |
La Epistasis Generalizada en la optimización funcional
| Entidade financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proxecto Outros Programas |
| Datas | Desde 15/07/2003 ata 14/07/2005 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Entidade financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principais | Víctor M. Gulías Fernández |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 05/11/2002 ata 05/11/2005 |
Diseño, construcción y validación de un sistema jerárquico de almacenamiento de alta capacidad de bajo coste de adquisición y funcionamiento : Cheap TB
| Entidade financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proxecto Outros Programas |
| Datas | Desde 28/09/2002 ata 27/09/2004 |
Diseños Adaptados y Algoritmos Genéticos
| Entidade financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proxecto Outros Programas |
| Datas | Desde 26/08/2000 ata 26/08/2002 |
Algoritmos genéticos: Epistasis y transformadas de Walsh
| Tipo | Proxecto Outros Programas |
| Datas | Desde 28/04/1998 ata 28/04/1999 |
Algoritmos Genéticos. Aplicaciones a la economía
| Tipo | Proxecto Outros Programas |
| Datas | Desde 01/01/1996 ata 01/01/1996 |
"Forgetting auxiliary atoms in forks"
| Autores | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
| Revista | Artificial Intelligence Vol. 275 (páxs. 575 ata 601) |
A Complete Planner for Temporal Answer Set Programming
| Autores | Pedro Cabalar, Concepción Vidal |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 11805 Núm. 2 (páxs. 520 ata 524) |
| DOI | https://doi.org/10.1007/978-3-030-30244-3_43 |
Revisiting Explicit Negation in Answer Set Programming
| Autores | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 19 Núm. 5-6 (páxs. 908 ata 924) |
| DOI | https://doi.org/10.1017/s1471068419000267 |
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 |
An infinitary encoding of equilibrium logic
| Autores | Pedro Cabalar, Concepción Vidal, Martin Diéguez Lodeiro |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Núm. 4-5 (páxs. 666 ata 680) |
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 |
High order fucntions and Walsh coefficients revisited
| Autores | María Teresa Iglesias Otero, Concepción Vidal, Alain Verschoren |
| Revista | BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 15 (páxs. 403 ata 408) |
Higher Epistasis in Genetic Algorithms
| Autores | María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren |
| Revista | BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 77 (páxs. 225 ata 243) |
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) |
The 2-epistasis of fitness functions
| Autores | María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren |
| Revista | BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 76 (páxs. 397 ata 419) |
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) |
Generalized Walsh Transforms and Epistasis
| Autores | María Teresa Iglesias Otero, Concepción Vidal, Alan Verschoren |
| Revista | BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 13 (páxs. 55 ata 68) |
Computing epistasis of Template Functions through Walsh Transforms
| Autores | María Teresa Iglesias Otero, Concepción Vidal, Alain Verschoren |
| Revista | COMPUTING AND INFORMATICS Vol. 24 (páxs. 263 ata 279) |
Multary Epistasis
| Autores | María Teresa Iglesias Otero, Concepción Vidal, Dominique Suys, Alain Verschoren |
| Revista | BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 8 Núm. - (páxs. 651 ata 671) |
Epistasis and Unitation
| Autores | María Teresa Iglesias Otero, Concepción Vidal |
| Revista | COMPUTERS AND ARTIFICIAL INTELLIGENCE Vol. 18 Núm. 5 (páxs. 467 ata 483) |
An alternative approach to involutive Brauer Groups
| Autores | Concepción Vidal |
| Revista | LECTURE NOTES IN PURE AND APPLIED MATHEMATICS Vol. 1 Núm. 197 (páxs. 311 ata 324) |
Relatively noetherian rings, localization and sheaves, part III: Functional behaviour
| Autores | Concepción Vidal, A. Verschoren |
| Revista | COMMUNICATIONS IN ALGEBRA Vol. 23 Núm. 7 (páxs. 2597 ata 2619) |
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 |
Foundations of Generic Optimization. Volume 1: A combinatorial approach to epistasis.
| Autores | María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal |
| Editorial | Springer, Dordrecht (Países Bajos) |
| ISBN | 1-4020-3666-3 |
Localization and sheaves: a relative point of you. Pitman Research Notes in Mathematics Series
| Autores | Concepción Vidal, P. Jara, A. Verschoren |
| Editorial | Longman, (Estados Unidos) |
| ISBN | nodef-0548 |
Symmetric Closed Categories and Involutive Brauer Groups
| Autores | Concepción Vidal |
| Libro |
Ring Theory and Algebraic Geometry Vol. - Edita Marcel Dekker. ISBN: 0-8247-0559-9 |
| Páxinas | Desde a 325 ata a 339 |
Algoritmos genéticos generalizados. Variaciones sobre un tema.
| Autor | María Teresa Iglesias Otero |
| Director/es | Concepción Vidal Martín;Alain Verschoren |
| Ámbito | Computación |
| Cualificación | Apto |
Forgetting auxiliary atoms in forks
International Joint Conference on Artifical Intelligence 2020 (IJCAI)
Internacional
| Autores | Felicidad Aguado, Gilberto Pérez, cabalar, Jorge Fandinno, David Pearce, Concepción Vidal |
| Lugar | Yokohama (Japón) |
Explicit Negation in Linear-Dynamic Equilibrium Logic
24th European Conference on Artificial Intelligence (ECAI 2020)
Internacional
| Autores | Felicidad Aguado, cabalar, fandinno, Gilberto Pérez, Concepción Vidal |
| Lugar | Santiago de Compostela (España) |
A Complete Planner for Temporal Answer Set Programming
19th EPIA Conference on Artificial Intelligence, EPIA 2019
Internacional
| Autores | Pedro Cabalar, Manuel Rey, Concepción Vidal |
| Lugar | Vila Real (Portugal) |
Revisiting Explicit Negation in Answer Set Programming
35th International Conference on Logic Programming (ICLP 2019)
Internacional
| Autores | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
| Organizador | Association for Logic Programming |
| Lugar | Las Cruces, New Mexico (Estados Unidos) |
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) |
An infinitary encoding of temporal equilibrium logic
International Conference of Logic Programming ICLP 2015
Internacional
| Autores | Pedro Cabalar, Martín Diéguez Lodeiro, Concepción Vidal |
| Organizador | Association for Logic Programming |
| Lugar | Cork (Irlanda) |
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) |
Loop formulas for splitable temporal logic programs
12th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR13
Internacional
| Autores | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| 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, 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) |
Deception, order and epistasis
GEM 2008 - The 2008 International Conference on Genetic and Evolutionary Methods (WORLDCOMP¿08)
Internacional
| Autores | Concepción Vidal, María Teresa Iglesias Otero, Alain Verschoren |
| Lugar | Las Vegas (Estados Unidos) |
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) |
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) |
Some features about the convergence of a genetic algoritm
ICM2006, International Congress of Mathematicians
Internacional
| Autores | María Teresa Iglesias Otero, Matilde Ríos, Concepción Vidal |
| Lugar | Madrid (España) |
Some features about the convergence process of a Genetic Algorithm.
International Congress of Mathematicians ICM 2006
Internacional
| Autores | María Teresa Iglesias Otero, Matilde Ríos Fachal, Concepción Vidal |
| Lugar | Madrid (España) |
Walsh Transforms, Balanced Sum Theorems and Partition Coefficients over Multary Alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
Internacional
| Autores | María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal |
| Lugar | Washington (Estados Unidos) |
La varianza epistática como medida de optimización en el empleo de Algoritmos Genéticos
I Congreso de Estatística e Investigação Operacional da Galiza e Norte de Portugal
Internacional
| Autores | Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal |
| Lugar | Guimaraes (Portugal) |
La varianza epistática como medida de optimización en el empleo de Algoritimos genéticos.
I Congreso de Estadística e Investigaçao Operacional de Galiza e Norte de Portugal VI Congreso Galego de Estadística e Investigación de Operacións
Internacional
| Autores | Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal |
| Lugar | Guimaraes (Portugal) |
Walsh transforms, balance sum theorems and partition coefficients over multary alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
Internacional
| Autores | María Teresa Iglesias Otero, Bart Naudths, Alain Verschoren, Concepción Vidal |
| Lugar | Washington (Estados Unidos) |
Computing epistasis of template functions with the hyperplane averaging theorem
Meeting on linear algebra and applications (EALA)
Internacional
| Autores | María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren |
| Lugar | Caparica (Portugal) |
Template functions and their Epistasis
MS'2000 International Conference on Modelling and Simulation
Internacional
| Autores | María Teresa Iglesias Otero, Alain Verschoren, Concepción Vidal |
| Lugar | España |
Computing epistasis through Walsh transforms
Quinto Encuentro de Algebra Computacional y Aplicaciones EACA 99
Nacional
| Autores | María Teresa Iglesias Otero, Concepción Vidal |
| Lugar | Santa Cruz de Tenerife (España) |
A global approach to schemata
International Conference on Intelligent Technologies in Human-related. Sciences
Internacional
| Autores | Concepción Vidal, María Teresa Iglesias Otero |
| Lugar | León (España) |
Some results on localization of algebras over Krull domains
Fourth Week on Algebra and Algebraic Geometry (SAGA 4)
Internacional
| Autores | Concepción Vidal |
| Lugar | Amberes (Bélgica) |
Structure sheaves over locally noetherian rings
Congreso Internacional de Teoría de Anillos
Internacional
| Autores | Concepción Vidal, A. Verschoren |
| Lugar | Almería (España) |
Cargos académicos ou de xestión para o/a docente.