Information Retrieval Lab (IRlab)

 Grupo de investigación

Datos generales

Coordinador/a Dr. Álvaro Barreiro García
Catedrático/a de Universidade
Fecha de alta 18/05/2007
Adscripción a deptos. Ciencias de la Computación y Tecnologías de la Información
Adscripción a centros Facultad de Informática
Código interno G000494

Contacto

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

Ámbito de investigación

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

Oferta tecnológica

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.

Miembros del grupo

Dra./Dr. Álvaro Barreiro García
Ciencia de la computación e inteligencia artificial
Coordinador/a
Dra./Dr. Javier Parapar López
Ciencia de la computación e inteligencia artificial
PDI
Dra./Dr. José Pedro Cabalar Fernández
Ciencia de la computación e inteligencia artificial
PDI
Dra./Dr. José Santos Reyes
Ciencia de la computación e inteligencia artificial
PDI
Antonio Fermín Yáñez Izquierdo
Ciencia de la computación e inteligencia artificial
PDI
Dra./Dr. Patricia Martín Rodilla
Ciencia de la computación e inteligencia artificial
PDI
Dra./Dr. Miguel Anxo Pérez Vila
Ciencia de la computación e inteligencia artificial
PDI
Dra./Dr. David Otero Freijeiro
Ciencia de la computación e inteligencia artificial
PDI
Alfonso Landín Piñeiro
Ciencia de la computación e inteligencia artificial
Doctorando/a
Juan Luis Filgueiras Rilo
Doctorando/a
Juan Manuel Rey Escobar
Doctorando/a
Paloma Piot Pérez-Abadín
Ciencia de la computación e inteligencia artificial
Contratado/a Predoctoral
Dra./Dr. Brais Muñiz Castro
Ciencia de la computación e inteligencia artificial
Contratado/a Proyecto
Eliseo Bao Souto
Ciencia de la computación e inteligencia artificial
Contratado/a Predoctoral
Dra./Dr. David Losada Carril
C1 - Doctores de otras instituciones
Dra./Dr. César Alfredo Piñeiro Pomar
Ciencia de la computación e inteligencia artificial
C2 - Colaboradores proyectos

Resultados de investigación

Puede consultar el catálogo seleccionando un tipo de mérito y un año.

Generación de Explicaciones en Sistemas Inteligentes Híbridos para Asegurar la Fiabilidad

Entidad financiadora AEI, Agencia Estatal de Investigación
Investigadores principales Cabalar Fernández, José Pedro (IP1)/ Santos Reyes, José (IP2)
Tipo Proyecto Programas Nacionales
Fechas De 01/09/2024 a 31/08/2028

Búsqueda, selección y organización de contenidos para necesidades de información relacionadas con la salud - Construcción de recursos y personalización

Entidad financiadora Ministerio de Ciencia e Innovación
Investigadores principales BARREIRO GARCÍA ÁLVARO (IP1)/ PARARAR LÓPEZ JAVIER (IP2)
Tipo Proyecto Programas Nacionales
Fechas De 01/09/2023 a 31/08/2026

Hybrid Intelligence to monitor, promote and analyse transformations in good democracy (HYBRIDS). Marie Sk¿odowska-Curie Actions: Doctoral Networks

Entidad financiadora European Research Council (ERC)
Investigadores principales Patricia Martín Rodilla
Tipo Proyecto Internacional
Fechas De 01/01/2023 a 01/01/2027

AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS.GPC 2022

Entidad financiadora Consellería de Educación
Investigadores principales Álvaro Barreiro García
Tipo Proyecto Programas Autonomicos
Fechas De 01/01/2022 a 20/11/2024

Big-eRisk: Predicción temprana de riesgos personales en conjuntos de datos masivos

Entidad financiadora Ministerio de Ciencia e Innovación
Investigadores principales JAvier Parapar López
Tipo Proyecto Programas Nacionales
Fechas De 01/12/2021 a 30/11/2024

PATRIMONIO 3.0: Modelado argumentativo y conceptual para la mejora de la participacion y las politicas de gestion en patrimonio cultural

Entidad financiadora AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS (CSIC)
Investigadores principales César González-Pérez
Tipo Proyecto Programas Nacionales
Fechas De 01/09/2021 a 31/08/2024

