| Dirección | Laboratoria 4.2 Facultad de Informática Campus de Elviña s/n 15071 A Coruña |
| Teléfono | 981167000 ext. 1270 |
| Fax | 981167160 |
| Correo | |
| Sitio web | http://www.dc.fi.udc.es/irlab |
| Códigos UNESCO |
LOGICA MATEMATICA (110208) INFORMATICA (120317) |
| Códigos socioeconómicos |
I+D relativa a las Ciencias Naturales - financiada con FGU (12.1) |
| Líneas de investigación |
Recuperación de Información Recuperación de Información en la Web Representación Lógica del Conocimiento Computación Evolutiva Bioinformática Sistemas de Recomendación |
| Palabras clave | Recuperación de Información, modelos, evaluación; Recuperación de Información Web, escalabilidad, buscadores verticales; Eficiencia, índices, compresión, pruning, optimización; Lógica, programación lógica, modelos lógicos de RI; Computación evolutiva, propiedades, aplicaciones algoritmos evolutivos a RI; Bioinformática, predicción de estructura de proteínas, modelado de crecimiento tumoral; Sistemas de Recomendación, modelos, evaluación, eficiencia |
| Servicios ofertados |
Análisis, diseño,implementación y evaluación de sistemas. Informáticos en dominios complejos:recuperación de información y sistemas de recomendación Búsqueda,optimización,web,etc. Modelización y formulación de problemas complejos |
| Recursos de equipamiento | Servidores de gama media y alta. Varios Ordenadores personales de sobremesa y portátiles. Colecciones de evaluación y Recuperación de Información TREC, AQUAINT Y colecciones Web.(Licencias para investigación en el Grupo) |
| Resultados transferibles | Sistemas de recuperación de información, coma o sistema de noticias web NowOnWeb, o sistema de procura de información lexislativa Lexisla ou a ferramenta de xestión de corpus lingüísticos Coruña Corpus Tool (todos elas dispoñíbeis na dirección web www.irlab.org). Solucións de indexación, almacenamento e recuperación de información. Solucións a problemas de procura e optimización. |
Puede consultar el catálogo seleccionando un tipo de mérito y un año.
Predicción de la estructura de proteínas de SARS-CoV-2 con técnicas de inteligencia artificial
| Entidad financiadora | Axencia Galega de Innovación |
| Investigadores principales | Santos Reyes, José |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/11/2020 a 31/12/2021 |
Modelos de recomendación respetuosos con la privacidad del usuario
| Entidad financiadora | Linknovate Science SL |
| Investigadores principales | Javier Parapar López |
| Tipo | Contrato |
| Fechas | De 15/10/2020 a 15/05/2021 |
Integración de la plataforma interna de ABanca Seguros, API de interacción securizada y adquisición de información documental automatizada
| Entidad financiadora | ODEENE Ingeniería |
| Investigadores principales | José Carlos Dafonte Vázquez / Víctor Carneiro Díaz |
| Tipo | Contrato |
| Fechas | De 01/09/2020 a 31/12/2020 |
Generación automática de código seguro desde lenguajes de tercera generación a framework Metrópolis - ABanca. Plataforma de detección de vulnerabilidades y estandarización de código (Fase III)
| Entidad financiadora | ODEENE Ingeniería |
| Investigadores principales | José Carlos Dafonte Vázquez / Víctor Carneiro Díaz |
| Tipo | Contrato |
| Fechas | De 15/06/2020 a 15/03/2021 |
Axudas para acreditación, estructuración e mellora de Centros de Investigación Singulares do Sistema Universitario de Galicia
| Entidad financiadora | CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL |
| Investigadores principales | M.G. Penedo |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/12/2019 a 30/11/2022 |
CA18128 - Saving European Archaeology from the Digital Dark Age
| Entidad financiadora | COST European Cooperation in Science and Technology |
| Investigadores principales | Julian Richards |
| Tipo | Proyecto UE |
| Fechas | De 04/03/2019 a 03/03/2023 |
Tecnologías para la predicción temprana de signos relacionados con trastornos psicológicos
| Entidad financiadora | Ministerio de Ciencia, Innovación y Universidades |
| Investigadores principales | Álvaro Barreiro García / Javier Parapar López |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/2019 a 31/12/2021 |
AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS. GPC
| Entidad financiadora | CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL |
| Investigadores principales | ÁLVARO BARREIRO GARCÍA |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/2019 a 20/11/2021 |
Axudas para a consolidación e estructuración de unidades de investigación Competitivas
| Entidad financiadora | Xunta de Galicia |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/2019 a 31/12/2021 |
Análisis e investigación de un sistema de recomendación como servicio.
| Entidad financiadora | Linknovate Science SL |
| Investigadores principales | Javier Parapar López |
| Tipo | Contrato |
| Fechas | De 01/04/2019 a 31/03/2021 |
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 | De 01/01/2018 a 31/12/2020 |
TARDIS: Temporal Automated Reasoning for Dynamic Intelligent Systems
| Entidad financiadora | Ministerio de Economía y Competitividad |
| Investigadores principales | Pedro Cabalar |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/2018 a 31/12/2020 |
Red de investigación IEMath-Galicia
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Juan José Nieto Roig |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/2017 a 31/12/2018 |
Xunta de Galicia (GPC ED431B 2016/035)
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Álvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/2017 a 31/12/2018 |
Axudas para a consolidación e estruturación de unidades de investigación competitivas-GPC
| Entidad financiadora | Consellería de Cultura, Educación e Ordenación Universitaria |
| Investigadores principales | Álvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/2017 a 31/12/2018 |
Plan de innovación para la generación de conocimiento
| Entidad financiadora | Linknovate Science SL |
| Investigadores principales | Javier Parapar López |
| Tipo | Contrato |
| Fechas | De 01/10/2017 a 30/11/2018 |
Plan de Innovación para la generación de conocimeinto
| Entidad financiadora | Linknovate Science SL |
| Investigadores principales | Javier Parapar López |
| Tipo | Contrato |
| Fechas | De 01/10/2017 a 30/11/2018 |
Accesibilidad y disponibilidad de un Discovery Engine
| Entidad financiadora | Linknovate Science SL |
| Investigadores principales | Javier Parapar López |
| Tipo | Contrato |
| Fechas | De 06/02/2017 a 15/06/2017 |
Búsqueda, filtrado y explotación de datos como servicio
| Entidad financiadora | Linknovate Science SL |
| Investigadores principales | Javier Parapar López |
| Tipo | Contrato |
| Fechas | De 06/02/2017 a 15/06/2017 |
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 | De 01/01/2016 a 30/11/2019 |
MODELOS DE LENGUAJE PROBABILÍSTICOS PARA RANKINGS PERSONALIZADOS EN SISTEMAS DE ACCESO A LA INFORMACIÓN
| Entidad financiadora | Ministerio de Economía y Competitividad (MINECO) |
| Investigadores principales | ALVARO BARREIRO GARCÍA |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/2016 a 31/12/2018 |
Effective collaboration for European RD and Innovation in software services and Cloud Computing, Knowledge Discovery and Roadmapping (HOLA CLOUD). UDC Third Party participation.
| Entidad financiadora | Union Europea |
| Investigadores principales | Javier Parapar López |
| Tipo | Proyecto UE |
| Fechas | De 01/01/2016 a 31/12/2016 |
Effective collaboration for European RD and Innovation in software, services and Cloud computing: Knowledge discovery and Roadmapping" (HOLACLOUD)
| Entidad financiadora | Union Europea |
| Investigadores principales | Javier Parapar López |
| Tipo | Proyecto UE |
| Fechas | De 01/01/2015 a 31/12/2016 |
MODELIZACIÓN DE PROCESOS BIOLÓGICOS EMERGENTES
| Entidad financiadora | Ministerio de Economía y Competitividad (MINECO) |
| Investigadores principales | José Santos Reyes |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/2014 a 31/12/2017 |
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 | De 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 | De 01/01/2014 a 31/12/2016 |
Red de Investigación IEMath-Galicia
| Entidad financiadora | Consellería de Cultura, Educación e Ordenación Universitaria |
| Investigadores principales | Juan José Nieto Roig |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/2014 a 31/12/2015 |
Acuerdo para la explotación del software Totem-PDF (registro software con asiento registral 03/2014/909, número solicitud C-162-2014)
| Entidad financiadora | FACTORÍA DE SOFTWARE E MULTIMEDIA S.L (IMAXIN SOFTWARE) |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Contrato |
| Fechas | De 29/10/2014 a 31/12/2017 |
Ayuda para la consolidación y estructuración de unidades de investigación competitivas
| Entidad financiadora | Consellería de Cultura, Educación e Ordenación Universitaria |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/2013 a 31/12/2015 |
Recuperación y análisis de sentimientos en la web social
| Entidad financiadora | Ministerio de Economía y Competitividad (MINECO) |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/2013 a 31/12/2015 |
Optimización evolutiva de procesos emergentes modelados con técnicas de vida artificial
| Entidad financiadora | Ministerio de Economía y Competitividad |
| Investigadores principales | José Santos Reyes |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/2012 a 31/12/2013 |
Evolutionary optimization of emergent processes
| Entidad financiadora | Ministerio de Economía y Competitividad (MINECO) |
| Investigadores principales | José Santos Reyes |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/2012 a 31/12/2013 |
Rede IEMath-Galicia (Programa de Consolidación y estructuración de unidades de investigación competitivas).
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Juan José Nieto Roig |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/2012 a 30/11/2013 |
Aplicaciones de análisis avanzado de vídeo para una smart city eficiente y segura (A2VISES)
| Entidad financiadora | Sixtema Soluciones y Proyectos de Información SL |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Contrato |
| Fechas | De 01/01/2012 a 31/12/2014 |
Semi-automatic segmentation and text extraction from PDF newspapers and magazines. Acuerdo colaboración en el marco de la EEN (European Enterprise Network) con CIS Galicia, Echopress slr y Oktago (spin off Universidad de Calabria)
| Entidad financiadora | European Enterprise Network |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Contrato |
| Fechas | De 01/01/2011 a 31/12/2012 |
Ayuda para la consolidación de unidades de investigación competitivas
| Entidad financiadora | Xunta de Galicia, Consellería de Innovación,Industria e Comercio |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/2010 a 31/12/2011 |
Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-
| Entidad financiadora | Ministerio de Economía y Competitividad |
| Investigadores principales | José Pedro Cabalar Fernández |
| Tipo | Proyecto Otros Programas |
| Fechas | De 01/01/2010 a 31/12/2013 |
Sistema de recuperación y oferta de noticias digitales NF4E-News Filtering for the Enterpise
| Entidad financiadora | Comasis Consultores SL |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Contrato |
| Fechas | De 15/10/2010 a 15/10/2011 |
Obtención, integración, gestión y explotación de fuentes heterogéneas y multimodales en sistemas de vigilancia tecnológica
| Entidad financiadora | Fundación para fomento de la calidad industrial y desarrollo tecnológico de Galicia gestionadora del CIS |
| Tipo | Contrato |
| Fechas | De 01/01/2010 a 31/12/2011 |
COATI: búsqueda avanzada y multlingüe en blogs para la recuperación de opiniones y tendencias para el ámbito empresaria y de la administración pública
| Entidad financiadora | FACTORÍA DE SOFTWARE E MULTIMEDIA S.L (IMAXIN SOFTWARE) |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Contrato |
| Fechas | De 01/01/2010 a 31/12/2011 |
FEAST: Foundations and Extensions of Answer Set Programming Technology
| Entidad financiadora | Ministerio de Ciencia e Innovación |
| Investigadores principales | Pedro Cabalar |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/10/2009 a 30/09/2012 |
Ayuda para la consolidación de unidades de investigación competitivas
| Entidad financiadora | Xunta de Galicia, Consellería de Innovación,Industria e Comercio |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/2009 a 16/12/2009 |
Recuperación de Información sobre distintos medios con una perspectiva multidimensional: relevancia, novedad, personalización y contexto
| Entidad financiadora | Ministerio de Ciencia e Innovación |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/2009 a 31/12/2011 |
Algoritmos Genéticos en problemas de Satisfactibilidad: estudio formal y aplicación a Answer Set Programming
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Pedro Cabalar |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/10/2008 a 30/08/2011 |
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 | De 01/01/2008 a 31/10/2011 |
Estudio técnico para la incorporación de técnicas de detección de redundancia y novedad en sistemas operacionales de recuperación de información
| Entidad financiadora | Universidade de Santiago de Compostela |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Contrato |
| Fechas | De 21/11/2008 a 31/12/2009 |
Sistema de indexación, extracción de contenidos, búsqueda y gestión de información en fuentes legislativas
| Entidad financiadora | Fundación para fomento de la calidad industrial y desarrollo tecnológico de Galicia gestionadora del CIS |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Contrato |
| Fechas | De 01/01/2008 a 31/12/2009 |
Mellora na recuperación de noticias e no acceso a información financieira: recuperación de noticia web. Subproxecto UDC
| Entidad financiadora | Dirección Xeral de Investigación, Desenvolvemento e Innovación |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 03/12/2007 a 03/12/2010 |
Grupo Integrado de Ingeniería (GII)
| Tipo | Proyecto Otros Programas |
| Fechas | De 31/08/2007 a 15/11/2010 |
Recuperación de sentenzas relevantes e noveis utilizando modelos e técnicas de Recuperación de Información
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 03/12/2006 a 03/12/2007 |
Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
| Tipo | Proyecto Otros Programas |
| Fechas | De 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 | De 01/10/2006 a 30/09/2009 |
Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
| Entidad financiadora | Ministerio de Educación y Ciencia |
| Investigadores principales | José Pedro Cabalar Fernández |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/10/2006 a 30/09/2009 |
Recuperación de sentencias relevantes y noveles utilizando modelos y técnicas de Recuperación de Información-SUBPROYECTO UDC.
| Entidad financiadora | MINISTERIO DE EDUCACIÓN Y CIENCIA |
| Investigadores principales | Álvaro Barreiro García |
| Tipo | Proyecto Otros Programas |
| Fechas | De 31/12/2005 a 31/12/2008 |
Diseño evolutivo de velas para navegación.
| Entidad financiadora | Dirección Xeral de Investigación e Desenvolvemento |
| Tipo | Proyecto Otros Programas |
| Fechas | De 12/08/2004 a 13/08/2007 |
Sistema hiperespecrtral multisensor para la detección, seguimiento y representación cartográfica de vertidos marinos: instrumentación, sistemas de clasificación supervisada y detección en tiempo real (INCENTIVO)
| Entidad financiadora | Dirección Xeral de Investigación e Desenvolvemento |
| Tipo | Proyecto Otros Programas |
| Fechas | De 04/06/2004 a 03/06/2007 |
DELIA: deduction and programming in non-classical logics for knowledge technology
| Entidad financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principales | David Pearce |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/2004 a 31/12/2006 |
Sistema Hiperespectral Multisensor para la detección, seguimiento y representación cartográfica de vertidos marinos: Instrumentación, Sistemas de Clasificación Supervisada y Detección en Tiempo Real
| Entidad financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principales | Richard José Duro Fernández |
| Tipo | Proyecto Otros Programas |
| Fechas | De 11/12/2003 a 10/12/2006 |
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 | De 03/12/2003 a 02/12/2006 |
La Epistasis Generalizada en la optimización funcional
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proyecto Otros Programas |
| Fechas | De 15/07/2003 a 14/07/2005 |
Implementación y evaluación en grandes colecciones de documentos del modelo lógico de Recuperación de Información IR-PLBR
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 04/07/2003 a 04/07/2005 |
Implementación y evaluación en grandes colecciones de documentos del modelo lógico de Recuperación de Información IR-PLBR
| Entidad financiadora | Ministerio de Ciencia y Tecnología MCyT |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/12/2002 a 30/11/2005 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Entidad financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principales | Víctor M. Gulías Fernández |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 05/11/2002 a 05/11/2005 |
Construyendo ciudad, habitando entre redes, formulando proyectos de vida: un modelo de simulación basado en una aplicación informática vía web
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Investigadores principales | José María Cardesín Díaz |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 08/10/2002 a 08/10/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
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proyecto Otros Programas |
| Fechas | De 28/09/2002 a 27/09/2004 |
Working Group on Answer Set Programming
| Entidad financiadora | Unión Europea (red de investigación) |
| Investigadores principales | Alessandro Provetti |
| Tipo | Proyecto UE |
| Fechas | De 15/09/2002 a 14/03/2005 |
Unha linguaxe declarativa basada na causalidade: aplicación a diferentes problemas de razoamento (Incentivo TIC2001-0393)
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proyecto Otros Programas |
| Fechas | De 12/08/2002 a 11/08/2005 |
CONTRATO ART. 83 LOU ENTRE PARA PROYECTO "EVALUACIÓN EXTERNA DE LA APLICACIÓN WEB DE LONXANET PARA LA VENTA DE PRODUCTOS MARINOS DE EVALUACIÓN"
| Entidad financiadora | LONXANET DIRECTO, S.L. |
| Tipo | Contrato |
| Fechas | De 01/06/2002 a 01/06/2003 |
Evaluación externa de la aplicación web de Lonxanet para la venta de productos marinos de alimentación
| Entidad financiadora | LONXANET DIRECTO, S.L. |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Contrato |
| Fechas | De 01/06/2002 a 31/05/2003 |
CONTRATO DE COLABORACIÓN ENTRE LA UDC Y LA FUNDACIÓN CENTRO ONCOLÓGICO REGIONAL DE GALICIA
| Entidad financiadora | FUNDACIÓN CENTRO ONCOLÓGICO REGIONAL DE GALICIA ""JOSÉ ANTONIO QUIROGA Y PIÑEIRO"" |
| Tipo | Contrato |
| Fechas | De 01/01/2002 a 01/01/2003 |
Un lenguaje declarativo basado en causalidad:aplicación a diferentes problemas de razonamiento.
| Tipo | Proyecto Otros Programas |
| Fechas | De 28/12/2001 a 28/12/2004 |
Un lenguaje declarativo basado en causalidad: aplicación a diferentes problemas de razonamiento
| Entidad financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principales | Ramón Pérez Otero |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 28/12/2001 a 27/12/2004 |
e-MINDER. Electronic commerce leveraging network for developing European regions
| Entidad financiadora | Union Europea |
| Tipo | Proyecto Otros Programas |
| Fechas | De 29/08/2001 a 29/08/2003 |
Imágenes hiperespectrales: técnicas de clasificación supervisada y registro temporal mediante redes neuronales.
| Entidad financiadora | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Tipo | Proyecto Otros Programas |
| Fechas | De 18/01/2001 a 18/01/2004 |
Predicción de fallo empresarial mediante técnicas de inteligencia artificial
| Tipo | Proyecto Otros Programas |
| Fechas | De 16/01/2001 a 16/01/2002 |
Diseños Adaptados y Algoritmos Genéticos
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proyecto Otros Programas |
| Fechas | De 26/08/2000 a 26/08/2002 |
Representación de coalgebras y categorías derivadas
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proyecto Otros Programas |
| Fechas | De 25/08/2000 a 25/08/2002 |
Predicción de fallo empresarial mediante técnicas de inteligencia artificial
| Tipo | Proyecto Otros Programas |
| Fechas | De 01/06/2000 a 01/06/2001 |
Proyecto tecnológico protecas de embarcaciones catamarán sumergibles
| Entidad financiadora | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Tipo | Proyecto Otros Programas |
| Fechas | De 01/01/2000 a 31/12/2001 |
Arquitectura de nodos de proceso paralelo para servicio de vídeo bajo demanda
| Entidad financiadora | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Tipo | Proyecto Otros Programas |
| Fechas | De 30/12/1999 a 31/12/2001 |
Estudio y Diseño de cajas acústicas de alta calidad con resonadores acoplados
| Entidad financiadora | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Tipo | Proyecto Otros Programas |
| Fechas | De 30/12/1999 a 31/12/2001 |
Arquitectura cognitiva de robots móviles autónomos para tareas cooperativas y competitivas entre varios robots.
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proyecto Otros Programas |
| Fechas | De 25/08/1999 a 25/08/2002 |
Localización e t-estructuras na categoria derivada asociada a un dígrafo.
| Tipo | Proyecto Otros Programas |
| Fechas | De 06/05/1999 a 06/05/2000 |
Tratamiento de conocimiento tradicional y biológico para una mejora en la gestión de las pesquerías artesanales gallegas. Desarrollo de un sistema terminológico y de mecanismos de compartición de conocimiento-.
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/1999 a 31/12/2000 |
Sistema de Razonamiento Automático sobre Dominios Dinámicos
| Entidad financiadora | Ministerio de Educación y Cultura |
| Investigadores principales | Ramón Pérez Otero |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/1999 a 31/12/2001 |
Integración de módulos de procesado visual y selección de atención en la arquitectura cognitiva distribuida de robots autónomos.
| Entidad financiadora | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Tipo | Proyecto Otros Programas |
| Fechas | De 01/10/1998 a 30/09/1999 |
Sistema de razonamiento automático sobre dominios dinámicos
| Entidad financiadora | Secretaría de Estado de Universidades e Investigación. Programa Sectorial de Promoción General del Conocimiento |
| Investigadores principales | Ramón Pérez Otero |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/10/1998 a 01/10/2001 |
Algoritmos genéticos: Epistasis y transformadas de Walsh
| Tipo | Proyecto Otros Programas |
| Fechas | De 28/04/1998 a 28/04/1999 |
Arquitecturas de control con aprendizaje temporal para robots autónomos
| Tipo | Proyecto Otros Programas |
| Fechas | De 28/04/1998 a 28/04/1999 |
CONVENIO DE LA UDC Y AFIANZAMIENTOS DE GALICIA SOCIEDAD DE GARANTÍA RECÍPROCA (AFIGAL) PARA DISEÑO, ORGANIZACIÓN Y DESARROLLO DE UN PLAN DE SISTEMAS
| Entidad financiadora | AFIANZAMIENTOS DE GALICIA SOCIEDAD DE GARANTÍA RECÍPROCA (AFIGAL) |
| Tipo | Contrato |
| Fechas | De 26/05/1998 a 26/03/1999 |
Arquitectura de control con aprendizaje temporal para robots autónomos
| Tipo | Proyecto Otros Programas |
| Fechas | De 01/01/1997 a 01/01/1998 |
Geometría de Riemann y Geometría Integral: modelos teóricos y aplicaciones en Mecánica Clásica y Estereología
| Entidad financiadora | Dirección Xeral de Universidades |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 25/10/1996 a 25/10/1999 |
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 | De 24/10/1996 a 24/10/1998 |
Implementación de una base de datos con interfaces de usuario amigables bajo Internet
| Entidad financiadora | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Tipo | Proyecto Otros Programas |
| Fechas | De 01/07/1996 a 30/06/1999 |
Razonamiento en sistemas dinámicos de eventos discretos. Integración en Medtool.
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/1996 a 31/12/1998 |
Razonamiento en Sistemas Dinámicos de Eventos Discretos. Integración en Medtool
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Ramón Pérez Otero |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/1996 a 31/01/1998 |
Algoritmos Genéticos. Aplicaciones a la economía
| Tipo | Proyecto Otros Programas |
| Fechas | De 01/01/1996 a 01/01/1996 |
Algoritmos genéticos. Aplicaciones a la economía
| Tipo | Proyecto Otros Programas |
| Fechas | De 01/01/1996 a 01/01/1996 |
Apoyo al diseño y desarrollo de ampliaciones de la aplicación Gialix: ¿Módulo de indicadores de diagnóstico financiero¿
| Entidad financiadora | Diputación de A Coruña (convenio de colaboración) |
| Investigadores principales | José Luis Freire Nistal |
| Tipo | Contrato |
| Fechas | De 01/08/1996 a 30/04/1997 |
G-estructuras y Geometría Integral.Aplicaciones
| Entidad financiadora | Dirección Xeral de Universidades |
| Investigadores principales | Ana Dorotea Tarrío Tobar |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/12/1994 a 01/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 | De 07/04/1994 a 07/04/1997 |
Aprendizaje en un entorno de desarrollo de sistemas experto para ayuda a la investigación. Aplicación al dominio médico.
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Ramón Pérez Otero |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/1994 a 31/12/1996 |
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 | De 01/01/1994 a 31/12/1995 |
Aprendizaje en un entorno de desarrollo de sistemas expertos para ayuda a la investigación. Aplicación al dominio médico
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Ramón Pérez Otero |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/1994 a 31/12/1995 |
Sistema de adquisición automática de conocimiento para protocolos clínicos
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | De 01/01/1993 a 31/12/1994 |
Generador de bases de conocimiento para protocolos clínicos.
| Entidad financiadora | Universidade da Coruña (UDC) |
| Investigadores principales | Alvaro Barreiro García |
| Tipo | Proyecto Otros Programas |
| Fechas | De 01/07/1992 a 30/06/1993 |
TAO-E: Implementación, evaluación y refinamiento en un entorno clínico real de un consejero de terapia en oncología
| Entidad financiadora | Comisión Interministerial de Ciencia y Tecnología |
| Investigadores principales | José Mira Mira |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/1992 a 31/12/1994 |
Razonamiento temporal y planificación en un entorno clínico: aplicación en oncología
| Entidad financiadora | Comisión Interministerial de Ciencia y Tecnología |
| Investigadores principales | José Mira Mira |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/1990 a 31/12/1992 |
Un consejero de terapia en oncología
| Entidad financiadora | Comisión Interministerial de Ciencia y Tecnología |
| Investigadores principales | José Mira Mira |
| Tipo | Proyecto Programas Nacionales |
| Fechas | De 01/01/1989 a 31/12/1991 |
TAO Therapy Advides for Oncology
| Entidad financiadora | Union Europea |
| Investigadores principales | José Mira Mira |
| Tipo | Proyecto UE |
| Fechas | De 01/01/1987 a 31/12/1991 |
Diseño co-evolutivo de sensores y actuadores virtuales, morfología y arquitectura cognitiva en robótica autónoma.
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proyecto Otros Programas |
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 |
C2F. Framework para la ayuda a la conversión de código fuente de lenguajes de programación imperativos
| Tipo | Software Registrado |
| Entidad | Universidade da Coruña (UDC) |
| Autores/as | José Carlos Dafonte Vázquez, Víctor Carneiro, Angel Gómez García, Francisco Javier Nóvoa De Manuel, María Martínez Pérez, Diego Fernández Iglesias, Minia Manteiga Outeiro, Alfonso Landin, Raul Santoveña, Diego Trabazo |
| Fecha de solicitud | 17/11/2017 |
| Fecha de concesión | 13/02/2018 |
FilmYou: Recomendación Distribuida de Películas
| Tipo | Software Registrado |
| Entidad | |
| Autores/as | Álvaro Barreiro García, Javier Parapar, Daniel Valcarce Silva |
| Fecha de solicitud | 12/08/2015 |
| Fecha de concesión | 04/12/2015 |
Totem PDF
| Tipo | Software Registrado |
| Entidad | Universidade da Coruña (UDC) |
| Autores/as | Javier Parapar, Alvaro Barreiro, Ramón Casares |
| Fecha de solicitud | 01/01/2014 |
| Fecha de concesión | 31/12/2014 |
Lexisla
| Tipo | Software Registrado |
| Entidad | Universidade da Coruña (UDC) |
| Autores/as | Álvaro Barreiro García, Javier Parapar, Roi Blanco González, Ismael Hasan Romero |
| Fecha de solicitud | 27/01/2010 |
| Fecha de concesión | 27/07/2010 |
Coruña Campus Tool
| Tipo | Software Registrado |
| Entidad | Universidade da Coruña (UDC) |
| Autores/as | Javier Parapar, Manuel Eduardo Ares Brea, Ismael Hasan Romero |
| Fecha de solicitud | 27/01/2010 |
| Fecha de concesión | 27/07/2010 |
NowOnWeb: Sistema de recuperación de noticias.
| Tipo | Software Registrado |
| Entidad | Universidade da Coruña (UDC) |
| Autores/as | Álvaro Barreiro García, Javier Parapar, José María Casanova Crespo |
| Fecha de solicitud | 17/08/2007 |
| Fecha de concesión | 17/08/2007 |
Enriching linguistic descriptions of data: A framework for composite protoforms
| Autores/as | Ramos-Soto, A., Martin-Rodilla, P. |
| Revista | FUZZY SETS AND SYSTEMS Vol. 407 Núm. 1 |
Statistical language models for query-by-example spoken document retrieval
| Autores/as | Paula Lopez-Otero, Javier Parapar, Álvaro Barreiro |
| Revista | MULTIMEDIA TOOLS AND APPLICATIONS Vol. 79 Núm. 11 (págs. 7927 a 7949) |
Using score distributions to compare statistical significance test for information retrieval evaluation
| Autores/as | Javier Parapar, David E. Losada, Manuel Antonio Presedo Quindimil, Álvaro Barreiro |
| Revista | Journal of the Association for Information Science and Technology Vol. 71 Núm. 1 (págs. 98 a 113) |
Software Support for Discourse-Based Textual Information Analysis: A Systematic Literature Review and Software Guidelines in Practice.
| Autores/as | Martin-Rodilla, P. |
| Revista | Information Vol. 11-5 (págs. 256 a 256) |
Equilibrium Graphs
| Autores/as | Pedro Cabalar, Carlos Pérez, Gilberto Pérez |
| Revista | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE |
WHEN TO STOP MAKING RELEVANCE JUDGMENTS? A STUDY OF STOPPING METHODS FOR BUILDING INFORMATION RETRIEVAL
| Autores/as | David E. Losada, Javier Parapar, Álvaro Barreiro |
| Revista | Journal of the Association for Information Science and Technology Vol. 70 Núm. 1 (págs. 49 a 60) |
Revisiting Explicit Negation in Answer Set Programming
| Autores/as | 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ágs. 908 a 924) |
| DOI | https://doi.org/10.1017/s1471068419000267 |
Collaborative Filtering Embeddings for Memory-Based Recommender Systems
| Autores/as | Daniel Valcarce-Silva, Alfonso Landin, Javier Parapar, Álvaro Barreiro |
| Revista | Engineering Applications of Artificial Intelligence Vol. 85 (págs. 347 a 356) |
Efficient query-by-example document retrieval combining phone multigram representation and dynamic time warping
| Autores/as | Paula López Otero, Javier Parapar, Álvaro Barreiro |
| Revista | INFORMATION PROCESSING & MANAGEMENT Vol. 56 Núm. 1 (págs. 43 a 60) |
Metainformation Scenarios in Digital Humanities: Characterization and Conceptual Modelling Strategies
| Autores/as | Martin-Rodilla, P. |
| Revista | INFORMATION SYSTEMS JOURNAL Vol. 84 (págs. 29 a 48) |
A Complete Planner for Temporal Answer Set Programming
| Autores/as | Pedro Cabalar, Concepción Vidal |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 11805 Núm. 2 (págs. 520 a 524) |
| DOI | https://doi.org/10.1007/978-3-030-30244-3_43 |
Assisting Forensic Identification through Unsupervised Information Extraction of Free Text Autopsy Reports: The Disappearances Cases during the Brazilian Military Dictatorship
| Autores/as | Martin-Rodilla, P. |
| Revista | Information Vol. 10 Núm. 7 (págs. 231 a 231) |
| DOI | https://doi.org/10.3390/info10070231 |
Conceptualization and Non-Relational Implementation of Ontological and Epistemic Vagueness of Information in Digital Humanities
| Autores/as | Martin-Rodilla, P. |
| Revista | INFORMATICS-BASEL. |
| DOI | https://doi.org/10.3390/informatics6020020 |
"Forgetting auxiliary atoms in forks"
| Autores/as | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
| Revista | Artificial Intelligence Vol. 275 (págs. 575 a 601) |
Temporal Answer Set Programming on Finite Traces
| Autores/as | Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
Answer Set Programming from a Logical Point of View
| Autores/as | Pedro Cabalar, David Pearce, Agustín Valverde |
| Revista | Künstliche Intelligenz |
Functional ASP with Intensional Sets; Application to Gelfond-Zhang Aggregates
| Autores/as | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
Assessing data analysis performance in research contexts: an experiment on accuracy, efficiency, productivity and researchers¿ satisfaction
| Autores/as | Martin-Rodilla, P. |
| Revista | DATA & KNOWLEDGE ENGINEERING |
A MapReduce implementation of posterior probability clustering and relevance models for recommendation
| Autores/as | Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
| Revista | Engineering Applications of Artificial Intelligence Vol. 75 (págs. 114 a 124) |
| DOI | https://doi.org/10.1016/j.engappai.2018.08.006 |
Finding and Analysing Good Neighbourhoods to Improve Collaborative Filtering
| Autores/as | Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
| Revista | Knowledge-Based Systems Vol. 159 Núm. 3 (págs. 193 a 202) |
A Rank Fusion Approach based on Score Distributions for Prioritizing Relevance Assessments in Information Retrieval Evaluation.
| Autores/as | David E. Losada Carril, Javier Parapar, Álvaro Barreiro |
| Revista | Information Fusion Vol. 39 (págs. 56 a 71) |
Advances in the application and development of non-linear global optimization techniques in computational structural biology
| Autores/as | J. Handl, A Shehu, J. Santos |
| Revista | IEEE/ACM Transactions on Computational Biology and Bioinformatics Vol. 15 Núm. 3 (págs. 688 a 689) |
| DOI | https://doi.org/10.1109/tcbb.2018.2817267 |
Document-based and Term-based Linear Methods for Pseudo-Relevance Feedback
| Autores/as | Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
| Revista | Applied Computing Review Vol. 18 Núm. 4 (págs. 5 a 17) |
Temporal logic programs with variables
| Autores/as | 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ágs. 226 a 243) |
| DOI | https://doi.org/10.1017/s1471068416000570 |
A Modelling Language for Discourse: Analysis in Humanities: Definition, Design, Validation and First Experiences.
| Autores/as | Martin-Rodilla, P. |
| Revista | Revista de humanidades Digitales. UNED. |
Enablers and Inhibitors in Causal Justifications of Logic Programs
| Autores/as | Pedro Cabalar, Jorge Fandinno |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Núm. 1 (págs. 49 a 74) |
Multi-Armed Bandits for Adjudicating Documents in Pooling-Based Evaluation of Information Retrieval Systems
| Autores/as | David E. Losada, Javier Parapar, Álvaro Barreiro |
| Revista | INFORMATION PROCESSING & MANAGEMENT Vol. 53 Núm. 5 (págs. 1005 a 1025) |
| DOI | https://doi.org/10.1016/j.ipm.2017.04.005 |
Axiomatic Analysis of Language Modelling of Recommender Systems
| Autores/as | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
| Revista | INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS Vol. 25 Núm. 2 (págs. 113 a 128) |
haspie - A Musical Harmonisation Tool based on ASP
| Autores/as | Pedro Cabalar, Rodrigo Martín |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (págs. 637 a 642) |
On the Properties of Atom Definability and Well-Supportedness in Logic Programming
| Autores/as | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (págs. 624 a 636) |
Inclusion of the fitness sharing technique in an evolutionary algorithm to analyze the fitness landscape of the genetic code adaptability
| Autores/as | José Santos Reyes, Ángel Monteagudo |
| Revista | BMC BIOINFORMATICS |
Verification for ASP denotational semantics: A case study using the PVS theorem prover
| Autores/as | 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ágs. 195 a 213) |
| DOI | https://doi.org/10.1093/jigpal/jzw060 |
Stable Reasoning
| Autores/as | Pedro Cabalar, David Pearce, Agustín Valverde |
| Revista | Journal of Applied Non-Classical Logics Vol. 27 Núm. 3-4 (págs. 238 a 254) |
Temporal Equilibrium Logic with past operators
| Autores/as | 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ágs. 161 a 177) |
| DOI | https://doi.org/10.1080/11663081.2018.1427987 |
A Qualitative Spatial Representation of String Loops as Holes
| Autores/as | Pedro Cabalar, Paulo E. Santos |
| Revista | Artificial Intelligence Vol. 238 (págs. 1 a 10) |
Justifications for Programs with Disjunctive and Causal-choice Rules
| Autores/as | Pedro Cabalar, Jorge Fandinno |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 16 Núm. 5-6 (págs. 587 a 603) |
Item-based relevance modelling of recommendations for getting rid of long tail products
| Autores/as | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
| Revista | Knowledge-Based Systems Vol. 103 (págs. 41 a 51) |
| DOI | https://doi.org/10.1016/j.knosys.2016.03.021 |
Framing Holes within a Loop Hierarchy
| Autores/as | Paulo E. Santos, Pedro Cabalar |
| Revista | SPATIAL COGNITION AND COMPUTATION Vol. 16 Núm. 1 (págs. 54 a 95) |
A denotational semantics for equilibrium logic
| Autores/as | 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ágs. 620 a 634) |
| DOI | https://doi.org/10.1017/s1471068415000277 |
Stable Models for Temporal Theories - Invited Talk
| Autores/as | Pedro Cabalar |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9345 (págs. 1 a 13) |
An infinitary encoding of equilibrium logic
| Autores/as | Pedro Cabalar, Concepción Vidal , Martin Diéguez Lodeiro |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Núm. 4-5 (págs. 666 a 680) |
Treatment analysis in a cancer stem cell context using a tumor growth model based on cellular automata
| Autores/as | Ángel Monteagudo, José Santos Reyes |
| Revista | PLOS ONE |
A Distributed Recommendation Platform for Big Data
| Autores/as | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
| Revista | JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 21 Núm. 13 (págs. 1810 a 1829) |
| DOI | https://doi.org/10.3217/jucs-021-13-1810 |
Explaining preferences and preferring explanations
| Autores/as | Pedro Cabalar, Jorge Fandinno |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9060 (págs. 218 a 232) |
Studying the capability of different cancer hallmarks to initiate tumor growth using a cellular automaton simulation. Application in a cancer stem cell context
| Autores/as | Ángel Monteagudo Insua, José Santos Reyes |
| Revista | BIOSYSTEMS Vol. 115 (págs. 46 a 58) |
| DOI | https://doi.org/10.1016/j.biosystems.2013.11.001 |
Analysis of behaviour transitions in tumour growth using a cellular automaton simulation
| Autores/as | José Santos Reyes, Ángel Monteagudo |
| Revista | IET Systems Biology (págs. 1 a 13) |
| DOI | https://doi.org/10.1049/iet-syb.2014.0015 |
Causal Graph Justifications of Logic Programs
| Autores/as | Pedro Cabalar, Jorge Fandinno, Michael Fink |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 14 Núm. 4-5 (págs. 603 a 618) |
| DOI | https://doi.org/10.1017/s1471068414000234 |
Combining Psycho-linguistic, Content-based and Chat-based Features to Detect Predation in Chatrooms
| Autores/as | Javier Parapar, Losada, David E., Álvaro Barreiro García |
| Revista | JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 20 Núm. 2 (págs. 213 a 239) |
Score distributions for Pseudo Relevance Feedback
| Autores/as | Javier Parapar, Presedo-Quindimil, Manuel A., Álvaro Barreiro García |
| Revista | INFORMATION SCIENCES Vol. 273 (págs. 171 a 181) |
| DOI | https://doi.org/10.1016/j.ins.2014.03.034 |
Emergent protein folding modeled with evolved neural cellular automata using the 3D HP model
| Autores/as | José Santos Reyes, Pablo Villot, Martin Diéguez |
| Revista | JOURNAL OF COMPUTATIONAL BIOLOGY Vol. 21 Núm. 11 (págs. 823 a 845) |
A Free Logic for Stable Models with Partial Intensional Functions
| Autores/as | Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (págs. 340 a 354) |
A Complexity Assessment for Queries involving Sufficient and Necessary Causes
| Autores/as | Pedro Cabalar, Jorge Fandinno, Michael Fink |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (págs. 297 a 319) |
Finding a needle in the Blogosphere: an information fusion approach for blog distillation search
| Autores/as | José M Chenlo, Javier Parapar, David E. Losada, José Santos Reyes |
| Revista | Information Fusion Vol. 23 (págs. 58 a 68) |
| DOI | https://doi.org/10.1016/j.inffus.2014.09.001 |
Relevance-based language modelling for recommender systems
| Autores/as | Javier Parapar, Alejandro Bellogín, Pablo Castells, Álvaro Barreiro García |
| Revista | INFORMATION PROCESSING & MANAGEMENT Vol. 49 Núm. 4 (págs. 966 a 980) |
| DOI | https://doi.org/10.1016/j.ipm.2013.03.001 |
Multiobjective differential evolution in the optimization of topological active models
| Autores/as | Jorge Novo, José Santos Reyes, M G Penedo |
| Revista | Applied Soft Computing Vol. 13 (págs. 3167 a 3177) |
| DOI | https://doi.org/10.1016/j.asoc.2012.12.010 |
Integrating Temporal Extensions of Answer Set Programming
| Autores/as | Felicidad Aguado, Gilberto Pérez, Concepción Vidal |
| 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 |
Foreword
| Autores/as | Pedro Cabalar, Agustín Valverde |
| Revista | Journal of Applied Non-Classical Logics Vol. 23 Núm. 1-2 (págs. 1 a 1) |
Temporal Equilibrium Logic: a survey
| Autores/as | 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ágs. 2 a 24) |
| DOI | https://doi.org/10.1080/11663081.2013.798985 |
Evolved artificial neural networks for controlling Topological Active Nets deformation and for medical image segmentation
| Autores/as | C. de La Vega, J. Novo, J. Santos, M G Penedo |
| Revista | Frontiers in Artificial Intelligence and Applications Vol. 243 (págs. 1380 a 1389) |
ECIR 2012: 34th European Conference on Information Retrieval Research (conference report)
| Autores/as | Ricardo Baeza-Yates, Mari-Carmen Marcos, Arjen P. de Vries, Hugo Zaragoza, Berkant Barla Cambazoglu, Vanessa Murdock, Álvaro Barreiro García, David E. Losada, Ronny Lempel, Fabrizio Silvestri, Mounia Lalmas |
| Revista | SIGIR FORUM Vol. 46 Núm. 2 (págs. 34 a 41) |
Improving the Extraction of Text in PDFs by Simulating the Human Reading Order
| Autores/as | Hasan, Ismael, Javier Parapar, Álvaro Barreiro García |
| Revista | JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 18 Núm. 5 (págs. 623 a 649) |
Topological active models optimization with differential evolution
| Autores/as | Jorge Novo, José Santos Reyes, M G Penedo |
| Revista | EXPERT SYSTEMS WITH APPLICATIONS Vol. 35 Núm. 15 (págs. 12165 a 12176) |
| DOI | https://doi.org/10.1016/j.eswa.2012.04.087 |
An experimental study of constrained clustering effectiveness in presence of erroneous constraints
| Autores/as | Eduardo Ares, M., Javier Parapar, Álvaro Barreiro García |
| Revista | INFORMATION PROCESSING & MANAGEMENT Vol. 48 Núm. 3 (págs. 537 a 551) |
| DOI | https://doi.org/10.1016/j.ipm.2011.08.006 |
Biped locomotion control with evolved adaptive center-crossing continuous time recurrent neural networks
| Autores/as | José Santos Reyes, Angel Campo |
| Revista | Neurocomputing Vol. 86 Núm. 1 (págs. 86 a 96) |
| DOI | https://doi.org/10.1016/j.neucom.2012.01.009 |
Topological Active Volume 3D Segmentation Model Optimized with Genetic Approaches
| Autores/as | J. Novo, N. Barreira, M G Penedo, José Santos Reyes |
| Revista | NATURAL COMPUTING Vol. 11 (págs. 161 a 174) |
| DOI | https://doi.org/10.1007/s11047-011-9275-8 |
A learning-based approach for the identification of sexual predators in chat logs. CLEF 2012 Evaluation Labs. Vol. 1179 of CEUR-WS Proceedings
| Autores/as | Javier Parapar, David E. Losada, Álvaro Barreiro |
| Revista | CEUR-WS (págs. 1 a 12) |
A logical characterisation of ordered disjunction
| Autores/as | Pedro Cabalar |
| Revista | AI COMMUNICATIONS Vol. 24 Núm. 2 (págs. 165 a 175) |
| DOI | https://doi.org/10.3233/aic-2011-0494 |
Formalising the Fisherman's Folly puzzle
| Autores/as | Pedro Cabalar, Santos, Paulo E. |
| Revista | Artificial Intelligence Vol. 175 Núm. 1, SI (págs. 346 a 377) |
| DOI | https://doi.org/10.1016/j.artint.2010.04.004 |
Functional answer set programming
| Autores/as | Pedro Cabalar |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 11 Núm. 2-3 (págs. 203 a 233) |
| DOI | https://doi.org/10.1017/s1471068410000517 |
The Use of Latent Semantic Indexing to Mitigate OCR Effects of Related Document Images
| Autores/as | Renato F. Bulcao Neto, Jose A. Camacho Guerrero, Marcio Dutra, Álvaro Barreiro García, Javier Parapar, Alessandra A. Macedo |
| Revista | JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 17 Núm. 1 (págs. 64 a 80) |
STeLP - a Tool for Temporal Answer Set Programming
| Autores/as | Pedro Cabalar, Martín Diéguez |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (págs. 370 a 375) |
Differential Evolution Optimization of 3D Topological Active Volumes
| Autores/as | J. Novo, José Santos Reyes, M G Penedo |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6691 (págs. 282 a 290) |
| DOI | https://doi.org/10.1007/978-3-642-21501-8_35 |
Automata-based Computation of Temporal Equilibrium Models
| Autores/as | Pedro Cabalar, Stephane Demri |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 7225 (págs. 57 a 72) |
Loop Formulas for Splitable Temporal Logic Programs
| Autores/as | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| 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 |
Promoting Divergent Terms in the Estimation of Relevance Models
| Autores/as | Javier Parapar, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6931 (págs. 77 a 88) |
A Cluster Based Pseudo Feedback Technique Which Exploits Good and Bad Clusters
| Autores/as | Javier Parapar, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 7023 (págs. 403 a 412) |
Optimization of Topological Active Nets with Differential Evolution
| Autores/as | Jorge Novo Buján, José Santos Reyes, M G Penedo |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6593 (págs. 350 a 360) |
Simulated evolution applied to study the genetic code optimality using a model of codon reassignments
| Autores/as | José Santos Reyes, Ángel Monteagudo Insua |
| Revista | BMC BIOINFORMATICS Vol. 12 (págs. 0 a 0) |
Crossover operators for permutations equivalence between position and order-based crossover
| Autores/as | Concepción Vidal , Gilberto Pérez, Felicidad Aguado, José Mª Molinelli Barba |
| Revista | LOGIC JOURNAL OF THE IGPL Vol. 19 Núm. 2 (págs. 405 a 414) |
Probabilistic static pruning of inverted files
| Autores/as | Roi Blanco González, Álvaro Barreiro García |
| Revista | ACM TRANSACTIONS ON INFORMATION SYSTEMS Vol. 28 Núm. 1 (págs. 1 a 33) |
Improving alternative text clustering quality in the avoiding bias task with spectral and flat partition algorithms
| Autores/as | Manuel Eduardo Ares Brea, Javier Parapar, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6262 Núm. 2 (págs. 407 a 421) |
Evolutionary Multiobjective Optimization of Topological Active Nets
| Autores/as | Jorge Novo Buján, M G Penedo, José Santos Reyes |
| Revista | PATTERN RECOGNITION LETTERS Vol. 31 Núm. 13 (págs. 1781 a 1794) |
Lexisla: a legislative Information Retrieval System, PLN-E 2010, Workshop NLP in the Enterprise: Envisioning the Next 10 Years, SEPLN 2010, Valencia, September 7, 2010, CEUR Workshop Proceedings, vol-697.
| Autores/as | Ismael Hassan, Javier Parapar, Álvaro Barreiro |
| Revista | CEUR-WS (págs. 1 a 4) |
Study of the Genetic Code Adaptability by Means of a Genetic Algorithm
| Autores/as | Ángel Monteagudo Insua, José Santos Reyes |
| Revista | JOURNAL OF THEORETICAL BIOLOGY Núm. 2643 (págs. 854 a 865) |
A Normal Form for Linear Temporal Equilibrium Logic
| Autores/as | Pedro Cabalar |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6342 (págs. 64 a 76) |
Genetic Approaches for Topological Active Nets Optimization
| Autores/as | Óscar Ibáñez Panizo, Noelia Barreira Rodríguez, José Santos Reyes, M G Penedo |
| Revista | PATTERN RECOGNITION Vol. 42 Núm. 5 (págs. 907 a 917) |
Nitrificación en reactores biopelícula de membrana tubular permeable a gases
| Autores/as | Judith Molina Burgos, Antonio Fermín Yáñez Izquierdo, Juan Alfredo Jacome Burgos, Suárez, J. |
| Revista | Ingeniería del Agua Vol. 16 Núm. 2 (págs. 129 a 144) |
Genetic Code Optimality Studied by Means of Simulated Evolution and Within the Coevolution Theory of the Canonical Code Organization
| Autores/as | José Santos Reyes, Ángel Monteagudo Insua |
| Revista | NATURAL COMPUTING Vol. 8 Núm. 4 (págs. 719 a 738) |
Safety Preserving Transformations for General Answer Set Programs
| Autores/as | Pedro Cabalar, David Pearce, Agustín Valverde |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (págs. 58 a 70) |
Using a rank fusion technique to improve shot boundary detection effectiveness
| Autores/as | Manuel Eduardo Ares Brea, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (págs. 247 a 254) |
Revisitin n-gram based models for retrieval in degraded large collections
| Autores/as | Javier Parapar, Ana Freire Veiga, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5478 (págs. 680 a 684) |
Genetic Approaches for the Automatic Division of Topological Active Volumes
| Autores/as | Jorge Novo Buján, Noelia Barreira Rodríguez, M G Penedo, José Santos Reyes |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5602 (págs. 20 a 29) |
Evaluation of text clustering algorithms with n-gram-based document fingerprints
| Autores/as | Javier Parapar López, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5478 (págs. 645 a 653) |
CIE-9-MC code classification with knn and SVM
| Autores/as | David Lojo Vicente, David E. Losada Carril, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5602 (págs. 499 a 508) |
Avoiding Bias in Text Clustering Using Constrained K-means and May-Not-Links
| Autores/as | Manuel Eduardo Ares Brea, Javier Parapar, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5766 (págs. 322 a 329) |
A Revised Concept of Safety for General Answer Set Programs
| Autores/as | Pedro Cabalar, David Pearce, Agustín Valverde |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (págs. 58 a 70) |
N-gram based models for retrieval in degraded large collections
| Autores/as | Javier Parapar López, Ana María Freire Veiga, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5478 (págs. 680 a 684) |
Localisation of the Optic Disc by Means of GA-Optimised Topological Active Nets
| Autores/as | Jorge Novo Buján, M G Penedo, José Santos Reyes |
| Revista | IMAGE AND VISION COMPUTING Vol. 27 (págs. 1572 a 1584) |
Genetic algorithms in Coq: Generalization and formalization of the crossover operator
| Autores/as | Felicidad Aguado, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez, Concepción Vidal |
| Revista | Journal of Formalized Reasoning (págs. 25 a 37) |
The space within the Fisherman¿s Folly: playing with a puzzle in mereotopology
| Autores/as | Paulo E. Santos, Pedro Cabalar |
| Revista | SPATIAL COGNITION AND COMPUTATION Vol. 8 (págs. 47 a 64) |
Probabilistic documents length priors for language models
| Autores/as | Roi Blanco González, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4956 (págs. 394 a 405) |
Partial Functions and Equality in Answer Set Programming
| Autores/as | Pedro Cabalar |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5366 (págs. 392 a 406) |
Optic Disc Segmentation by Means of GA-Optimized Topological Active Nets
| Autores/as | Jorge Novo Buján, M G Penedo, José Santos Reyes |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5112 (págs. 807 a 816) |
Strongly equivalent temporal logic programs
| Autores/as | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5293 (págs. 8 a 20) |
High order fucntions and Walsh coefficients revisited
| Autores/as | María Teresa Iglesias Otero, Concepción Vidal , Alain Verschoren |
| Revista | BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 15 (págs. 403 a 408) |
Higher Epistasis in Genetic Algorithms
| Autores/as | 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ágs. 225 a 243) |
The Information Retrieval Lab at the University of A Coruña BCS-IRSG Informer, Vol 25.
| Autores/as | Javier Parapar, Álvaro Barreiro |
| Revista | BCS-IRSG Informer (Britisth Computer Society - Information Retrieval Specialist Group) Vol. 25 (págs. 5 a 57) |
Propositional Theories are Strongly Equivalent to Logic Programs
| Autores/as | Pedro Cabalar, Paolo Ferraris |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 7 Núm. 6 (págs. 745 a 759) |
Minimal Logic Programs
| Autores/as | Pedro Cabalar, Gilberto Pérez |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4670 (págs. 104 a 118) |
Certified Genetic Algorithms: Crossover Operators for Permutations
| Autores/as | Felicidad Aguado, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez, Concepción Vidal , Ana Maria Vieites Rodriguez |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 282 a 289) |
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
| Autores/as | Pedro Cabalar, David Pearce, Panos Rondogiannis, William Wadge |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4483 (págs. 44 a 57) |
Genetic-Greedy Hybrid Approach for Topological Active Nets Optimization
| Autores/as | José Santos Reyes, Óscar Ibáñez Paniño, Noelia Barreira Rodríguez, M G Penedo |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4431 (págs. 202 a 210) |
Automatic Topological Active Net Division in a Genetic-Greedy Hybrid Approach
| Autores/as | Noelia Barreira Rodríguez, M G Penedo, Óscar Ibáñez Panizo, José Santos Reyes |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4478 (págs. 226 a 233) |
Temporal Equilibrium Logic: a first approach
| Autores/as | Pedro Cabalar, Gilberto Pérez |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 241 a 248) |
Static Pruning of Terms in Inverted Files
| Autores/as | Roi Blanco González, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4425 (págs. 64 a 75) |
NowOn Web: News Search and Summarization
| Autores/as | Javier Parapar, José María Casanova Crespo, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 225 a 232) |
Overall Comparison at the Standard Levels of Recall of Multiple Retrieval Methods with the Friedman Test
| Autores/as | José María Casanova Crespo, Manuel Antonio Presedo Quindimil, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4425 (págs. 682 a 685) |
Partial Equilibrium Logic
| Autores/as | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde |
| Revista | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Vol. 50 (págs. 305 a 331) |
The Coruña Corpus Tool
| Autores/as | Javier Parapar, Isabel Moskowich-Spiegel Fandiño |
| Revista | Procesamiento del Lenguaje Natural Vol. 39 (págs. 289 a 290) |
NowOn Web: a NewsIR System
| Autores/as | Javier Parapar, Álvaro Barreiro García |
| Revista | Procesamiento del Lenguaje Natural Vol. 39 (págs. 287 a 288) |
The 2-epistasis of fitness functions
| Autores/as | 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ágs. 397 a 419) |
Matemáticas evolutivas: algoritmos genéticos
| Autores/as | María Teresa Iglesias Otero |
| Revista | MATEMATICALIA Vol. 3 Núm. 4 (págs. 0 a 0) |
Topological Active Nets Optimization Using Genetic Algorithms
| Autores/as | O. Ibáñez, Noelia Barreira Rodríguez, José Santos Reyes, M G Penedo |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4141 (págs. 272 a 282) |
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs
| Autores/as | Pedro Cabalar, Sergei Odintsov, David Pearce |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (págs. 592 a 601) |
Strings and holes: an exercise on spatial representation and reasoning
| Autores/as | Pedro Cabalar, Paulo Eduardo Santos |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (págs. 419 a 429) |
Sentence retrieval with LSI and topic identification
| Autores/as | David Parapar López, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3936 (págs. 119 a 130) |
On the Logic and Computation of Partial Equilibrium Models
| Autores/as | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde Ramos |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4160 (págs. 82 a 94) |
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
| Autores/as | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde Ramos |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4079 (págs. 346 a 360) |
Higher order functions and Walsh coeficcients.
| Autores/as | María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Alain Verschoren |
| Revista | BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 13 (págs. 633 a 643) |
Generalized Walsh Transforms and Epistasis
| Autores/as | María Teresa Iglesias Otero, Concepción Vidal , Alan Verschoren |
| Revista | BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 13 (págs. 55 a 68) |
TSP and cluster-based solutions to the reassignment of document identifiers
| Autores/as | Roi Blanco González, Álvaro Barreiro García |
| Revista | INFORMATION RETRIEVAL Vol. 9 Núm. 4 (págs. 499 a 517) |
Negations and document length in logical retrieval
| Autores/as | David E. Losada Carril, Álvaro Barreiro García |
| Revista | INFORMATION SYSTEMS Vol. 31 Núm. 7 (págs. 610 a 620) |
Neural Clustering Analysis of Macroevolutionary and Genetic Algorithms in the Evolution of Robot Controllers
| Autores/as | Jose Antonio Becerra Permuy, José Santos Reyes |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3562 (págs. 415 a 424) |
Computing epistasis of Template Functions through Walsh Transforms
| Autores/as | María Teresa Iglesias Otero, Concepción Vidal , Alain Verschoren |
| Revista | COMPUTING AND INFORMATICS Vol. 24 (págs. 263 a 279) |
Complex Behaviours through modulation in Autonomous Robot Control
| Autores/as | Jose Antonio Becerra Permuy, Francisco Javier Bellas Bouza, José Santos Reyes, Richard José Duro Fernández |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3512 (págs. 717 a 724) |
Reducing Propositional Theories in Equilibrium Logic to Logic Programs
| Autores/as | Pedro Cabalar, David Pearce, Agustín Valverde |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3808 (págs. 4 a 17) |
Document Identifier Reassignment Through Dimensionality Reduction
| Autores/as | Roi Blanco González, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3408 (págs. 375 a 387) |
A Software Architecture for Effective Document Identifier Reassignment
| Autores/as | Roi Blanco González, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (págs. 254 a 262) |
Negations and document length in logical retrieval
| Autores/as | David E. Losada Carril, Álvaro Barreiro García |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3246 (págs. 196 a 207) |
Logic programs with functions and default values
| Autores/as | Pedro Cabalar, David Lorenzo |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3229 (págs. 294 a 306) |
Aplicación de Algoritmos Genéticos para optimizar curvas termogravimétricas
| Autores/as | Matilde Ríos Fachal, María Teresa Iglesias Otero, Salvador Naya, Francisco Javier Bellas Bouza |
| Revista | ANALES DE INGENIERÍA MECÁNICA Vol. 2 Núm. 15 (págs. 1395 a 1403) |
Modelling Temporal Series Through Synaptic Delay-based Neural Networks
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Revista | NEURAL COMPUTING & APPLICATIONS Vol. 11 (págs. 224 a 237) |
Multimodule Artificial Neural Network Architectures for Autonomous Robot Control Through Behavior Modulation
| Autores/as | José Antonio Becerra Permuy, José Santos Reyes, Richard José Duro Fernández |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2687 (págs. 169 a 176) |
Embedding term similarity and inverse document frequency into a logical model of Information Retrieval
| Autores/as | Álvaro Barreiro García, David Enrique Losada Carril |
| Revista | JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY Vol. 54 Núm. 4 (págs. 285 a 301) |
Propositional logic representations for documents and queries: a large-scale evaluation
| Autores/as | Álvaro Barreiro García, David Enrique Losada Carril |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2633 (págs. 219 a 234) |
Self Pruning Gaussian Synapse Networks for Behavior Based Robots.
| Autores/as | Richard José Duro Fernández, José Santos Reyes, José Antonio Becerra Permuy |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2415 Núm. - (págs. 837 a 843) |
A Rewriting Method for Well-Founded Semantics with Explicit Negation
| Autores/as | Pedro Cabalar |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2401 Núm. - (págs. 378 a 392) |
II-DTB, Discrete Time Backpropagation with Product Unist
| Autores/as | José Santos Reyes, Richard José Duro Fernández |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2084 Núm. - (págs. 207 a 214) |
Considerations in the application of Evolution to the Generation of Robot Controllers
| Autores/as | José Santos Reyes, Richard José Duro Fernández, Jose Antonio Becerra Permuy, Juan Crespo Mariño, Francisco Bellas Bouza |
| Revista | INFORMATION SCIENCES Vol. 133 Núm. - (págs. 133 a 148) |
Influence of Noise on Discrete Time Backpropagation Trained Networks
| Autores/as | José Santos Reyes, Richard José Duro Fernández |
| Revista | Neurocomputing Vol. 41 Núm. - (págs. 67 a 89) |
Behavior Reuse and virtual Sensors in the Evolution of Complex Behavior Architectures
| Autores/as | Richard José Duro Fernández, José Antonio Becerra Permuy, José Santos Reyes |
| Revista | THEORY IN BIOSCIENCES Vol. 120 Núm. - (págs. 188 a 206) |
Pit Units in Temporal Time Delay Based Networks Trained with Descrete Time Backpropagation
| Autores/as | José Santos Reyes, Richard José Duro Fernández |
| Revista | INTERNATIONAL JOURNAL OF COMPUTERS SYSTEMS AND SIGNALS Vol. 2 Núm. 1 (págs. 31 a 42) |
Chaotic Time Series Prediction with Discrete Time Backpropagation
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Revista | ARTIFICIAL NEURAL NETWORKS IN PATTERN RECOGNITION Núm. - (págs. 103 a 115) |
Multary Epistasis
| Autores/as | 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ágs. 651 a 671) |
A Logical Model for Information Retrieval based on Propositional Logic and Belief Revision
| Autores/as | Álvaro Barreiro García, David Enrique Losada Carril |
| Revista | COMPUTER JOURNAL Vol. 44 Núm. 5 (págs. 410 a 424) |
Efficient Algorithms for Ranking Documents Represented as DNF Formulas
| Autores/as | Álvaro Barreiro García, David Enrique Losada Carril |
| Revista | TECHNOLOGY LETTERS Vol. 4 Núm. 1 (págs. 16 a 24) |
Discrete Time Backpropagation for Training Synaptic Delay Based Artificial Neural Networks
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Revista | IEEE TRANSACTIONS ON NEURAL NETWORKS Vol. 10 Núm. 4 (págs. 779 a 789) |
Epistasis and Unitation
| Autores/as | María Teresa Iglesias Otero, Concepción Vidal |
| Revista | COMPUTERS AND ARTIFICIAL INTELLIGENCE Vol. 18 Núm. 5 (págs. 467 a 483) |
Training Higher Order Gaussian Synapses
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Revista | FOUNDATIONS AND TOOLS FOR NEURAL MODELING- LECTURE NOTES IN COMPUTER SCIENCE Vol. 1606 Núm. - (págs. 537 a 545) |
Progressive Construction of Compound Behavior Controllers for Autonomous Robots Using Temporal Information
| Autores/as | Jose Antonio Becerra Permuy, José Santos Reyes, Richard José Duro Fernández |
| Revista | ADVANCES IN ARTIFICIAL LIFE- LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Vol. 1674 Núm. - (págs. 324 a 328) |
Using Temporal Information in ANNs for the Implementation of Autonomous Robot Controllers
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Revista | ENGINEERING APPLICATIONS OF BIO- INSPIRED ARTIFICIAL NEURAL NETWORKS- LECTURE NOTES IN COMPUTER SCIENCE Vol. 1607 Núm. - (págs. 540 a 547) |
Sistemas y Datos para ayudar a dirigir las Empresas de hoy (II)
| Autores/as | Miguel José Rodríguez Rubio, José Mª García-Tizón Iglesias |
| Revista | CÍRCULO DE DIRIGENTES.REVISTA DE LOS DIRIGENTES, DIRECTIVOS Y PROFESIONALES. Vol. 1 Núm. 2 (págs. 12 a 13) |
An alternative approach to involutive Brauer Groups
| Autores/as | Concepción Vidal |
| Revista | LECTURE NOTES IN PURE AND APPLIED MATHEMATICS Vol. 1 Núm. 197 (págs. 311 a 324) |
Sistemas y Datos para ayudar a dirigir las Empresas de hoy (I)
| Autores/as | Miguel José Rodríguez Rubio, José Mª García-Tizón Iglesias |
| Revista | CÍRCULO DE DIRIGENTES.REVISTA DE LOS DIRIGENTES, DIRECTIVOS Y PROFESIONALES. Vol. 1 Núm. 1 (págs. 16 a 17) |
Tecnología de la Información + Trabajo Cooperativo = Sinergia
| Autores/as | Miguel José Rodríguez Rubio, José Mª García-Tizón Iglesias |
| Revista | CÍRCULO DE DIRIGENTES.REVISTA DE LOS DIRIGENTES, DIRECTIVOS Y PROFESIONALES. Vol. 3 Núm. 3 (págs. 16 a 17) |
Development of in-house spectral data manipulation programs following quality guides
| Autores/as | José Manuel Andrade Garda, Darío Prada Rodríguez, Javier Andrade Garda, Jesús Otero Seoane, Miguel José Rodríguez Rubio |
| Revista | LABORATORY AUTOMATION & INFORMATION MANAGEMENT Vol. 33 Núm. 2 (págs. 119 a 127) |
Parallelization of connecitonist models based on a symbolyc formalism
| Autores/as | José Santos Reyes, Ramón Pérez Otero, Manuel Cabarcos Traseira, José Mira Mira |
| Revista | BIOLOGICAL AND ARTIFICIAL COMPUTATION: FROM NEUROSCIENCE TO TECHNOLOGY, LECTURE NOTES IN COMPUTER SCIENCE Vol. 1240 Núm. - (págs. 304 a 312) |
Knowledge refinement of an expert system using a symbolic connectionist approach
| Autores/as | José Santos Reyes, David Lorenzo Blanco, Silvia Gómez Pose, Joaquín Heras Varela, Ramón Pérez Otero |
| Revista | ARTIFICIAL INTELLIGENCE IN MEDICINE Vol. - Núm. - (págs. 516 a 520) |
Introducing planning in discrete event systems
| Autores/as | Pedro Cabalar, Ramón Pérez Otero, Álvaro Barreiro García, Manuel Cabarcos Traseira |
| Revista | COMPUTER AIDED SYSTEMS THEORY, LECTURE IN COMPUTER SCIENCE Vol. 1333 Núm. - (págs. 146 a 159) |
Discrete event simulation in an environment for temporal expert systems
| Autores/as | Álvaro Barreiro García, Pedro Cabalar, P. Otero, D. Lorenzo |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Núm. - (págs. 271 a 286) |
Automatic induction of DEVS Structures
| Autores/as | Pedro Cabalar, P. Otero, D. Lorenzo |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Núm. - (págs. 305 a 313) |
NETTOOL: A hybrid connectionist-symbolic development environment. From natural to artificial neural computation
| Autores/as | José Santos Reyes, R. Otero, J. Mira |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 930 Núm. - (págs. 658 a 665) |
Relatively noetherian rings, localization and sheaves, part III: Functional behaviour
| Autores/as | Concepción Vidal , A. Verschoren |
| Revista | COMMUNICATIONS IN ALGEBRA Vol. 23 Núm. 7 (págs. 2597 a 2619) |
Synaptic modulation based artificial neural networks. From natural to artificial neural computation
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 930 Núm. - (págs. 31 a 36) |
STIMS-MEDTOOL: Integration of Expert Systems Modelling and Simulation
| Autores/as | R.P. Otero, Álvaro Barreiro, Herbert Praefoher, Franz Pichler |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 763 (págs. 347 a 356) |
A modular knowledge base for the follow-up of clinical protocols.
| Autores/as | Álvaro Barreiro, R.P. Otero, R. Marín, J. Mira |
| Revista | METHODS OF INFORMATION IN MEDICINE Vol. 32 (págs. 373 a 381) |
Design and integration of a graphic interface for an expert system in oncology
| Autores/as | R. Marín, M. Taboada, J. Mira, Álvaro Barreiro, R.P. Otero |
| Revista | INTERNATIONAL JOURNAL OF BIO-MEDICAL COMPUTING Vol. 33 Núm. 1 (págs. 25 a 43) |
On the naturality of the iteration and recursive specifications
| Autores/as | José Luis Freire Nistal, Felicidad Aguado, 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/as | José Luis Freire Nistal, Felicidad Aguado |
| Revista | TECHNICAL REPORT - DEPARTMENT OF COMPUTER SCIENCE Vol. 1 Núm. - (págs. 0 a 0) |
Evaluation of Knowledge Based Systems from the User Perspective
| Autores/as | A. Grant, C. Parker-Jones, R. White, D,. Cramp, Álvaro Barreiro, J. Mira, A. Artal, J.M Montero |
| Revista | Lecture Notes in Medical Informatics Vol. 47 (págs. 312 a 3324) |
On Knowledge Based Systems in CCU's: Monitoring and Patients Follow-up,
| Autores/as | J. Mira, R.P. Otero, S. Barro, Álvaro Barreiro, Ruiz, R., R. Marín, A. Delgado, A. Amaro, M. Jacket |
| Revista | Lecture Notes in Medical Informatics Vol. 47 (págs. 174 a 192) |
Fuzzy Specification in Data Capture and Knowledge Representation for an Expert System in Oncology
| Autores/as | Álvaro Barreiro García, J. Mira, Antonio Fermín Yáñez Izquierdo |
| Revista | FUZZY SETS AND SYSTEMS Vol. 44 Núm. - (págs. 431 a 448) |
Towards a computational theory of systems: some cases study
| Autores/as | J. Mira, A. Delgado, R.P. Otero, R. Marín, S. Barro, Álvaro Barreiro |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 410 (págs. 284 a 300) |
Naturality of the conditional and the recurison
| Autores/as | José Luis Freire Nistal, Felicidad Aguado |
| 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/as | 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 |
Digging into Software Knowledge Generation in Cultural Heritage: Modeling Assistance Strategies for Large Archaeological Data Sets. Book Serie: Modeling and Optimization in Science and Technologies Volume 11
| Autores/as | Martin-Rodilla, P. |
| Editorial | Springer International Publishing, (España) |
| ISBN | 978-3-319-69187-9 |
Logic, Leadership and Enthusiasm: A Festschrift in honour of Luis Fariñas del Cerro - Special issue JANCL 27(3-4)
| Editores | Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce |
| Editorial | Taylor and Francis, (España) |
| ISBN | 1166-308 |
Journal of Universal Computer Science, Special Issue on Information Retrieval and Recommender Systems
| Editores | Fidel Cacheda, Javier Parapar |
| Editorial | GRAZ UNIV TECHNOLGOY, Graz (Austria) |
| ISBN | 0948-695X |
TEORIA DE GRAFOS: EJERCICIOS RESUELTOS Y PROPUESTOS. LABORATORIO CON SAGE
| Autores/as | 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 |
"Equilibrium Logic and Answer Set Programming", special issue of the Journal of Applied Non-Classical Logics 23(1-2)
| Editorial | Taylor and Francis, (España) |
| ISBN | 1166-3081 |
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013
| Editores | Pedro Cabalar, Tran Cao Son |
| Editorial | Springer, (España) |
| ISBN | 978-3-642-40563-1 |
MATLAB PARA CÁLCULO EN UNA VARIABLE
| Autores/as | María Teresa Iglesias Otero |
| Editorial | Andavira Editora, S.L., Santiago de Compostela (España) |
| ISBN | 978-84-8408-617-8 |
Vida Artificial. Realizaciones computacionales
| Autores/as | J. Santos |
| Editorial | Servicio de Publicaciones Universidad A Coruña, (España) |
| ISBN | 978-84-9749-184-6 |
Current Topics in Artificial Intelligence. Revised Selected Papers
| Editores | Roque Marín, Eva Onaindía, Alberto Bugarín, José Santos Reyes |
| Editorial | Springer - Verlag, (España) |
| ISBN | 978-3-540-45915-6 |
Foundations of Generic Optimization. Volume 1: A combinatorial approach to epistasis.
| Autores/as | María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal |
| Editorial | Springer, Dordrecht (Países Bajos) |
| ISBN | 1-4020-3666-3 |
Evolución artificial y robótica autónoma
| Autores/as | José Santos Reyes, Richard José Duro Fernández |
| Editorial | RA-MA, Madrid (España) |
| ISBN | 8478976310 |
Biologically Inspired Robot Behavior Engineering
| Editorial | Physica-Verlag, Heidelberg (Alemania) |
| ISBN | 3-7908-1513-6 |
Algoritmos genéticos generalizados. Variaciones sobre un tema
| Autores/as | María Teresa Iglesias Otero |
| Editorial | Univ. La Coruña, Coruña, A (España) |
| ISBN | 84-89694-80-x |
Localization and sheaves: a relative point of you. Pitman Research Notes in Mathematics Series
| Autores/as | Concepción Vidal , P. Jara, A. Verschoren |
| Editorial | Longman, (Estados Unidos) |
| ISBN | nodef-0548 |
Tumor growth emergent behavior analysis based on cancer hallmarks and in a cancer stem cell context
| Autores/as | José Santos Reyes,Ángel Monteagudo |
| Libro |
Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology Edita Elsevier. ISBN: 9780128042595 |
| Páginas | De la 545 a la 558 |
Using evolved artificial neural networks for providing an emergent segmentation with an active net model
| Autores/as | Jorge Novo,Cristina V. Sierra,José Santos Reyes,Manuel González Penedo |
| Libro |
Recent Advances in Knowledge - Based Paradigms and Applications - Advances in Intelligent Systems and Computing Vol. 234 Edita Springer - Verlag. ISBN: 9783319016481 |
| Páginas | De la 57 a la 72 |
Emergent Image Segmentation by Means of Evolved Connectionist Models and Using a Topological Active Net Model
| Autores/as | Jorge Novo,Cristina V. Sierra,José Santos Reyes,Manuel González Penedo |
| Libro |
Agents and Artificial Intelligence Vol. 449 Edita springer verlag. ISBN: 978-3-662-44439 |
| Páginas | De la 1 a la 113 |
Causal Logic Programming" in Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Esra Er
| Autores/as | Pedro Cabalar |
| Libro |
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz Edita Springer - Verlag. ISBN: SBN 978-3-642-30743-0 |
| Páginas | De la 102 a la 116 |
Answer Set; Programming?
| Autores/as | Pedro Cabalar |
| Libro |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday) Vol. 1 Edita Springer. ISBN: 978-3-642-20831-7 |
| Páginas | De la 334 a la 343 |
Agrupamiento documentale
| Autores/as | Eduardo Ares, M.,Javier Parapar,Álvaro Barreiro García |
| Libro |
Recuperación de Información. Un enfoque práctico y multidisciplinar Edita RA-MA Editorial. ISBN: 978-84-9964-112-6 |
| Páginas | De la 393 a la 418 |
Evolving robot behavior for centralized action selection
| Autores/as | Fernando Montes González,José Santos Reyes |
| Libro |
Advances in Artificial Intelligence Applications Vol. 17 Edita Centro de Investigación en Computación del IPN. ISBN: 16659899 |
| Páginas | De la 213 a la 213 |
Robot Controller Evolution with Macroevolutionary Algorithms
| Autores/as | Jose Antonio Becerra Permuy,José Santos Reyes,Richard José Duro Fernández |
| Libro |
Information Processing with Evolutionary Algorithms From Industrial Applications to Academic Speculations Vol. - Edita Springer. ISBN: 1-85233-866-0 |
| Páginas | De la 117 a la 128 |
Some approaches for reusing behaviour based robot cognitive architectures obtained through evolution
| Autores/as | Richard José Duro Fernández,José Santos Reyes,Jose Antonio Becerra Permuy |
| Libro |
Biologically Inspired Robot Behavior Engineering Vol. - Edita Physica-Verlag. ISBN: 3-7908-1513-6 |
| Páginas | De la 239 a la 260 |
Symmetric Closed Categories and Involutive Brauer Groups
| Autores/as | Concepción Vidal |
| Libro |
Ring Theory and Algebraic Geometry Vol. - Edita Marcel Dekker. ISBN: 0-8247-0559-9 |
| Páginas | De la 325 a la 339 |
Contraste y Validación en Ambiente Real del Modelado Neuronal para la Predicción del Fracaso Empresarial
| Autores/as | Manuel Rodríguez López,José Santos Reyes |
| Libro |
Actas de la IX Conferencia de la Asociación Española para la Inleligencia Artificial (CAEPIA 2001).Actas Vol. - Edita Servicio Publicaciones Univ. de Oviedo. ISBN: 84-932297-0-9 |
| Páginas | De la 0 a la 0 |
Evolving ANN Controllers for Smart Mobile Robots
| Autores/as | Richard José Duro Fernández,José Antonio Becerra Permuy,José Santos Reyes |
| Libro |
Future Directions for Intelligent Systems and Information Sciencias Vol. - Edita Physica Verlag. ISBN: 3-7908-1276-5 |
| Páginas | De la 34 a la 64 |
The Artificial Intelligence perspective in prevention, diagnosis and rehabilitation: some cases study.
| Autores/as | J. Mira,R. Marín,R.P. Otero,S. Barro,A. Delgado,Álvaro Barreiro,Ruiz, R. |
| Libro |
Actualidades en Medicina Física y de Rehabilitación Edita Sepresa. ISBN: 84-404-8745-2 |
| Páginas | De la 1 a la 7 |
Fuzzy knowledge representation for leukemia diagnosis in children oncology
| Autores/as | Álvaro Barreiro,J. Mira,R. Marín,A. Delgado,J.M. Couselo |
| Libro |
Progress in Fuzzy Sets and Systems Edita Kluwer Acad. Publ. ISBN: 0-7923-0730-5 |
| Páginas | De la 22 a la 34 |
Métodos de computación evolutiva para a predición da estrutura de proteínas e para a modelización computacional do proceso de pregado de proteínas
| Autor/a | Daniel Varela Miguéns |
| Director/es | José Santos Reyes |
| Ámbito | Facultad de Informática |
| Calificación | Sobresaliente Cum Laude |
Information Retrieval Models for Recommender Systems
| Autor/a | Daniel Valcarce Silva |
| Director/es | Álvaro Barreiro García; Javier Parapar López |
| Ámbito | Facultad de Informática |
| Calificación | Sobresaliente Cum Laude |
Tumor growth analysis using cellular automata based on the cancer hallmarks
| Autor/a | Ángel Monteagudo Insua |
| Director/es | José Santos Reyes |
| Ámbito | Facultad de Informática |
| Calificación | Sobresaliente Cum Laude |
A casual semantics for logic programming
| Autor/a | Jorge Fandiño García |
| Director/es | José Pedro Cabalar Fernández |
| Ámbito | Facultad de Informática |
| Calificación | Sobresaliente Cum Laude |
Temporal answer set programming
| Autor/a | Martín Diéguez Lodeiro |
| Director/es | José Pedro Cabalar Fernández |
| Ámbito | Computación |
| Calificación | Sobresaliente Cum Laude |
Relevance-Based Language Models: New Estimations and Applications
| Autor/a | Javier Parapar López |
| Director/es | Álvaro Barreiro García |
| Ámbito | Computación |
| Calificación | Apto Cum Laude |
Constrained Clustering Algorithms: Practical Issues and Applications
| Autor/a | Manuel Eduardo Ares Brea |
| Director/es | Álvaro Barreiro García |
| Ámbito | Computación |
| Calificación | Apto Cum Laude |
Clasificación Automática de Documentación Clínica
| Autor/a | José David Lojo Vicente |
| Director/es | Álvaro Barreiro García; David Enrique Losada Carril |
| Ámbito | Computación |
| Calificación | Apto |
Evolutionary Optimization of Topological Active Models for Image Segmentation
| Autor/a | Jorge Novo Buján |
| Director/es | José Santos Reyes; Manuel Fco. González Penedo |
| Ámbito | Computación |
| Calificación | Apto Cum Laude |
Index compression for information retrieval systems
| Autor/a | Roi Blanco González |
| Director/es | Álvaro Barreiro García |
| Ámbito | Computación |
| Calificación | Sobresaliente Cum Laude |
Epistasis superior
| Autor/a | Vicente Suarez Peñaranda |
| Director/es | María Teresa Iglesias Otero;Alain Verschoren |
| Ámbito | Electrónica y Sistemas |
| Calificación | Sobresaliente Cum Laude |
Aproximación evolutiva para la obtención incremental de arquitecturas modulares de comportamientos en robots autónomos
| Autor/a | José Antonio Becerra Permuy |
| Director/es | Richard José Duro Fernández;José Santos Reyes |
| Ámbito | Computación |
| Calificación | Sobresaliente Cum Laude |
A logical model of information retrieval based on propositional logic and belief revision
| Autor/a | David Enrique Losada Carril |
| Director/es | Álvaro Barreiro García |
| Ámbito | Computación |
| Calificación | Sobresaliente Cum Laude |
Algoritmos genéticos generalizados. Variaciones sobre un tema.
| Autor/a | María Teresa Iglesias Otero |
| Director/es | Concepción Vidal Martín;Alain Verschoren |
| Ámbito | Computación |
| Calificación | Apto |
The wisdom of the rankers: a cost-effective method for building pooled test collections without participant systems
ACM SAC '21 36th Annual ACM Symposium on Applied Computing
Internacional
| Autores/as | David Otero, Javier Parapar, Álvaro Barreiro |
| Lugar | Seul (Corea del Sur) |
| DOI | https://doi.org/10.1145/3412841.3441947 |
Testing the tests: simulation of rankings to compare statistical significance tests in information retrieval evaluation
ACM SAC '21 36th Annual ACM Symposium on Applied Computing
Internacional
| Autores/as | David E. Losada, Javier Parapar, Álvaro Barreiro |
| Lugar | Seul (Corea del Sur) |
| DOI | https://doi.org/10.1145/3412841.3441945 |
Forgetting auxiliary atoms in forks
International Joint Conference on Artifical Intelligence 2020 (IJCAI)
Internacional
| Autores/as | Felicidad Aguado, Gilberto Pérez, cabalar, Jorge Fandinno, David Pearce, Concepción Vidal |
| Lugar | Yokohama (Japón) |
Novel and Diverse Recommendations by Leveraging Linear Models with User and Item Embeddings
43rd European Conference on Information Retrieval (ECIR 2021)
Internacional
| Autores/as | Alfonso Landin, Javier Parapar, Álvaro Barreiro |
| Lugar | Lucca (Italia) |
Autoevaluación, co-evaluación y estudio empírico frente a técnicas de evaluación tradicionales en la asignatura de Sistemas Operativos
XXVII Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2021) https://jenui2021.uv.es/
Nacional
| Autores/as | Martin-Rodilla, P., Javier Parapar |
| Organizador | Universitat de Valencia (UV) |
| Lugar | Valencia (España) |
Protocolo de autoevaluación e impacto frente a técnicas tradicionales en la docencia práctica de Sistemas Operativos
V Xornadas de Innovación Docente na UDC. Centro Universitario de Formación e Innovación Educativa (CUFIE), UDC
https://www.udc.es/en/cufie/INNOVACION/xornada_innovacion/V-Xornadas-de-Innovacion-Docente-na-UDC/
Autonómico
| Autores/as | Martin-Rodilla, P., Javier Parapar, Álvaro Barreiro |
| Organizador | Universidade da Coruña (UDC) |
| Lugar | Coruña, A (España) |
eRisk 2021: Pathological Gambling, Self-harm and Depression Challenges
43rd European Conference on Information Retrieval (ECIR 2021)
Internacional
| Autores/as | Javier Parapar, Martin-Rodilla, P., David E. Losada, FABIO CRESTANI |
| Lugar | Lucca (Italia) |
Adding Temporal Dimension to Ontology Learning Models for Depression Signs Detection from Social Media Texts
15th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
Internacional
| Autores/as | Martin-Rodilla, P. |
| Lugar | Praga (República Checa) |
| DOI | https://doi.org/10.5220/0009351903230330 |
Experimental Analysis of the Relevance of Features and Effects on Gender Classification Models for Social Media Author Profiling
16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021)
Internacional
| Autores/as | Piot, P., Martin-Rodilla, P., Javier Parapar |
| Lugar | Praga (República Checa) |
Shallow Neural Models for Top-N Recommendation
24th European Conference on Artificial Intelligence (ECAI 2020)
Internacional
| Autores/as | Alfonso Landin, Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
| Lugar | Santiago de Compostela (España) |
| DOI | https://doi.org/10.3233/faia200449 |
Explicit Negation in Linear-Dynamic Equilibrium Logic
24th European Conference on Artificial Intelligence (ECAI 2020)
Internacional
| Autores/as | Felicidad Aguado, cabalar, fandinno, pérez, Concepción Vidal |
| Lugar | Santiago de Compostela (España) |
Beaver: Efficiently Building Test Collections for Novel Tasks
Joint Conference of the Information Retrieval Communities in Europe (CIRCLE 2020)
Internacional
| Autores/as | David Otero, Javier Parapar, Álvaro Barreiro |
| Lugar | Samatan (Francia) |
Hacia una conceptualización y representación visual estratigráfica desacoplada: el megalitismo como caso de estudio
Theoretical Archaeology Group (TAG). Lisboa, Febrero, 2020. https://digital.csic.es/handle/10261/237840
Internacional
| Autores/as | Martin-Rodilla, P., Tejedor-Rodríguez, C., Masaguer, M. |
| Organizador | Universidade de Lisboa |
| Lugar | Lisboa (Portugal) |
Revisiting Explicit Negation in Answer Set Programming
35th International Conference on Logic Programming (ICLP 2019)
Internacional
| Autores/as | 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) |
Building High-Quality Datasets for Information Retrieval Evaluation at a Reduced Cost
XoveTIC 2019
Internacional
| Autores/as | David Otero, Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
| Organizador | Centro de Investigación en Tecnoloxías da Información e as Comunicacións (CITIC) |
| Lugar | Coruña, A (España) |
| DOI | https://doi.org/10.3390/proceedings2019021033 |
PRIN: A Probabilistic Recommender with Item Priors and Neural Models
41st European Conference on Information Retrieval (ECIR 2019)
Internacional
| Autores/as | Alfonso Landin, Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
| Lugar | Colonia (Alemania) |
| DOI | https://doi.org/10.1007/978-3-030-15712-8_9 |
A Complete Planner for Temporal Answer Set Programming
19th EPIA Conference on Artificial Intelligence, EPIA 2019
Internacional
| Autores/as | Pedro Cabalar, Manuel Rey, Concepción Vidal |
| Lugar | Vila Real (Portugal) |
Priors for Diversity and Novelty on Neural Recommender Systems
XoveTIC 2019
Internacional
| Autores/as | Alfonso Landin, Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
| Organizador | Centro de Investigación en Tecnoloxías da Información e as Comunicacións (CITIC) |
| Lugar | Coruña, A (España) |
| DOI | https://doi.org/10.3390/proceedings2019021020 |
Introducing Temporal Stable Models for Linear Dynamic Logic
16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18)
Internacional
| Autores/as | Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub |
| Organizador | KR org |
| Lugar | Tempe, Arizona (Estados Unidos) |
Term Association Measures for Memory-based Recommender Systems
V Congreso Español de Recuperación de Información (CERI 2018)
Nacional
| Autores/as | Eva Suárez-García, Alfonso Landin, Daniel Valcarce, Álvaro Barreiro |
| Organizador | Universidad de Zaragoza (UNIZAR) |
| Lugar | Zaragoza (España) |
| DOI | https://doi.org/10.1145/3230599.3230606 |
Cost-effective construction of Information Retrieval Text Collections
V Congreso Español de Recuperación de Información (CERI 2018)
Nacional
| Autores/as | David E. Losada, Javier Parapar, Álvaro Barreiro |
| Organizador | Universidad de Zaragoza (UNIZAR) |
| Lugar | Zaragoza (España) |
| DOI | https://doi.org/10.1145/3230599.3230612 |
Docencia en Sistemas de Acceso á Información: detección de plaxios, emprego de tecnoloxías avanzadas para desenvolvemento software e achegamento da experiencia na industria á aula
III Xornadas de Innovación Docente. Contextos universitarios transformadores: construíndo espazos de aprendizaxe (ISSN: 2605-1222)
Local
| Autores/as | Paula Lopez-Otero, Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
| Organizador | Universidade da Coruña (UDC) |
| Lugar | Coruña, A (España) |
Query Expansion as a Matrix Factorization Problem: Extended Abstract
V Congreso Español de Recuperación de Información (CERI 2018)
Nacional
| Autores/as | Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
| Organizador | Universidad de Zaragoza (UNIZAR) |
| Lugar | Zaragoza (España) |
| DOI | https://doi.org/10.1145/3230599.3230603 |
LiMe: Linear Methods for Pseudo-Relevance Feedback
33rd ACM SIGAPP Symposium On Applied Computing (SAC-2018)
Internacional
| Autores/as | Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
| Lugar | Pau (Francia) |
| DOI | https://doi.org/10.1145/3167132.3167207 |
Multi-Context Systems: Dynamics and Evolution
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
Internacional
| Autores/as | Stefania Costantini, Andrea Formisano, Pedro Cabalar |
| Lugar | Espoo (Finlandia) |
A protein folding model using the Face-Centered Cubic lattice model
GECCO 2017 (Core A)
Internacional
| Autores/as | José Santos Reyes, Daniel Varela |
| Lugar | Berlin (Alemania) |
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/as | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
| Lugar | Espoo (Finlandia) |
A hybrid evolutionary algorithm for protein structure prediction using the Face-Centered Cubic lattice model
ICONIP 2017 (Core A)
Internacional
| Autores/as | José Santos Reyes, Daniel Varela |
| Lugar | Guangzhou (China) |
Forgetting Auxiliary Atoms as Forks
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
Internacional
| Autores/as | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
| Lugar | Espoo (Finlandia) |
Protein folding modeling with neural cellular automata using the Face-Centered Cubic model
IWINAC2017
Internacional
| Autores/as | José Santos Reyes, Daniel Varela |
| Lugar | Coruña, A (España) |
Combining Top-N Recommenders with Metasearch Algorithms
40th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2017)
Internacional
| Autores/as | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
| Organizador | ACM |
| Lugar | Tokyo (Japón) |
| DOI | https://doi.org/10.1145/3077136.3080647 |
Protein Folding Modeling with Neural Cellular Automata Using Rosetta
GECCO2016 (Core A)
Internacional
| Autores/as | José Santos Reyes, Daniel Varela |
| Lugar | Denver (Estados Unidos) |
Computing Neighbourhoods with Language Models in a Collaborative Filtering Scenario
7th Italian Information Retrieval Workshop (IIR 2016)
Internacional
| Autores/as | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
| Lugar | Venezia (Italia) |
Efficient Pseudo-Relevance Feedback Methods for Collaborative Filtering Recommendation
38th European Conference on IR Research (ECIR 2016)
Internacional
| Autores/as | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
| Lugar | Padua (Italia) |
| DOI | https://doi.org/10.1007/978-3-319-30671-1_44 |
Language Models for Collaborative Filtering Neighbourhoods
38th European Conference on IR Research (ECIR 2016)
Internacional
| Autores/as | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
| Lugar | Padua (Italia) |
| DOI | https://doi.org/10.1007/978-3-319-30671-1_45 |
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/as | Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Lugar | Rota (España) |
Equilibrium Graphs
9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), workshop of ICLP 2016
Internacional
| Autores/as | Pedro Cabalar, Carlos Pérez Ramil, Gilberto Pérez |
| Lugar | New York (Estados Unidos) |
An ASP Semantics for Default Reasoning with Constraints
International Joint Conference on Artificial Intelligence (IJCAI'16)
Internacional
| Autores/as | Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub |
| Organizador | AAAI |
| Lugar | New York (Estados Unidos) |
Feeling lucky?: multi-armed bandits for ordering judgements in pooling-based evaluation
ACM SAC '16 Proceedings of the 31st Annual ACM Symposium on Applied Computing
Internacional
| Autores/as | David E. Losada, Javier Parapar, Álvaro Barreiro |
| Organizador | ACM |
| Lugar | Pisa (Italia) |
| DOI | https://doi.org/10.1145/2851613.2851692 |
Additive Smoothing for Relevance-Based Language Modelling of Recommender Systems
Congreso Español de Recuperación de Información (CERI'16)
Nacional
| Autores/as | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
| Organizador | UNIVERSIDAD DE GRANADA |
| Lugar | Granada (España) |
| DOI | https://doi.org/10.1145/2934732.2934737 |
Evolution of synaptic delay based neural controllers for implementing central pattern generators in hexapod robotic structures
International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015
Internacional
| Autores/as | José Santos Reyes, Pablo Fernández |
| Lugar | Elche/Elx (España) |
An infinitary encoding of temporal equilibrium logic
International Conference of Logic Programming ICLP 2015
Internacional
| Autores/as | Pedro Cabalar, Martín Diéguez Lodeiro, Concepción Vidal |
| Organizador | Association for Logic Programming |
| Lugar | Cork (Irlanda) |
Combination of differential evolution and fragment-based replacements for protein structure prediction
GECCO 2015 - Genetic and Evolutionary Computation Conference
Internacional
| Autores/as | José Santos Reyes, Daniel Varela |
| Lugar | Madrid (España) |
Evolutionary optimization of cancer treatments in a cancer stem cell context
GECCO 2015 - Genetic and Evolutionary Computation Conference
Internacional
| Autores/as | José Santos Reyes, Ángel Monteagudo |
| Lugar | Madrid (España) |
A Study of Priors for Relevance-Based Language Modelling of Recommender Systems
9th ACM Conference on Recommender Systems (RecSys 2015)
Internacional
| Autores/as | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
| Lugar | Vienna (Austria) |
| DOI | https://doi.org/10.1145/2792838.2799677 |
A denotational semantics for equilibrium logic
International Conference of Logic Programming ICLP 2015
Internacional
| Autores/as | Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal |
| Organizador | Association for Logic Programming |
| Lugar | Cork (Irlanda) |
A Study of Smoothing Methods for Relevance-Based Language Modelling of Recommender Systems
37th European Conference on Information Retrieval (ECIR 2015)
Internacional
| Autores/as | Daniel Valcarce, Javier Parapar, Álvaro Barreiro García |
| Lugar | Vienna (Austria) |
Strong Equivalence of Non-Monotonic Temporal Theories
14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
Internacional
| Autores/as | Pedro Cabalar, Martín Diéguez |
| Lugar | Viena (Austria) |
When Recommenders Met Big Data: an Architectural Proposal and Evaluation
III Congreso Español de Recuperación de la Información (CERI 2014)
Nacional
| Autores/as | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
| Organizador | Sociedad Española de Recuperación de Información |
| Lugar | Coruña, A (España) |
Temporal Stable Models are LTL-representable
7th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'14)
Internacional
| Autores/as | Pedro Cabalar, Martín Diéguez |
| Lugar | Viena (Austria) |
Integrating Temporal Extensions of Answer Set Programming
12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13)
Internacional
| Autores/as | Concepción Vidal , Felicidad Aguado, Gilberto Pérez |
| Lugar | Coruña, A (España) |
La Estadística en los Algoritmos Genéticos: el teorema de los esquemas
XI CONGRESO GALEGO DE ESTATÍSTICA E INVESTIGACIÓN DE OPERACIÓNS
Nacional
| Autores/as | María Teresa Iglesias Otero |
| Lugar | Coruña, A (España) |
Redes Neuronales Artificiales y predicción del fallo empresarial: superación del enfoque de "caja negra" con algoritmos de poda y análisis de sensibilidad
XVII Congreso AECA
Internacional
| Autores/as | Carlos Piñeiro Sánchez, Manuel Rodríguez López, Pablo De Llano Monelos, José Santos Reyes |
| Organizador | AECA - Asociación Española de Contabilidad y Administración de Empresas |
| Lugar | Pamplona/Iruña (España) |
Cellular automata for modeling protein folding using the HP model
IEEE CEC 2013 - IEEE Congress on Evolutionary Computation (Core A)
Internacional
| Autores/as | José Santos Reyes, Martín Diéguez Lodeiro, Pablo Villot |
| Lugar | Cancún (México) |
An algebra of causal chains
6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13)
Internacional
| Autores/as | Pedro Cabalar, Jorge Fandinno |
| Lugar | Estambul (Turquía) |
Cancer stem cell modeling using a cellular automaton
IWINAC - 2013, International Work-Conference on the Interplay between Neural and Artificial Computation
Internacional
| Autores/as | José Santos Reyes, Ángel Monteagudo |
| Lugar | Palma (España) |
Loop formulas for splitable temporal logic programs
12th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR13
Internacional
| Autores/as | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Lugar | Coruña, A (España) |
Combination of reinforcement learning with evolution for automatically obtaining robot neural controllers
IEEE CEC 2013 - IEEE Congress on Evolutionary Computation (Core A)
Internacional
| Autores/as | José Santos Reyes, Rodrigo Palacios Leiva, Ricardo Cruz Alvarez, V.R., Montes-Gonzalez,, L. Rascon Perez |
| Lugar | Cancún (México) |
Emergent segmentation of topological active nets by means of evolutionary obtained artificial neural networks
International Conference on Agents and Artificial Intelligence (ICAART'13)
Internacional
| Autores/as | C. V. Sierra, J. Novo, J. Santos, M G Penedo |
| Organizador | Institute for Systems and Technologies of Information, Control and Communication (INSTICC) |
| Lugar | Barcelona (España) |
An Investigation of Actions, Change and Space
23rd International Conference on Automated Planning and Scheduling, ICAPS 2013
Internacional
| Autores/as | Paulo E. Santos, Pedro Cabalar |
| Lugar | Roma (Italia) |
Evolved center-crossing recurrent synaptic delay based neural networks for biped locomotion control
IEEE CEC 2013 - IEEE Congress on Evolutionary Computation
Internacional
| Autores/as | José Santos Reyes |
| Lugar | Cancún (México) |
A cellular automaton model for tumor growth simulation
PACBB '2012: 6th International Conference on Practical Applications of Computational Biology & Bioinformatics
Internacional
| Autores/as | José Santos Reyes, Ángel Monteagudo |
| Lugar | Salamanca (España) |
Análisis de herramientas para la docencia práctica en Recuperación de Información
IX FORO INTERNACIONAL SOBRE LA EVALUACIÓN DE LA CALIDAD DE LA INVESTIGACIÓN Y DE LA EDUCACIÓN SUPERIOR (FECIES). Santiago de Compostela (España), 12-15 de Junio de 2012
Nacional
| Autores/as | Javier Parapar, Álvaro Barreiro |
| Lugar | Santiago de Compostela (España) |
Evolved artificial neural networks for controlling Topological Active Nets deformation and for medical image segmentation
International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'12)
Internacional
| Autores/as | Cristina V. Sierra, J. Novo, J. Santos, M G Penedo |
| Organizador | KES International |
| Lugar | Donostia-San Sebastián (España) |
Language Modelling of Constraints for Text Clustering
ECIR 2012 34th European Conference on Information Retrieval.
Internacional
| Autores/as | Javier Parapar, Álvaro Barreiro |
| Organizador | Universitat Pompeu Fabra (UPF) |
| Lugar | Barcelona (España) |
| DOI | https://doi.org/10.1007/978-3-642-28997-2_30 |
Study of cancer hallmarks relevance using a cellular automaton tumor growth model
PPSN 2012: Parallel Problem Solving from Nature - PPSN XII
Internacional
| Autores/as | José Santos Reyes, Ángel Monteagudo |
| Lugar | Taormina (Italia) |
Constrained Text Clustering using Word Trigrams
II Congreso Español de Recuperación de la Información (CERI 2012)
Nacional
| Autores/as | Eduardo Ares, M., Álvaro Barreiro |
| Organizador | Sociedad Española de Recuperación de Información |
| Lugar | Valencia (España) |
Paving the way for temporal grounding
28th International Conference on Logic Programming
ICLP 2012
Internacional
| Autores/as | 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) |
Knots World: an investigation of actions, change and space
Spatio-temporal Dynamics Workshop (STeDy'12) (inside ECAI 2012)
Internacional
| Autores/as | Paulo E. Santos, Pedro Cabalar |
| Organizador | EurAI |
| Lugar | Montpellier (Francia) |
Improving Text Clustering with Social Tagging,
AAAI ICWSM 2011 Proceedings of the Fifth International Conference on Weblogs and Social Media
Internacional
| Autores/as | Eduardo Ares, M., Javier Parapar, Álvaro Barreiro |
| Lugar | Barcelona (España) |
Where to start fitering redundancy? A cluster-based approach
33rd ACM International Conference on Research and Development in Information Retrieval SIGIR¿10
Internacional
| Autores/as | Ronald Teijeira Fernández, Javier Parapar, David E. Losada Carril, Álvaro Barreiro García |
| Lugar | Ginebra (Suiza) |
An Experiment on Tabled Evaluation for Hidden Predicates
1st Workshop on Grounding and Transformations for Theories with Variables (GTTV'11) (inside LPNMR'11)
Internacional
| Autores/as | Pedro Cabalar, Martín Diéguez |
| Lugar | Vancouver (Canadá) |
Blog Snippets: A comments-biased approach
33rd ACM International Conference on Research and Development in Information Retrieval SIGIR¿10
Internacional
| Autores/as | Javier Parapar, Jorge López Castro, Álvaro Barreiro García |
| Lugar | Ginebra (Suiza) |
Logic Programs and Causal Proofs
10th Intl. Symposium on Logical Formalization on Commonsense Reasoning (Commonsense'11)
Internacional
| Autores/as | Pedro Cabalar |
| Lugar | Palo Alto (Estados Unidos) |
Fórmulas de ciclo para programas lógicos temporales: una primera aproximación
RSME 11
Nacional
| Autores/as | Gilberto Pérez, Felicidad Aguado, Concepción Vidal |
| Organizador | Real Sociedad Matemática Española |
| Lugar | Ávila (España) |
Multiobjective optimization of the 3D Topological Active Volume segmentation model
International Conference on Agents and Artificial Intelligence (ICAART'11)
Internacional
| Autores/as | J. Novo, M G Penedo, José Santos Reyes |
| Organizador | Institute for Systems and Technologies of Information, Control and Communication (INSTICC) |
| Lugar | Roma (Italia) |
Temporal Logic Programs with variables
Workshop on Grounding and Transformations for Theories with Variables (GTTV'17)
Internacional
| Autores/as | Pedro Cabalar |
| Lugar | Espoo (Finlandia) |
Blog posts and comments extraction and impact on retrieval efectiveness
1st Spanish Conference on Information Retrieval CERI'10
Internacional
| Autores/as | Javier Parapar, Jorge López Castro, Álvaro Barreiro García |
| Lugar | Madrid (España) |
Evaluación de técnicas de aprendizaje activo para codificación CIE9-MC de informes de alta hospitalaria
1st Spanish Conference on Information Retrieval CERI'10
Internacional
| Autores/as | David Lojo Vicente, David E. Losada Carril, Álvaro Barreiro García |
| Lugar | Madrid (España) |
Differential Evolution for Protein Structure Prediction Using the HP Model
IWINAC2011 - International Work-conference on the Interplay between Natural and Artificial Computation
Internacional
| Autores/as | José Santos Reyes, Martin Diéguez |
| Lugar | Santa Cruz de la Palma (España) |
Evolution of Adaptive Center-crossing Continuous Time Recurrent Neural Networks for Biped Robot Control
European Symposium on Artificial Neural Networks (ESANN 2010)
Internacional
| Autores/as | Ángel Campo Penín, José Santos Reyes |
| Lugar | Brujas (Bélgica) |
An automatic linking service of document images reducing the effect of OCR errors with latent semantics
25th ACM Symposium on applied computing ACM SAC 2010
Internacional
| Autores/as | Renato De Freitas Bulcao-Neto, José Antonio Camacho Guerrero, Álvaro Barreiro García, Javier Parapar, Alessandra Alaniz Macedo |
| Lugar | Lausanne (Suiza) |
Optimization of Topological Active Models with Multiobjective Evolutionary Algorithms
ICPR 2010 - 20th International Conference on Pattern Recognition
Internacional
| Autores/as | Jorge Novo Buján, José Santos Reyes, M G Penedo, Alba Fernández Arias |
| Lugar | Estambul (Turquía) |
Safety Preserving Transformations for General Answer Set Programs
LOPSTR 2009,19th International Symposium on Logic-Based Program Synthesis and Transformation
Internacional
| Autores/as | Pedro Cabalar, David Pearce, Agustín Valverde |
| Lugar | Cohimbra (Portugal) |
Enabling the Grid for experiments in distributed information retrieval
1st EELA-2 Conference CIEMAT 2009
Internacional
| Autores/as | Raúl Ramos Pollan, Álvaro Barreiro García |
| Lugar | Bogotá (Colombia) |
Inductive Logic Programming for Agent Control Learning in the RoboCup Soccer Simulation
CAEPIA-TTIA 2009, XIII Conferencia de la Asociación Española para la Inteligencia Artificial
Internacional
| Autores/as | Alberto Domínguez Illobre, Álvaro García Bargo, Jorge González Iglesias, Ramón Pérez Otero, José Santos Reyes |
| Lugar | Sevilla (España) |
Compression-based document length prior for Language Models
SIGIR¿09, 32nd ACM Internatinal Conference on Research and Development in Information Retrieval
Internacional
| Autores/as | Javier Parapar, David E. Losada Carril, Álvaro Barreiro García |
| Lugar | Boston (Estados Unidos) |
Existential Quantifiers in the Rule Body
WLP 2009, 23rd Workshop on (Constraint) Logic Programming
Internacional
| Autores/as | Pedro Cabalar |
| Lugar | Potsdam (Alemania) |
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/as | Felicidad Aguado, José Mª Molinelli Barba, Gilberto Pérez, Concepción Vidal |
| Lugar | Gijón (España) |
Winnowing-Based Text Clustering
CIKM 2008 - 17th ACM conference on information and knowledge management (Workshop Proceedings)
Internacional
| Autores/as | Javier Parapar, Álvaro Barreiro García |
| Lugar | Napa Valley, California (Estados Unidos) |
Deception, order and epistasis
GEM 2008 - The 2008 International Conference on Genetic and Evolutionary Methods (WORLDCOMP¿08)
Internacional
| Autores/as | Concepción Vidal , María Teresa Iglesias Otero, Alain Verschoren |
| Lugar | Las Vegas (Estados Unidos) |
Segmentation of legislative documents using a domain-specific lexicon
DEXA 2008 - 19th International Workshop on Database and Expert Systems Applications
Internacional
| Autores/as | Ismael Hasan Romero, Javier Parapar, Roi Blanco González |
| Lugar | Turin (Italia) |
Boosting Static Pruning of Inverted Files
SIGIR 2007, 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
Internacional
| Autores/as | Roi Blanco González, Álvaro Barreiro García |
| Lugar | Amsterdam (Países Bajos) |
Topological Active Volumes Optimization with Genetic Approaches
CAEPIA-TIIA 2007, XII Conferencia de la Asociación Española para la Inteligencia Artificial
Internacional
| Autores/as | Jorge Novo Buján, Noelia Barreira Rodríguez, M G Penedo, José Santos Reyes |
| Lugar | Salamanca (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/as | Felicidad Aguado, José Mª Molinelli Barba, Gilberto Pérez, Concepción Vidal , Ana Maria Vieites Rodriguez |
| Lugar | San José (Costa Rica) |
Automatic Topological Active Net Division in a Genetic-Greedy Hybrid Approach
3rd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA 2007)
Nacional
| Autores/as | Noelia Barreira Rodríguez, M G Penedo, Óscar Ibáñez Panizo, José Santos Reyes |
| Lugar | Girona (España) |
Overall comparison at the standard levels of recall of multiple retrieval methods with the Friedman test
29th European Conference on Information Retrieval. Euro XXII
Internacional
| Autores/as | Manuel Antonio Presedo Quindimil, Álvaro Barreiro García, José María Casanova Crespo |
| Lugar | Roma (Italia) |
Holes, Knots and Shapes: A Spatial Ontology of a Puzzle
COMMONSENSE 2007, 8th International Symposium on Logical Formalization of Commonsense Reasoning
Internacional
| Autores/as | Paulo Santos, Pedro Cabalar |
| Lugar | Palo Alto, CA (Estados Unidos) |
Retrieval of relevant and novel sentences applying Information Retrieval models and techniques
CEDI 2007, VII Jornada de Seguimiento de Proyectos en Tecnologías Informáticas en el área de Inteligencia Artificial, II Congreso Español de Informática.(jspTIN)
Nacional
| Autores/as | David E. Losada Carril, Álvaro Barreiro García |
| Lugar | Zaragoza (España) |
Simulated evolution of the adaptability of the genetic code using genetic algorithms
2nd. International Work-Conference on the Interplay between Natural and Arti cial Computation, IWINAC 2007
Internacional
| Autores/as | José Santos Reyes, Ángel Monteagudo |
| Lugar | Murcia (España) |
Genetic-Greedy Hybrid Approach for Topological Active Nets Optimization
8th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2007
Internacional
| Autores/as | José Santos Reyes, Óscar Ibáñez Panizo, Noelia Barreira Rodríguez, M G Penedo |
| Lugar | Warsaw (Polonia) |
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/as | Felicidad Aguado, José Mª Molinelli Barba, Gilberto Pérez, Concepción Vidal , Ana Maria Vieites Rodriguez |
| Lugar | San José (Costa Rica) |
An Effective and Efficient Web News Extraction Technique for an Operational NewsIR System
CAEPIA-TIIA 2007, XII Conferencia de la Asociación Española para la Inteligencia Artificial
Internacional
| Autores/as | Javier Parapar, Álvaro Barreiro García |
| Lugar | Salamanca (España) |
Some features about the convergence of a genetic algoritm
ICM2006, International Congress of Mathematicians
Internacional
| Autores/as | María Teresa Iglesias Otero, Matilde Ríos, Concepción Vidal |
| Lugar | Madrid (España) |
Passing through Holes and Getting Entangled by Strings: An Automated Solution for a Spatial Puzzle
ECAI 2006 - 17th European Conference on Artificial Intelligence: Workshop on Spatial and Temporal Reasoning
Internacional
| Autores/as | Paulo Eduardo Santos, Pedro Cabalar |
| Lugar | Riva del Garda (Italia) |
Topological Active Nets Optimization Using Genetic Algorithms
Third International Conference, ICIAR 2006
Internacional
| Autores/as | Óscar Ibáñez Panizo, Noelia Barreira Rodríguez, José Santos Reyes, M G Penedo |
| Lugar | Póvoa de Varzim (Portugal) |
Some features about the convergence process of a Genetic Algorithm.
International Congress of Mathematicians ICM 2006
Internacional
| Autores/as | María Teresa Iglesias Otero, Matilde Ríos Fachal, Concepción Vidal |
| Lugar | Madrid (España) |
Logical Foundations of Well-Founded Semantics
KR 2006 - 10th International Conference on Principles of Knowlege Representation and Reasoning
Internacional
| Autores/as | Pedro Cabalar, Sergei Odintsov, David Pearce |
| Lugar | Windermere, Lake District (Reino Unido) |
A logic for reasoning about well-founded semantics: preliminary report
CAEPIA 2005. XI Conferencia de la Asociación Española pra la Inteligencia Artificial
Nacional
| Autores/as | Pedro Cabalar, Sergei Odintsov, David Pearce |
| Lugar | Santiago de Compostela (España) |
Query expansion using Wordnet with a logical model of information retrieval
IADIS International Conference on Applied Computing 2005
Internacional
| Autores/as | David Parapar López, Álvaro Barreiro García, David E. Losada Carril |
| Lugar | Algarve (Portugal) |
Extracción de programas a partir de pruebas : Certificación de la Forma Normal de la Reducción de Polinomios
CLEI 2005. XXXI Conferencia Latinoamericana de Informática
Internacional
| Autores/as | Gilberto Pérez, José Luis Freire Nistal, José Mª Molinelli Barba |
| Lugar | Cali (Colombia) |
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/as | Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal |
| Lugar | Guimaraes (Portugal) |
Characterization of a Simple Case of the Reassignment of Document Identifiers as a Pattern Sequencing Problem
SIGIR 2005. 28th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
Internacional
| Autores/as | Roi Blanco González, Álvaro Barreiro García |
| Lugar | Salvador (Brasil) |
A Functional Action Language Front-end
ASP 2005. Answer Set Programming: Advances in Theory and Implementation
Internacional
| Autores/as | Pedro Cabalar |
| Lugar | Bath (Reino Unido) |
Evaluación de estrategias en recuperación de información
I Congreso de Estatística e Investigação Operacional da Galiza e Norte de Portugal
Internacional
| Autores/as | Manuel Antonio Presedo Quindimil, Álvaro Barreiro García |
| Lugar | Guimaraes (Portugal) |
Evaluación de estrategias en recuperación de información
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/as | Manuel Antonio Presedo Quindimil, Álvaro Barreiro García |
| Lugar | Guimaraes (Portugal) |
Formalización de las Bases de Gröbner en Coq
Primer Congreso Conjunto de Matemáticas RSME - SCM - SEIO - SEMA. MAT.ES
Nacional
| Autores/as | Gilberto Pérez |
| Lugar | Valencia (España) |
Walsh transforms, balance sum theorems and partition coefficients over multary alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
Internacional
| Autores/as | María Teresa Iglesias Otero, Bart Naudths, Alain Verschoren, Concepción Vidal |
| Lugar | Washington (Estados Unidos) |
A Software Architecture for Effective Document Identifier Reassignment
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
Internacional
| Autores/as | Roi Blanco González, Álvaro Barreiro García |
| Lugar | España |
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/as | Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal |
| Lugar | Guimaraes (Portugal) |
Walsh Transforms, Balanced Sum Theorems and Partition Coefficients over Multary Alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
Internacional
| Autores/as | María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal |
| Lugar | Washington (Estados Unidos) |
Negations as a high precision mechanism
26th European Conference on Information Retrieval (ECIR 2004)
Internacional
| Autores/as | David E. Losada Carril, Álvaro Barreiro García |
| Lugar | Sunderland (Reino Unido) |
Computing epistasis of Generalized Royal Road functions using Walsh transforms and the Hyperplane averaging theorem.
International Symposium on Symbolic and Algebraic Computation. ISSAC 2004
Internacional
| Autores/as | María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Alain Verschoren |
| Organizador | Universidad de Cantabria |
| Lugar | Santander (España) |
New insights on the intuitionistic interpretation of Default Logic
European Conference on Artificial Intelligence (ECAI 04)
Internacional
| Autores/as | Pedro Cabalar, David Lorenzo |
| Lugar | Valencia (España) |
Codon Based Amino Acid Encoding for the Neural Network Prediction of Protein Secondary Structure
Proceedings of the 5th Spanish Bioinformatics Conference
Nacional
| Autores/as | José Santos Reyes |
| Lugar | Barcelona (España) |
Optimización de recursos sensoriales y de procesado en la obtención de comportamientos para robots autónomos
Tercer Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB'04)
Nacional
| Autores/as | Jose Antonio Becerra Permuy, José Santos Reyes, Richard José Duro Fernández |
| Organizador | Universidad de Córdoba |
| Lugar | Córdoba (España) |
Estudio del Efecto Baldwin en la Obtención de Controladores en Robótica
Tercer Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB'04)
Nacional
| Autores/as | F. Silva, José Santos Reyes |
| Organizador | Universidad de Córdoba |
| Lugar | Córdoba (España) |
Computing epistasis of template functions with the hyperplane averaging theorem
Meeting on linear algebra and applications (EALA)
Internacional
| Autores/as | María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal , Alain Verschoren |
| Lugar | Caparica (Portugal) |
Análisis de la medida de distancia entre documentos y consultas en el modelo lógico de Recuperación de Información PLBR
II Jornadas de tratamiento y recuperación de la información Jotri 2003
Nacional
| Autores/as | Álvaro Barreiro García, David Enrique Losada Carril |
| Organizador | Universidad Carlos III de Madrid |
| Lugar | España |
Functions and Default values in Logic Programs and Action Theories
II Seminarios Internacionales de Altea. Applications of Logic and Mathematics to Programming.
Internacional
| Autores/as | Pedro Cabalar, David Lorenzo Blanco |
| Organizador | Universidad Rey Juan Carlos |
| Lugar | España |
A theoretical study of logical retrieval in terms of a characterisation of knowledge revision
ACM SIGIR 2003 Workshop on Mathematical/Formal Methods in Information Retrieval
Internacional
| Autores/as | David Enrique Losada Carril, Álvaro Barreiro García |
| Lugar | Toronto (Canadá) |
A Preliminary Study on Reasoning About Causes
6th International Symposium on Logical Formalizations on Commonsense Reasoning. AAAI Spring Symposium Series (AAAI-SSS03)
Internacional
| Autores/as | Pedro Cabalar |
| Lugar | Stanford, Palo Alto, CA (Estados Unidos) |
A Three-Valued Characterization for Strong Equivalence of Logic Programs
18th National Conference on Artificial Intelligence (AAAI¿02)
Internacional
| Autores/as | Pedro Cabalar |
| Lugar | Toulousse (Francia) |
MA VS. GA in Low Population Evolutionary Processes with Mostly Flat Fitness Landscapes
6th Joint Conference on Information Sciences.
Internacional
| Autores/as | Jose Antonio Becerra, José Santos Reyes, Richard José Duro Fernández |
| Lugar | Carolina del Norte (Estados Unidos) |
Alternative Characterizations for Strong Equivalence of Logic Programs.
9th International Workshop on Non-monotonic Reasoning. NMR¿2002
Internacional
| Autores/as | Pedro Cabalar |
| Lugar | Toulousse (Francia) |
II-DTB, Discrte Time Backpropagation with Product Units
International Work Conference on Artificial Neural Networks (IWANN 2001)
Internacional
| Autores/as | José Santos Reyes, Richard José Duro Fernández |
| Lugar | Granada (España) |
Methodology for the integration of fishers ecological knowledge in fisheries biology and management using knowledge representation (Artificial Intelligence)
Putting Fisher,s Knowledge to Work
Internacional
| Autores/as | Antonio García Allut, Juan Manuel Freire Botana, Álvaro Barreiro García, David Enrique Losada Carril |
| Lugar | Vancouver, BC (Canadá) |
Rating the impact of logical representations on retrieval performance
11 International Workshop on Database and Expert Systems Applications (DEXA 2001)
Internacional
| Autores/as | Álvaro Barreiro García, David Enrique Losada Carril |
| Lugar | Munich (Alemania) |
Integración y Coexistencia de Aplicaciones Legacy y Aplicaciones Web Usando Patrones
Simposio en Informática y Telecomunicación
Internacional
| Autores/as | Antonio Ángel Blanco Ferro, José Mª García-Tizón Iglesias, Miguel José Rodríguez Rubio, Juan José Sánchez Penas |
| Lugar | Coruña, A (España) |
Integration of fishers¿ecological knowledge in fisheries biology and management using Knowledge Representation (Artificial Intelligence).
People and the Sea. Maritime Research in the Social Sciences, an agenda for the 21st century
Internacional
| Autores/as | Antonio García Allut, Juan Manuel Freire Botana, Álvaro Barreiro García, David Enrique Losada Carril |
| Lugar | Amsterdam (Países Bajos) |
Well Founded Semantics as Two-dimensional Here-and-There
Workshop on Answer Set Programming, 2001 AAAI Spring Symposium Series
Internacional
| Autores/as | Pedro Cabalar |
| Lugar | San Francisco (Estados Unidos) |
An Homogeneous Framework to Model Relevance Feedback
24 Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
Internacional
| Autores/as | Álvaro Barreiro García, David Enrique Losada Carril |
| Lugar | New Orleans (Estados Unidos) |
Aspects of Evolution for Obtaining Real Robot Controllers
Frontiers in Evolutionary Algorithms. FEA'2000
Internacional
| Autores/as | Richard José Duro Fernández, José Santos Reyes, J.A. Becella, J.L. Crespo, Francisco Bellas Bouza |
| Lugar | Atlantic City( Nueva Jers (Estados Unidos) |
Retrieval Situations and Belief Change
11th International Workshop on Database and Expert Systems Applications
Internacional
| Autores/as | Álvaro Barreiro García, David Enrique Losada Carril |
| Lugar | Greenwich (Reino Unido) |
On Line Darwinist Cognitive Mechanism for an Artificial Organism
Sixth International Conference on the Simulation of Adaptive Behavior( SAB 2000)
Internacional
| Autores/as | Richard José Duro Fernández, José Santos Reyes, Francisco Bellas Bouza, A. Lamas |
| Lugar | París (Francia) |
Using Higher Order Synapses and Nodes to Improve the Sensing Capabilities of Mobile robots
European Symposium on Artificial Neural Networks( ESANN'2000)
Internacional
| Autores/as | Richard José Duro Fernández, José Santos Reyes, Jose Antonio Becerra Permuy, Francisco Bellas Bouza, J.L. Crespo |
| Lugar | Brujas (Bélgica) |
Robust Visual Recognition with High-Order Gaussian Synapses Networks
International Joint Conference on Neural Networks( IJCNN 2000)
Internacional
| Autores/as | José Santos Reyes, Richard José Duro Fernández, J.L. Crespo |
| Lugar | Como (Italia) |
Template functions and their Epistasis
MS'2000 International Conference on Modelling and Simulation
Internacional
| Autores/as | María Teresa Iglesias Otero, Alain Verschoren, Concepción Vidal |
| Lugar | España |
Using description logics to integrate fishers ecological Knowledge in the research of artisanal fisheries
Workshop on Binding Environmental Sciences and Artificial Intelligence (BESAI'2000)
Internacional
| Autores/as | Álvaro Barreiro García, David Enrique Losada Carril, Antonio García Allut, Juan Manuel Freire Botana |
| Lugar | Barcelona (España) |
Temporal Constraint Networks in Action
14th European Conference on Artificial Intelligence( ECAI 2000)
Internacional
| Autores/as | Pedro Cabalar, Ramón Otero, Silvia G. Pose |
| Lugar | Berlín (Alemania) |
Evolución distribuída en la obtención de controladores en robótica autónoma
Simposio Español de Informática Distribuída (SEID'2000)
Internacional
| Autores/as | José Santos Reyes, José Antonio Becerra Permuy |
| Lugar | Ourense (España) |
Implementing Document Ranking within a Logical Framework
7th International Symposium on String Processing and Information Retrieval SPIRE'2000
Internacional
| Autores/as | Álvaro Barreiro García, David Enrique Losada Carril |
| Lugar | Coruña, A (España) |
PAL: Pertinence Action Language
8th Intl. Workshop on Non-Monotonic Reasoning NMR'2000
Internacional
| Autores/as | Pedro Cabalar, Manuel Jose Cabarcos Traseira, Ramón Otero |
| Lugar | Breckenridge, CO (Estados Unidos) |
Lógica, matemática, deducción automática
Primer Congreso Anual de la Real Sociedad Matemática Española
Nacional
| Autores/as | Gilberto Pérez, José María Barja Pérez |
| Lugar | Madrid (España) |
Improving Reusability of Behavior based Robot Cognitive Architectures
6th ESA Workshop on Advanced Space Technologies for Robotics and Automation( ASTRA 2000)
Internacional
| Autores/as | Richard José Duro Fernández, José Santos Reyes, José Antonio Becerra Permuy |
| Lugar | Estec, Noorwijk (Países Bajos) |
Contraste y Validación en Ambiente Real del Modelado Neuronal para la Predicción del Fracaso Empresarial
Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA 2001)
Nacional
| Autores/as | Manuel Rodríguez López, José Santos Reyes |
| Organizador | Universidad de Oviedo |
| Lugar | Gijón (España) |
Applying Synaptic Delays for Virtual Sensing and Actuation in Mobile Robots
International Joint Conference on Neural Networks( IJCNN 2000)
Internacional
| Autores/as | José Santos Reyes, Richard José Duro Fernández, Francisco Bellas Bouza, Jose Antonio Becerra Permuy |
| Lugar | Como (Italia) |
Formalizing Distinguishability: A Contexts Based Case
15th European Meeting on Cibernetics and Systems 2000
Internacional
| Autores/as | Álvaro Barreiro García, Raúl Ramos Pollán |
| Lugar | Viena (Austria) |
Incremental Design of Neural Controllers for Infrasensorized Autonomous Robots
Wiener's Cybernetics: 50 Years of Evolution
Internacional
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Lugar | España |
Visual tracking in a real robot through higher order synapses
Wiener's Cybernetics: 50 Years of Evolution
Internacional
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Lugar | España |
Pertinence and causality
Sixteenth International Joint Conference on Artificial Intelligence( JCAI' 99)
Internacional
| Autores/as | Ramón Pérez Otero, Pedro Cabalar |
| Lugar | Estocolmo (Suecia) |
Using a belief revision operator for document ranking in extended boolean models
22nd International Conference on Research and Development in Information Retrieval( SIGIR' 99)
Internacional
| Autores/as | David Enrique Losada Carril, Álvaro Barreiro García |
| Lugar | Berkeley (Estados Unidos) |
Razonamiento temporal no monótono
IV Taller de Razonamiento Temporal
Internacional
| Autores/as | Álvaro Barreiro García, Pedro Cabalar, Manuel Jose Cabarcos Traseira, David Lorenzo Blanco, David Enrique Losada Carril, Ramón Pérez Otero, Mario Otero Díaz, Silvia Gómez Pose, Raúl Ramos Pollán, José Manuel Rodríguez Rodríguez, Julio García Soto, Óscar García Trinidad |
| Lugar | Murcia (España) |
Computing epistasis through Walsh transforms
Quinto Encuentro de Algebra Computacional y Aplicaciones EACA 99
Nacional
| Autores/as | María Teresa Iglesias Otero, Concepción Vidal |
| Lugar | Santa Cruz de Tenerife (España) |
DTB for the prediction of sunspot activity
World Multiconference on Systemics, Cybernetics and Informatics and 5th International Conference on Information Systems Analysis and Synthesis( SCI/ ISAS 99)
Internacional
| Autores/as | José Santos Reyes, Richard José Duro Fernández |
| Lugar | Orlando (Estados Unidos) |
Conceptualization of a belief revision approach to information retrieval
Searching for information: artificial intelligence and information retrieval approaches
Internacional
| Autores/as | David Enrique Losada Carril, Álvaro Barreiro García |
| Lugar | Glasgow (Reino Unido) |
Twebs: an application of terminological logics in web searching
IV Congreso ISKO- España EOCONSID' 99
Internacional
| Autores/as | Álvaro Barreiro García, David Enrique Losada Carril, Raúl Ramos Pollán |
| Lugar | Granada (España) |
Temporal Answer Sets
Joint Conference on Declarative Programming( APPIA- GULP- PRODE' 99)
Internacional
| Autores/as | Pedro Cabalar |
| Lugar | L'Aquila (Italia) |
Temporal constraint networks in action: a preliminary report
IV Taller de Razonamiento Temporal
Internacional
| Autores/as | Pedro Cabalar, Ramón Pérez Otero, Silvia Gómez Pose |
| Lugar | Murcia (España) |
Learning to Reason in Time Using Discrete Time Backpropagation
International Conference on Neural Networks and Brain
Internacional
| Autores/as | José Santos Reyes, Richard José Duro Fernández |
| Lugar | Pekin (China) |
A Terminological Approach to Resource Discovery Mechanisms
IBERAMIA 98./6º Congreso Iberoamericano de Inteligencia Artificial
Internacional
| Autores/as | David Enrique Losada Carril, Raúl Ramos Pollán, Álvaro Barreiro García |
| Lugar | Lisboa (Portugal) |
Discrete Time Backpropagation and Synaptic Delay Based Artificial Neural Networks in Chaotic Time Series Prediction
8th International Conference on Artificial Neural Network
Internacional
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Lugar | Skövde (Suecia) |
Envolving Neural Controllers for Temporally Dependent Behaviors in Autonomous Robots
11th Int¿l Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. IEA-98-AIE
Internacional
| Autores/as | José Santos Reyes, Richard José Duro Fernández |
| Lugar | España |
Un modelo terminológico para el problema de recuperación de datos
7 Conferencia de la asociación española para la Inteligencia Artificial
Nacional
| Autores/as | Álvaro Barreiro García, Pedro Cabalar, Raúl Ramos Pollán |
| Lugar | Málaga (España) |
Synaptic delay based artificial neural networks and discrete time backpropagation applied to QRS Complex Detection
ICNN¿97, INTERNATIONAL CONFERENCE ON NEURAL NETWORKS
Internacional
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Lugar | Houston, Texas (Estados Unidos) |
ECG Beat classification with synaptic delay based artificial neural networks
IWANN'97
Internacional
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Lugar | España |
Enseñanza de inteligencia artificial en el nivel introductorio: Fundamentos, énfasis y restricciones
3 Jornadas de Enseñanza Universitaria de Informática. Jenui'97
Nacional
| Autores/as | Álvaro Barreiro García |
| Lugar | Madrid (España) |
Evolutionary design of ann architectures for the detection of patters in signals
Frontiers in Evolutionary Algorithms (FEA'97) - Joint Conference of Information Sciences
Internacional
| Autores/as | José Santos Reyes, Richard José Duro Fernández |
| Lugar | Carolina del Norte (Estados Unidos) |
Design of ANN Architectures for Handling the Temporal
Eurocast97 International Conference
Internacional
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Lugar | España |
Modelo de Mecanismo Mental darwinista para robots móviles autónomos
Seminario Anual de Automática y Electrónica Industrial (SAAEI'96)
Nacional
| Autores/as | Richard José Duro Fernández, Francisco Prieto Guerreiro, José Santos Reyes |
| Lugar | Zaragoza (España) |
A global approach to schemata
International Conference on Intelligent Technologies in Human-related. Sciences
Internacional
| Autores/as | Concepción Vidal , María Teresa Iglesias Otero |
| Lugar | León (España) |
Finite state automata generalization by means of anns for phonene recognition
Proc. of Foruth Bayona Workshop on Intelligent Methods in Signal Processing and Communications
Internacional
| Autores/as | Richard José Duro Fernández, José Santos Reyes |
| Lugar | España |
Some results on localization of algebras over Krull domains
Fourth Week on Algebra and Algebraic Geometry (SAGA 4)
Internacional
| Autores/as | Concepción Vidal |
| Lugar | Amberes (Bélgica) |
Efficient concurrent execution of Medtool expert systems
Proceedins of Expert Systems. Applications & Artificial Intelligence (EXPERSYS-96)
Internacional
| Autores/as | Pedro Cabalar, Ramón Pérez Otero, Mario Otero Díaz, M. Cabarcos |
| Lugar | París (Francia) |
Discrete event simulation in an environment for temporal expert systems
EUROCAST'95. (Fifth international conference on computer aided systems technology)
Internacional
| Autores/as | Álvaro Barreiro García, Pedro Cabalar, David Lorenzo Blanco, Ramón Pérez Otero |
| Lugar | Innsbruck (Austria) |
Automatic induction of DEVS structures
EUROCAST'95. (Fifth international conference on computer aided systems technology)
Internacional
| Autores/as | David Lorenzo Blanco, Pedro Cabalar, Ramón Pérez Otero |
| Lugar | Innsbruck (Austria) |
Applying induction in temporal expert systems
IJCAI'95 workshop on data engineering for inductive learning
Internacional
| Autores/as | David Lorenzo Blanco, Pedro Cabalar, Ramón Pérez Otero |
| Lugar | Montreal (Canadá) |
Evolutionary aided design of pattern detecting recurrent artificial neural networks
EUROCAST'95. (Fifth international conference on computer aided systems technology)
Internacional
| Autores/as | José Santos Reyes, Richard José Duro Fernández |
| Lugar | Innsbruck (Austria) |
Structure sheaves over locally noetherian rings
Congreso Internacional de Teoría de Anillos
Internacional
| Autores/as | Concepción Vidal , A. Verschoren |
| Lugar | Almería (España) |
Rapid prototyping of Medical Graphic Interfaces
DEXA'92 3rd International Conference on Database and Expert Systems Applications
Internacional
| Autores/as | R. Marín, M. Taboada, J. Mira, Álvaro Barreiro, R.P. Otero, A. Delgado |
| Organizador | DEXA |
| Lugar | Valencia (España) |
Visualizing the inference network in Medtool
Fifth International Symposium on Knowledge Engineering
Internacional
| Autores/as | R.P. Otero, J. Santos, Álvaro Barreiro, J. Mira, R. Marín |
| Lugar | Sevilla (España) |
Representation of Temporal Knowledge in Obstetrics
Fourth International Symposium on Knowledge Engineering
Internacional
| Autores/as | R. Marín, M. Taboada, G. Mouriño, J. Mira, Álvaro Barreiro, R.P. Otero, M. Pereira |
| Lugar | Barcelona (España) |
Follow-up of patients included in oncology protocols using Medtool V Mediterranean Conference on Medical and Biological Engineering, Medicon 89
V Mediterranean Conference on Medical and Biological Engineering, Medicon 89
Internacional
| Autores/as | Álvaro Barreiro, R.P. Otero, R. Marín, A. Delgado, J. Mira |
| Lugar | Patras (Grecia) |
On functional specifications of a database in medicine: a case study in cardiologyMIMI 88, Mini and microcomputers and their applications
MIMI 88, Mini and microcomputers and their applications
Internacional
| Autores/as | Antonio Fermín Yáñez Izquierdo, M. Jacquet, Álvaro Barreiro, A. Delgado, R. Marín, R.P. Otero, J. Mira |
| Lugar | Sant Feliu de Llobregat (España) |
a frecuencia fundamental de la voz como screening de evolución del desarrollo puberal
XVII Congreso Español de Pediatría
Nacional
| Autores/as | A., Bernal, Álvaro Barreiro, J. Mira, R. Tojo |
| Lugar | Zaragoza (España) |
Sistemas expertos y consejeros de terapia en medicina: ejemplos en cardiología, oncología pediátrica y medicina perinatal
Proceedings del III Simposium Internacional de Ingeniería Biomédica,
Internacional
| Autores/as | J. Mira, R. Marín, Antonio Fermín Yáñez Izquierdo, A. Delgado, R.P. Otero, M. Jacquet, S. Barro, Álvaro Barreiro, J.M. Couselo |
| Lugar | Madrid (España) |
Formal specifications in data capture for an expert system in oncology
Preprints of Second IFSA World Congress
Internacional
| Autores/as | J. Mira, A. Grant, Jones, R., D,. Cramp, A. Delgado, Antonio Fermín Yáñez Izquierdo, Álvaro Barreiro, J.M. Couselo, L. Iglesias |
| Lugar | Tokyo (Japón) |