Razonamiento Automático y Aprendizaje con Inducción de Conocimiento

Entidad financiadora Ministerio de Ciencia e Innovación
Investigadores principales Pedro Cabalar Fernández/ José Santos Reyes
Tipo Proyecto Programas Nacionales
Fechas De 01/09/2021 a 31/08/2024

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 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

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

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

Infraestructura para la optimización de recursos de cómputo orientada a proyectos de análisis de datos masivos y securización de sistemas y redes para el Centro de Investigación en TIC (CITIC)

Entidad financiadora Ministerio de Ciencia, Innovación y Universidades
Investigadores principales Manuel González Penedo
Tipo Proyecto Programas Nacionales
Fechas De 01/01/2018 a 31/12/2019

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

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

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

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

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

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

Axudas para a acreditación, estruturación e mellora de centros de investigación singulares e agrupacións estratéxicas consolidadas do Sistema universitario de Galicia, cofinanciadas polo Fondo Europeo de Desenvolvemento Rexional (Feder), no marco do programa operativo Feder Galicia 2014-2020

Entidad financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principales Manuel F. González Penedo
Tipo Proyecto Programas Autonomicos
Fechas De 01/01/2016 a 30/11/2019

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

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" (HOLACLOUD)

Entidad financiadora Union Europea
Investigadores principales Javier Parapar López
Tipo Proyecto UE
Fechas De 01/01/2015 a 31/12/2016

Procesamiento de imágenes DGGE (Denaturing Gradient Gel Electrophoresis) mediante modelos conexionistas y computación evolutiva

Entidad financiadora Universidad del Bío-Bío
Investigadores principales Carola Figueroa Flores, María Angélica Caro Gutiérrez, José Santos Reyes
Tipo Proyecto Internacional
Fechas De 01/01/2015 a 31/12/2016

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

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

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

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

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

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

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

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

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

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

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

COMBINACIÓN DE TÉCNICAS DE APRENDIZAJE POR REFUERZO, DE PROGRAMACIÓN LÓGICA INDUCTIVA, Y DE MECANISMOS DE MODULACIÓN FUNCIONAL EN ESQUEMAS DE CONTROL DE AGENTES CON DISEÑO INCREMENTAL Y EVOLUTIVO.

Entidad financiadora MINISTERIO DE EDUCACIÓN Y CIENCIA
Investigadores principales José Santos Reyes
Tipo Proyecto Otros Programas
Fechas De 01/10/2007 a 30/04/2011

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

Red Gallega de Procesamiento del Lenguaje y Recuperación de Información

Entidad financiadora Consellería de Educación e Ordenación Universitaria
Investigadores principales Manuel Vilares Ferro
Tipo Proyecto Programas Autonomicos
Fechas De 01/01/2006 a 31/12/2008

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

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
Fechas De 13/08/2002 a 30/09/2004

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

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

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

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

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

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

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

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

Arquitectura de control con aprendizaje temporal para robots autónomos

Tipo Proyecto Otros Programas
Fechas De 01/01/1997 a 01/01/1998

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

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

Algoritmos Genéticos. Aplicaciones a la economía

Tipo Proyecto Otros Programas
Fechas De 01/01/1996 a 01/01/1996

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

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

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

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 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

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

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

Plugin para el análisis fonético-fonológico en español (PAFe)

Tipo Propiedad Intelectual
Entidad Universidade da Coruña
Autores/as Albina Sarymsakova, Nelly Condori Fernández, Martin-Rodilla, P., Tamara Couto Fernández
Fecha de solicitud 06/04/2022

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

Variable selection in the prediction of business failure using genetic programming

Autores/as Ángel Beade, Manuel Rodríguez, José Santos
Revista Knowledge-Based Systems Vol. 289 (págs. 1 a 16)
DOI https://doi.org/10.1016/j.knosys.2024.111529

Multiperiod Bankruptcy Prediction Models with Interpretable Single Models

Autores/as Angel Beade, Manuel Rodríguez, J. Santos
Revista Computational Economics Vol. 64 (págs. 1357 a 1390 )
DOI https://doi.org/10.1007/s10614-023-10479-z

Refinement of Protein Structures with a Memetic Algorithm. Examples with SARS-CoV-2 Proteins

Autores/as JL Filgueiras, José Santos Reyes
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 14675 (págs. 129 a 139)
DOI https://doi.org/10.1007/978-3-031-61137-7_13

Business failure prediction models with high and stable predictive power over time using genetic programming

Autores/as Angel Beade, Manuel Rodríguez, José Santos Reyes
Revista Operational Research Vol. 24 (págs. 1 a 41)
DOI https://doi.org/10.1007/s12351-024-00852-7

Protein structure prediction with energy minimization and deep learning approaches

Autores/as JL Filgueiras, Daniel Varela, José Santos Reyes
Revista NATURAL COMPUTING Vol. 22 (págs. 655 a 670)
DOI https://doi.org/10.1007/s11047-023-09943-4

Evolutionary feature selection approaches for insolvency business prediction with genetic programming

Autores/as Angel Beade, Manuel Rodríguez, José Santos Reyes
Revista NATURAL COMPUTING Vol. 22 (págs. 705 a 722)
DOI https://doi.org/10.1007/s11047-023-09951-4

Automatic depression score estimation with word embedding models

Autores/as Anxo Pérez, Javier Parapar, Álvaro Barreiro
Revista ARTIFICIAL INTELLIGENCE IN MEDICINE Vol. 132 (págs. 102380 a 102392)
DOI https://doi.org/10.1016/j.artmed.2022.102380

Energy Minimization vs. Deep Learning Approaches for Protein Structure Prediction

Autores/as Juan Filgueiras, Daniel Varela, José Santos Reyes
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 13259 (págs. 109 a 118)
DOI https://doi.org/10.1007/978-3-031-06527-9_11

A MaxSAT Solver Based on Differential Evolution (Preliminary Report)

Autores/as M. Framil, cabalar, J. Santos
Revista Progress in Artificial Intelligence - 21st EPIA Conference on Artificial Intelligence, Lecture Notes in Computer Science Vol. 13566 Núm. 13566 (págs. 676 a 687)
DOI https://doi.org/10.1007/978-3-031-16474-3_55

Automatic Selection of Financial Ratios by Means of Differential Evolution and for Predicting Business Insolvency.

Autores/as J. Santos, Angel Beade, Manuel Rodríguez
Revista Lecture Notes in Computer Science Vol. 13259 (págs. 534 a 544)
DOI https://doi.org/10.1007/978-3-031-06527-9_53

Niching methods integrated with a differential evolution memetic algorithm for protein structure prediction

Autores/as Daniel Varela, J. Santos
Revista Swarm and Evolutionary Computation Vol. 71
DOI https://doi.org/10.1016/j.swevo.2022.101062

Same text, same discourse? Empirical validation of a discourse analysis methodology for cultural heritage

Autores/as Martín-Rodilla, Patricia, Gonzalez-Perez, C.
Revista Digital Scholarship in the Humanities
DOI https://doi.org/10.1093/llc/fqac038

Evolving cellular automata schemes for protein folding modeling using the Rosetta atomic representation

Autores/as Daniel Varela, J. Santos
Revista Genetic Programming and Evolvable Machines Vol. 23 (págs. 225 a 252)
DOI https://doi.org/10.1007/s10710-022-09427-x

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

Building Cultural Heritage Reference Collections from Social Media through Pooling Strategies: The case of 2020's tensions over race and heritage

Autores/as David Otero, Martin-Rodilla, P., Javier Parapar
Revista ACM Journal on Computing and Cultural Heritage

Hybrid Intelligence Strategies for Identifying, Classifying and Analyzing Political Bots

Autores/as García-Orosa, Berta, Gamallo, Pablo, Martín-Rodilla, Patricia, Martínez-Castaño, Rodrigo
Revista Social Sciences Vol. 10 Núm. 10
DOI https://doi.org/10.3390/socsci10100357

La programación genética en el ámbito del pronóstico del fracaso empresaria

Autores/as Angel Beade, Manuel Rodríguez, José Santos Reyes
Revista REVISTA DE LA ASOCIACIÓN ESPAÑOLA DE CONTABILIDAD Y AUDITORÍA DE CUENTAS. Vol. 132 (págs. 5 a 8)

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)

Protein structure prediction in an atomic model with differential evolution integrated with the crowding niching method

Autores/as Daniel Varela, José Santos Reyes
Revista NATURAL COMPUTING (págs. 1 a 15)
DOI https://doi.org/10.1007/s11047-020-09801-7

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

Automatically obtaining a cellular automaton scheme for modeling protein folding using the FCC model

Autores/as Daniel Varela, José Santos Reyes
Revista NATURAL COMPUTING (págs. 275 a 284)

Special Issue Editorial "Bio-inspired Computing Applications"

Autores/as José Manuel Ferrández, José Santos Reyes, Ramiro Varela
Revista NATURAL COMPUTING Vol. 18 (págs. 215 a 216)

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)

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

Answer Set Programming from a Logical Point of View

Autores/as Pedro Cabalar, David Pearce, Agustín Valverde
Revista Künstliche Intelligenz

Temporal Answer Set Programming on Finite Traces

Autores/as Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
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)

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)

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.

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

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)

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)

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)

A hybrid evolutionary algorithm for protein structure prediction using the Face-Centered Cubic lattice model

Autores/as Daniel Varela, José Santos Reyes
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 10634

Protein folding modeling with neural cellular automata using the Face-Centered Cubic model

Autores/as Daniel Varela, J. Santos
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 10337 (págs. 125 a 134)

Evolved synaptic delay based neural controllers for walking patterns in hexapod robotic structures

Autores/as José Santos Reyes, Pablo Fernández
Revista NATURAL COMPUTING Vol. 16 Núm. 2 (págs. 201 a 211)

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

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

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)

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)

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)

Explaining preferences and preferring explanations

Autores/as Pedro Cabalar, Jorge Fandinno
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 9060 (págs. 218 a 232)

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

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

Stable Models for Temporal Theories - Invited Talk

Autores/as Pedro Cabalar
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 9345 (págs. 1 a 13)

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 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)

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)

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

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

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)

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)

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

Autores/as Concepción Vidal, Gilberto Pérez, Felicidad Aguado, Lin, J
Revista LOGIC JOURNAL OF THE IGPL Vol. 19 Núm. 2 (págs. 405 a 414)

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)

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)

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)

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)

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

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)

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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 INGENIERIA DEL AGUA Vol. 16 Núm. 2 (págs. 129 a 144)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

Autores/as Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal
Revista Journal of Formalized Reasoning (págs. 25 a 37)

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)

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)

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)

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)

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)

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)

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)

Certified Genetic Algorithms: Crossover Operators for Permutations

Autores/as Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 282 a 289)

Minimal Logic Programs

Autores/as Pedro Cabalar, Gilberto Pérez
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4670 (págs. 104 a 118)

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)

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)

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)

NowOn Web: a NewsIR System

Autores/as Javier Parapar, Álvaro Barreiro García
Revista Procesamiento del Lenguaje Natural (número 69) Vol. 39 (págs. 287 a 288)

The Coruña Corpus Tool

Autores/as Javier Parapar, Isabel Moskowich-Spiegel Fandiño
Revista Procesamiento del Lenguaje Natural (número 69) Vol. 39 (págs. 289 a 290)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Complex Behaviours through modulation in Autonomous Robot Control

Autores/as Jose Antonio Becerra Permuy, F. Bellas, José Santos Reyes, Richard José Duro Fernández
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 3512 (págs. 717 a 724)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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. 3-4 (págs. 188 a 206)
DOI https://doi.org/10.1078/1431-7613-00040

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)

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. 127 a 148)
DOI https://doi.org/10.1016/s0020-0255(01)00081-0

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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

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

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

Estrategias de recuperación de información mediante "pooling" para la construcción de colecciones de referencia desde redes sociales: caso de estudio durante las tensiones raciales de 2020

Autores/as Martin-Rodilla, P.,Otero, David
Libro Scire vias. Humanidades digitales y conocimiento
Edita Universidade da Coruña.
ISBN: 9788497498746
Páginas De la 347 a la 347365

Protocolo de autoevaluación e impacto frente a técnicas tradicionales en la docencia práctica de Sistemas Operativos

Autores/as Martin-Rodilla, P.,Javier Parapar,Álvaro Barreiro
Libro Contextos universitarios transformadores: a nova normalidade académica. Leccións aprendidas e retos de futuro. V Xornadas de Innovación Docente
Edita Universidade da Coruña. Servizo de publicacións.
ISBN: 978-84-9749-818-0
Páginas De la 233 a la 248

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

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

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

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

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

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

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

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

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

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

Generating commonsense explanations with Answer Set Programming

Autor/a Brais Muñiz Castro
Director/es José Pedro Cabalar Fernández; Gilberto Pérez Vega
Ámbito Facultad de Informática
Calificación Sobresaliente Cum Laude

New algorithms and methodologies for building information retrieval collections

Autor/a David Otero Freijeiro
Director/es Álvaro Barreiro García; Javier Parapar López
Ámbito Facultad de Informática
Calificación Sobresaliente Cum Laude

Depression Severity Estimation on the Internet: New Models and Resources

Autor/a Miguel Anxo Pérez Vila
Director/es Álvaro Barreiro García; Javier Parapar López
Ámbito Facultad de Informática
Calificación Sobresaliente Cum Laude

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

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

Genetic programming for feature selection in business failure prediction. Comparison of the use of financial variables and economic environment variables
2024 International Conference on INnovations in Intelligent SysTems and Applications (INISTA)
Internacional

Autores/as Angel Beade, Manuel Rodríguez, José Santos Reyes
Lugar Craiova (Rumania)
DOI https://doi.org/10.1109/inista62901.2024.10683824

Selección de características mediante programación genética. Aplicación en predicción de fracaso empresarial
XX Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA 2024)
Nacional

Autores/as Angel Beade, Manuel Rodríguez, J. Santos
Lugar Coruña, A (España)

Psyprof: A platform for assisted screening of depression in social media
45th European Conference on Information Retrieval, ECIR 2023
Internacional

Autores/as Anxo Pérez, Piot, P., Javier Parapar, Álvaro Barreiro
Lugar Dublin (Irlanda)
DOI https://doi.org/10.1007/978-3-031-28241-6_30

How Discriminative Are Your Qrels? How To Study the Statistical Significance of Document Adjudication Methods
32nd ACM International Conference on Information and Knowledge Management
Internacional

Autores/as Otero, David, Javier Parapar, Nicola Ferro
Lugar Birmingham (Reino Unido)
DOI https://doi.org/10.1145/3583780.3614916

Bdi-sen: A sentence dataset for clinical symptoms of depression
46th International ACM SIGIR Conference on Research and Development in Information Retrieval
Internacional

Autores/as Anxo Pérez, Javier Parapar, Alvaro Barreiro, Silvia López Larrosa
Lugar Taipei (Taiwán)
DOI https://doi.org/10.1145/3539618.3591905

Semantic Similarity Models for Depression Severity Estimation
2023 Conference on Empirical Methods in Natural Language Processing (EMNLP)
Internacional

Autores/as Anxo Pérez, Javier Parapar
Lugar Singapur (Singapur)
DOI https://doi.org/10.18653/v1/2023.emnlp-main.1000

Predicción de fracaso empresarial por medio de programación genética: estrategias de parametrización
IX Jornada Internacional AECA de Valoración, Financiación y Gestión de Riesgo
Internacional

Autores/as Angel Beade, J. Santos, Manuel Rodríguez
Lugar Cuenca (España)

Temporal Word Embeddings for Early Detection of Signs of Depression
2nd Joint Conference of the Information Retrieval Communities in Europe (CIRCLE 2022)
Internacional

Autores/as Manuel Couto, Anxo Pérez, Javier Parapar
Lugar Samatan, Gers (Francia)

Métricas y parametrización avanzadas en modelos de predicción de fracaso empresarial obtenidos mediante programación genética.
XX Encuentro Internacional AECA (Asociación Española de Contabilidad y Administración de Empresas)
Internacional

Autores/as Angel Beade, Manuel Rodríguez, José Santos Reyes
Lugar Oporto (Portugal)

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)

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)

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)

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)

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)

El fracaso empresarial en pequeñas y medianas empresas: aplicación de la programación genética en su predicción a largo plazo
XXI Congreso AECA (Asociación Española de Contabilidad y Administración de Empresas)
Nacional

Autores/as Angel Beade, Manuel Rodríguez, José Santos Reyes
Lugar Toledo (España)

Estrategias de recuperación de información mediante pooling para la construcción de colecciones de referencia desde redes sociales: caso de estudio durante las tensiones raciales de 2020
V Congreso Internacional de la HDH: Humanidades Digitales Hispánicas
Internacional

Autores/as Martin-Rodilla, P., Otero, David
Lugar Santiago de Compostela (España)

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

Evolution of amino acid properties in the context of protein secondary structure prediction
IEEE Congress on Evolutionary Computation 2021
Internacional

Autores/as José Santos Reyes, Héctor Rivas
Lugar Cracovia (Polonia)

Overview of eRisk 2021: Early Risk Prediction on the Internet. CLEF 2021: 324-344
CLEF 2021 - Conference Labs and Evaluation Forum
Internacional

Autores/as Parapar, J., Martin-Rodilla, P., Losada, D., Crestani, F.
Lugar Bucharest (Rumania)
DOI https://doi.org/10.1007/978-3-030-85251-1_22

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

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)

Multiple-Choice Question Answering Models for Automatic Depression Severity Estimation
IV Congreso XoveTIC 2021
Internacional

Autores/as Jorge Gabín, Anxo Pérez, Javier Parapar
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/engproc2021007023

Designing an Open Source Virtual Assistant
XOVETIC 2020
Internacional

Autores/as Anxo Pérez, Paula Lopez-Otero, Javier Parapar
Organizador Centro de Investigación en Tecnoloxías da Información e as Comunicacións (CITIC)
Lugar Coruña, A (España)

Aplicación de la programación genética en la predicción del fracaso empresarial en pequeñas y medianas empresas
XIX Encuentro Internacional de la Asociación Española de Contabilidad y Administración de Empresas
Internacional

Autores/as Angel Beade, José Santos Reyes, Manuel Rodríguez López
Lugar Guarda (Portugal)

Explicit Negation in Linear-Dynamic Equilibrium Logic
24th European Conference on Artificial Intelligence (ECAI 2020)
Internacional

Autores/as Felicidad Aguado, cabalar, fandinno, Gilberto Pérez, Concepción Vidal
Lugar Santiago de Compostela (España)

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

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)

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)

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)

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

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

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)

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)

On the use of fitness sharing in studying the genetic code optimality
XIII Congreso Español en Metaheurísticas y Algoritmos Evolutivos y Bioinspirados (MAEB 2018) - XVIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA 2018)
Internacional

Autores/as José Santos Reyes, Ángel Monteagudo Insua
Lugar Granada (España)

Neural cellular automata for modeling protein folding.
Biomath 2018 : Mathematical Methods and Models in Biosciences
Internacional

Autores/as Daniel Varela, José Santos Reyes
Lugar Sofia (Bulgaria)

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

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)

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

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

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

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)

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)

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)

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)

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)

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

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)

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

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)

Protein Folding Modeling with Neural Cellular Automata Using Rosetta
GECCO2016 (Core A)
Internacional

Autores/as José Santos Reyes, Daniel Varela
Lugar Denver (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

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

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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á)

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)

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)

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)

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)

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)

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)

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 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)

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)

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)

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)

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)

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)

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, Lin, J, Gilberto Pérez, Concepción Vidal
Lugar Gijón (España)

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)

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)

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)

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)

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)

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, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Lugar San José (Costa Rica)

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)

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)

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)

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, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Lugar San José (Costa Rica)

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)

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)

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)

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)

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)

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)

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)

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)

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, Lin, J
Lugar Cali (Colombia)

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 Functional Action Language Front-end
ASP 2005. Answer Set Programming: Advances in Theory and Implementation
Internacional

Autores/as Pedro Cabalar
Lugar Bath (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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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 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á)

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

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

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)

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)

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, Freire, M., Á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)

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, Freire, M., Álvaro Barreiro García, David Enrique Losada Carril
Lugar Vancouver, BC (Canadá)

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)

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)

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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, Freire, M.
Lugar Barcelona (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)

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)

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)

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)

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

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 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)

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)

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

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)

Temporal Answer Sets
Joint Conference on Declarative Programming( APPIA- GULP- PRODE' 99)
Internacional

Autores/as Pedro Cabalar
Lugar L'Aquila (Italia)

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)

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

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)

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)

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

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)

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

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)

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

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)

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)

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)

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)

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)

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)

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)

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á)

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 Bernal, A, Á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)