Information Retrieval Lab (IRlab)

 Research group

General data

Coordinator Dr. Álvaro Barreiro García
Catedrático/a de Universidade
Register date 18/05/2007
Dept. assignment Computer Science and Information Technologies
Center assignment Faculty of Computer Science
Internal code G000494

Contact

Address Laboratoria 4.2 Facultad de Informática Campus de Elviña s/n 15071 A Coruña
Phone  981167000 ext. 1270
Fax  981167160
Email
Website  http://www.dc.fi.udc.es/irlab

Research scope

UNESCO codes LOGICA MATEMATICA (110208)
INFORMATICA (120317)
Socioeconomic codes R&D related to Natural Sciences - financed from GUF (12.1)
Research lines

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

Keywords 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

Technology offer

Services offered

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

Infraestructure resources 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)
Transferable results 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.

Group members

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

Research results

You can browse the catalog by selecting a merit type and year.

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

Funding entity AEI, Agencia Estatal de Investigación
Main researches Cabalar Fernández, José Pedro (IP1)/ Santos Reyes, José (IP2)
Type Proyecto Programas Nacionales
Dates From 01/09/2024 to 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

Funding entity Ministerio de Ciencia e Innovación
Main researches BARREIRO GARCÍA ÁLVARO (IP1)/ PARARAR LÓPEZ JAVIER (IP2)
Type Proyecto Programas Nacionales
Dates From 01/09/2023 to 31/08/2026

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

Funding entity European Research Council (ERC)
Main researches Patricia Martín Rodilla
Type Proyecto Internacional
Dates From 01/01/2023 to 01/01/2027

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

Funding entity Consellería de Educación
Main researches Álvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/2022 to 20/11/2024

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

Funding entity Ministerio de Ciencia e Innovación
Main researches JAvier Parapar López
Type Proyecto Programas Nacionales
Dates From 01/12/2021 to 30/11/2024

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

Funding entity AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS (CSIC)
Main researches César González-Pérez
Type Proyecto Programas Nacionales
Dates From 01/09/2021 to 31/08/2024

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

Funding entity Ministerio de Ciencia e Innovación
Main researches Pedro Cabalar Fernández/ José Santos Reyes
Type Proyecto Programas Nacionales
Dates From 01/09/2021 to 31/08/2024

Predicción de la estructura de proteínas de SARS-CoV-2 con técnicas de inteligencia artificial

Funding entity Axencia Galega de Innovación
Main researches Santos Reyes, José
Type Proyecto Programas Autonomicos
Dates From 01/11/2020 to 31/12/2021

Modelos de recomendación respetuosos con la privacidad del usuario

Funding entity Linknovate Science SL
Main researches Javier Parapar López
Type Contrato
Dates From 15/10/2020 to 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

Funding entity ODEENE Ingeniería
Main researches José Carlos Dafonte Vázquez / Víctor Carneiro Díaz
Type Contrato
Dates From 01/09/2020 to 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)

Funding entity ODEENE Ingeniería
Main researches José Carlos Dafonte Vázquez / Víctor Carneiro Díaz
Type Contrato
Dates From 15/06/2020 to 15/03/2021

Axudas para acreditación, estructuración e mellora de Centros de Investigación Singulares do Sistema Universitario de Galicia

Funding entity CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL
Main researches M.G. Penedo
Type Proyecto Programas Autonomicos
Dates From 01/12/2019 to 30/11/2022

CA18128 - Saving European Archaeology from the Digital Dark Age

Funding entity COST European Cooperation in Science and Technology
Main researches Julian Richards
Type Proyecto UE
Dates From 04/03/2019 to 03/03/2023

Tecnologías para la predicción temprana de signos relacionados con trastornos psicológicos

Funding entity Ministerio de Ciencia, Innovación y Universidades
Main researches Álvaro Barreiro García / Javier Parapar López
Type Proyecto Programas Nacionales
Dates From 01/01/2019 to 31/12/2021

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

Funding entity CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL
Main researches ÁLVARO BARREIRO GARCÍA
Type Proyecto Programas Autonomicos
Dates From 01/01/2019 to 20/11/2021

Axudas para a consolidación e estructuración de unidades de investigación Competitivas

Funding entity Xunta de Galicia
Type Proyecto Programas Autonomicos
Dates From 01/01/2019 to 31/12/2021

Análisis e investigación de un sistema de recomendación como servicio.

Funding entity Linknovate Science SL
Main researches Javier Parapar López
Type Contrato
Dates From 01/04/2019 to 31/03/2021

RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS (TARDIS)

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches Pedro Cabalar Fernández
Type Proyecto Programas Nacionales
Dates From 01/01/2018 to 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)

Funding entity Ministerio de Ciencia, Innovación y Universidades
Main researches Manuel González Penedo
Type Proyecto Programas Nacionales
Dates From 01/01/2018 to 31/12/2019

TARDIS: Temporal Automated Reasoning for Dynamic Intelligent Systems

Funding entity Ministerio de Economía y Competitividad
Main researches Pedro Cabalar
Type Proyecto Programas Nacionales
Dates From 01/01/2018 to 31/12/2020

Xunta de Galicia (GPC ED431B 2016/035)

Funding entity Xunta de Galicia
Main researches Álvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/2017 to 31/12/2018

Red de investigación IEMath-Galicia

Funding entity Xunta de Galicia
Main researches Juan José Nieto Roig
Type Proyecto Programas Autonomicos
Dates From 01/01/2017 to 31/12/2018

Axudas para a consolidación e estruturación de unidades de investigación competitivas-GPC

Funding entity Consellería de Cultura, Educación e Ordenación Universitaria
Main researches Álvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/2017 to 31/12/2018

Plan de innovación para la generación de conocimiento

Funding entity Linknovate Science SL
Main researches Javier Parapar López
Type Contrato
Dates From 01/10/2017 to 30/11/2018

Plan de Innovación para la generación de conocimeinto

Funding entity Linknovate Science SL
Main researches Javier Parapar López
Type Contrato
Dates From 01/10/2017 to 30/11/2018

Accesibilidad y disponibilidad de un Discovery Engine

Funding entity Linknovate Science SL
Main researches Javier Parapar López
Type Contrato
Dates From 06/02/2017 to 15/06/2017

Búsqueda, filtrado y explotación de datos como servicio

Funding entity Linknovate Science SL
Main researches Javier Parapar López
Type Contrato
Dates From 06/02/2017 to 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

Funding entity Consellería de Cultura, Educación e Ordenación Universitaria
Main researches Manuel F. González Penedo
Type Proyecto Programas Autonomicos
Dates From 01/01/2016 to 30/11/2019

MODELOS DE LENGUAJE PROBABILÍSTICOS PARA RANKINGS PERSONALIZADOS EN SISTEMAS DE ACCESO A LA INFORMACIÓN

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches ALVARO BARREIRO GARCÍA
Type Proyecto Programas Nacionales
Dates From 01/01/2016 to 31/12/2018

Effective collaboration for European RD and Innovation in software services and Cloud Computing, Knowledge Discovery and Roadmapping (HOLA CLOUD). UDC Third Party participation.

Funding entity Union Europea
Main researches Javier Parapar López
Type Proyecto UE
Dates From 01/01/2016 to 31/12/2016

Effective collaboration for European RD and Innovation in software, services and Cloud computing: Knowledge discovery and Roadmapping" (HOLACLOUD)

Funding entity Union Europea
Main researches Javier Parapar López
Type Proyecto UE
Dates From 01/01/2015 to 31/12/2016

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

Funding entity Universidad del Bío-Bío
Main researches Carola Figueroa Flores, María Angélica Caro Gutiérrez, José Santos Reyes
Type Proyecto Internacional
Dates From 01/01/2015 to 31/12/2016

MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches José Pedro Cabalar Fernández
Type Proyecto Programas Nacionales
Dates From 01/01/2014 to 31/12/2016

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

Funding entity Consellería de Cultura, Educación e Ordenación Universitaria
Main researches Manuel Vilares Ferro
Type Proyecto Programas Autonomicos
Dates From 01/01/2014 to 31/12/2015

MODELIZACIÓN DE PROCESOS BIOLÓGICOS EMERGENTES

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches José Santos Reyes
Type Proyecto Programas Nacionales
Dates From 01/01/2014 to 31/12/2017

Red de Investigación IEMath-Galicia

Funding entity Consellería de Cultura, Educación e Ordenación Universitaria
Main researches Juan José Nieto Roig
Type Proyecto Programas Autonomicos
Dates From 01/01/2014 to 31/12/2015

Acuerdo para la explotación del software Totem-PDF (registro software con asiento registral 03/2014/909, número solicitud C-162-2014)

Funding entity FACTORÍA DE SOFTWARE E MULTIMEDIA S.L (IMAXIN SOFTWARE)
Main researches Alvaro Barreiro García
Type Contrato
Dates From 29/10/2014 to 31/12/2017

Ayuda para la consolidación y estructuración de unidades de investigación competitivas

Funding entity Consellería de Cultura, Educación e Ordenación Universitaria
Main researches Alvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/2013 to 31/12/2015

Recuperación y análisis de sentimientos en la web social

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches Alvaro Barreiro García
Type Proyecto Programas Nacionales
Dates From 01/01/2013 to 31/12/2015

Evolutionary optimization of emergent processes

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches José Santos Reyes
Type Proyecto Programas Nacionales
Dates From 01/01/2012 to 31/12/2013

Optimización evolutiva de procesos emergentes modelados con técnicas de vida artificial

Funding entity Ministerio de Economía y Competitividad
Main researches José Santos Reyes
Type Proyecto Programas Nacionales
Dates From 01/01/2012 to 31/12/2013

Rede IEMath-Galicia (Programa de Consolidación y estructuración de unidades de investigación competitivas).

Funding entity Xunta de Galicia
Main researches Juan José Nieto Roig
Type Proyecto Programas Autonomicos
Dates From 01/01/2012 to 30/11/2013

Aplicaciones de análisis avanzado de vídeo para una smart city eficiente y segura (A2VISES)

Funding entity Sixtema Soluciones y Proyectos de Información SL
Main researches Alvaro Barreiro García
Type Contrato
Dates From 01/01/2012 to 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)

Funding entity European Enterprise Network
Main researches Alvaro Barreiro García
Type Contrato
Dates From 01/01/2011 to 31/12/2012

Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-

Funding entity Ministerio de Economía y Competitividad
Main researches José Pedro Cabalar Fernández
Type Proyecto Otros Programas
Dates From 01/01/2010 to 31/12/2013

Ayuda para la consolidación de unidades de investigación competitivas

Funding entity Xunta de Galicia, Consellería de Innovación,Industria e Comercio
Main researches Alvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/2010 to 31/12/2011

Sistema de recuperación y oferta de noticias digitales NF4E-News Filtering for the Enterpise

Funding entity Comasis Consultores SL
Main researches Alvaro Barreiro García
Type Contrato
Dates From 15/10/2010 to 15/10/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

Funding entity FACTORÍA DE SOFTWARE E MULTIMEDIA S.L (IMAXIN SOFTWARE)
Main researches Alvaro Barreiro García
Type Contrato
Dates From 01/01/2010 to 31/12/2011

Obtención, integración, gestión y explotación de fuentes heterogéneas y multimodales en sistemas de vigilancia tecnológica

Funding entity Fundación para fomento de la calidad industrial y desarrollo tecnológico de Galicia gestionadora del CIS
Type Contrato
Dates From 01/01/2010 to 31/12/2011

FEAST: Foundations and Extensions of Answer Set Programming Technology

Funding entity Ministerio de Ciencia e Innovación
Main researches Pedro Cabalar
Type Proyecto Programas Nacionales
Dates From 01/10/2009 to 30/09/2012

Recuperación de Información sobre distintos medios con una perspectiva multidimensional: relevancia, novedad, personalización y contexto

Funding entity Ministerio de Ciencia e Innovación
Main researches Alvaro Barreiro García
Type Proyecto Programas Nacionales
Dates From 01/01/2009 to 31/12/2011

Ayuda para la consolidación de unidades de investigación competitivas

Funding entity Xunta de Galicia, Consellería de Innovación,Industria e Comercio
Main researches Alvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/2009 to 16/12/2009

Algoritmos Genéticos en problemas de Satisfactibilidad: estudio formal y aplicación a Answer Set Programming

Funding entity Xunta de Galicia
Main researches Pedro Cabalar
Type Proyecto Programas Autonomicos
Dates From 01/10/2008 to 30/08/2011

Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.

Funding entity Dirección Xeral de Investigación, Desenvolvemento e Innovación
Type Proyecto Otros Programas
Dates From 01/01/2008 to 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

Funding entity Universidade de Santiago de Compostela
Main researches Alvaro Barreiro García
Type Contrato
Dates From 21/11/2008 to 31/12/2009

Sistema de indexación, extracción de contenidos, búsqueda y gestión de información en fuentes legislativas

Funding entity Fundación para fomento de la calidad industrial y desarrollo tecnológico de Galicia gestionadora del CIS
Main researches Alvaro Barreiro García
Type Contrato
Dates From 01/01/2008 to 31/12/2009

Mellora na recuperación de noticias e no acceso a información financieira: recuperación de noticia web. Subproxecto UDC

Funding entity Dirección Xeral de Investigación, Desenvolvemento e Innovación
Main researches Alvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 03/12/2007 to 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.

Funding entity MINISTERIO DE EDUCACIÓN Y CIENCIA
Main researches José Santos Reyes
Type Proyecto Otros Programas
Dates From 01/10/2007 to 30/04/2011

Grupo Integrado de Ingeniería (GII)

Type Proyecto Otros Programas
Dates From 31/08/2007 to 15/11/2010

Recuperación de sentenzas relevantes e noveis utilizando modelos e técnicas de Recuperación de Información

Funding entity Xunta de Galicia
Main researches Alvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 03/12/2006 to 03/12/2007

LÓGICAS, DEDUCCIÓN Y PROGRAMACIÓN PARA SISTEMAS INTELIGENTES (AMPLIACIONES Y APLICACIONES DE ANSWER SET PROGRAMMING)

Type Proyecto Otros Programas
Dates From 01/10/2006 to 30/09/2009

Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)

Type Proyecto Otros Programas
Dates From 01/10/2006 to 30/09/2009

Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)

Funding entity Ministerio de Educación y Ciencia
Main researches José Pedro Cabalar Fernández
Type Proyecto Programas Nacionales
Dates From 01/10/2006 to 30/09/2009

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

Funding entity Consellería de Educación e Ordenación Universitaria
Main researches Manuel Vilares Ferro
Type Proyecto Programas Autonomicos
Dates From 01/01/2006 to 31/12/2008

Recuperación de sentencias relevantes y noveles utilizando modelos y técnicas de Recuperación de Información-SUBPROYECTO UDC.

Funding entity MINISTERIO DE EDUCACIÓN Y CIENCIA
Main researches Álvaro Barreiro García
Type Proyecto Otros Programas
Dates From 31/12/2005 to 31/12/2008

Diseño evolutivo de velas para navegación.

Funding entity Dirección Xeral de Investigación e Desenvolvemento
Type Proyecto Otros Programas
Dates From 12/08/2004 to 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)

Funding entity Dirección Xeral de Investigación e Desenvolvemento
Type Proyecto Otros Programas
Dates From 04/06/2004 to 03/06/2007

DELIA: deduction and programming in non-classical logics for knowledge technology

Funding entity Ministerio de Ciencia y Tecnología
Main researches David Pearce
Type Proyecto Programas Nacionales
Dates From 01/01/2004 to 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

Funding entity Ministerio de Ciencia y Tecnología
Main researches Richard José Duro Fernández
Type Proyecto Otros Programas
Dates From 11/12/2003 to 10/12/2006

Sistema médico distribuído basado en XML

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

La Epistasis Generalizada en la optimización funcional

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 15/07/2003 to 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

Funding entity Xunta de Galicia
Main researches Alvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 04/07/2003 to 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

Funding entity Ministerio de Ciencia y Tecnología MCyT
Main researches Alvaro Barreiro García
Type Proyecto Programas Nacionales
Dates From 01/12/2002 to 30/11/2005

Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)

Funding entity Ministerio de Ciencia y Tecnología
Main researches Víctor M. Gulías Fernández
Type Proyecto Programas Nacionales
Dates From 05/11/2002 to 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

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Main researches José María Cardesín Díaz
Type Proyecto Programas Autonomicos
Dates From 08/10/2002 to 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

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 28/09/2002 to 27/09/2004

Working Group on Answer Set Programming

Funding entity Unión Europea (red de investigación)
Main researches Alessandro Provetti
Type Proyecto UE
Dates From 15/09/2002 to 14/03/2005

Diseño co-evolutivo de sensores y actuadores virtuales, morfología y arquitectura cognitiva en robótica autónoma.

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 13/08/2002 to 30/09/2004

Unha linguaxe declarativa basada na causalidade: aplicación a diferentes problemas de razoamento (Incentivo TIC2001-0393)

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 12/08/2002 to 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"

Funding entity LONXANET DIRECTO, S.L.
Type Contrato
Dates From 01/06/2002 to 01/06/2003

Evaluación externa de la aplicación web de Lonxanet para la venta de productos marinos de alimentación

Funding entity LONXANET DIRECTO, S.L.
Main researches Alvaro Barreiro García
Type Contrato
Dates From 01/06/2002 to 31/05/2003

Un lenguaje declarativo basado en causalidad: aplicación a diferentes problemas de razonamiento

Funding entity Ministerio de Ciencia y Tecnología
Main researches Ramón Pérez Otero
Type Proyecto Programas Nacionales
Dates From 28/12/2001 to 27/12/2004

Un lenguaje declarativo basado en causalidad:aplicación a diferentes problemas de razonamiento.

Type Proyecto Otros Programas
Dates From 28/12/2001 to 28/12/2004

Imágenes hiperespectrales: técnicas de clasificación supervisada y registro temporal mediante redes neuronales.

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Type Proyecto Otros Programas
Dates From 18/01/2001 to 18/01/2004

Predicción de fallo empresarial mediante técnicas de inteligencia artificial

Type Proyecto Otros Programas
Dates From 16/01/2001 to 16/01/2002

Diseños Adaptados y Algoritmos Genéticos

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 26/08/2000 to 26/08/2002

Representación de coalgebras y categorías derivadas

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 25/08/2000 to 25/08/2002

Predicción de fallo empresarial mediante técnicas de inteligencia artificial

Type Proyecto Otros Programas
Dates From 01/06/2000 to 01/06/2001

Proyecto tecnológico protecas de embarcaciones catamarán sumergibles

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Type Proyecto Otros Programas
Dates From 01/01/2000 to 31/12/2001

Estudio y Diseño de cajas acústicas de alta calidad con resonadores acoplados

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Type Proyecto Otros Programas
Dates From 30/12/1999 to 31/12/2001

Arquitectura cognitiva de robots móviles autónomos para tareas cooperativas y competitivas entre varios robots.

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 25/08/1999 to 25/08/2002

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

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

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

Funding entity Xunta de Galicia
Main researches Alvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/1999 to 31/12/2000

Sistema de Razonamiento Automático sobre Dominios Dinámicos

Funding entity Ministerio de Educación y Cultura
Main researches Ramón Pérez Otero
Type Proyecto Programas Nacionales
Dates From 01/01/1999 to 31/12/2001

Integración de módulos de procesado visual y selección de atención en la arquitectura cognitiva distribuida de robots autónomos.

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Type Proyecto Otros Programas
Dates From 01/10/1998 to 30/09/1999

Sistema de razonamiento automático sobre dominios dinámicos

Funding entity Secretaría de Estado de Universidades e Investigación. Programa Sectorial de Promoción General del Conocimiento
Main researches Ramón Pérez Otero
Type Proyecto Programas Nacionales
Dates From 01/10/1998 to 01/10/2001

Arquitecturas de control con aprendizaje temporal para robots autónomos

Type Proyecto Otros Programas
Dates From 28/04/1998 to 28/04/1999

Algoritmos genéticos: Epistasis y transformadas de Walsh

Type Proyecto Otros Programas
Dates From 28/04/1998 to 28/04/1999

Arquitectura de control con aprendizaje temporal para robots autónomos

Type Proyecto Otros Programas
Dates From 01/01/1997 to 01/01/1998

Sócrates (Sistema objetual y cooperativo para la racionalización de la actividad y la tecnología de la empresa )

Funding entity Dirección Xeral de Universidades
Type Proyecto Otros Programas
Dates From 24/10/1996 to 24/10/1998

Razonamiento en sistemas dinámicos de eventos discretos. Integración en Medtool.

Funding entity Xunta de Galicia
Main researches Alvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/1996 to 31/12/1998

Razonamiento en Sistemas Dinámicos de Eventos Discretos. Integración en Medtool

Funding entity Xunta de Galicia
Main researches Ramón Pérez Otero
Type Proyecto Programas Autonomicos
Dates From 01/01/1996 to 31/01/1998

Algoritmos Genéticos. Aplicaciones a la economía

Type Proyecto Otros Programas
Dates From 01/01/1996 to 01/01/1996

Apoyo al diseño y desarrollo de ampliaciones de la aplicación Gialix: ¿Módulo de indicadores de diagnóstico financiero¿

Funding entity Diputación de A Coruña (convenio de colaboración)
Main researches José Luis Freire Nistal
Type Contrato
Dates From 01/08/1996 to 30/04/1997

Generación óptima de conexiones en mapas: aplicación en redes de distribución.

Funding entity Consellería de Educación e Ordenación Universitaria
Main researches Antonio Ángel Blanco Ferro
Type Proyecto Programas Autonomicos
Dates From 07/04/1994 to 07/04/1997

Aprendizaje en un entorno de desarrollo de sistemas experto para ayuda a la investigación. Aplicación al dominio médico.

Funding entity Xunta de Galicia
Main researches Ramón Pérez Otero
Type Proyecto Programas Autonomicos
Dates From 01/01/1994 to 31/12/1996

Sistema de cálculo simbólico con arquitectura cliente/servidor y núcleo funcional

Funding entity Dirección Xeral de Universidades
Main researches José Luis Freire Nistal
Type Proyecto Otros Programas
Dates From 01/01/1994 to 31/12/1995

Aprendizaje en un entorno de desarrollo de sistemas expertos para ayuda a la investigación. Aplicación al dominio médico

Funding entity Xunta de Galicia
Main researches Ramón Pérez Otero
Type Proyecto Programas Autonomicos
Dates From 01/01/1994 to 31/12/1995

Sistema de adquisición automática de conocimiento para protocolos clínicos

Funding entity Xunta de Galicia
Main researches Alvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/1993 to 31/12/1994

Generador de bases de conocimiento para protocolos clínicos.

Funding entity Universidade da Coruña (UDC)
Main researches Alvaro Barreiro García
Type Proyecto Otros Programas
Dates From 01/07/1992 to 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

Funding entity Comisión Interministerial de Ciencia y Tecnología
Main researches José Mira Mira
Type Proyecto Programas Nacionales
Dates From 01/01/1992 to 31/12/1994

Razonamiento temporal y planificación en un entorno clínico: aplicación en oncología

Funding entity Comisión Interministerial de Ciencia y Tecnología
Main researches José Mira Mira
Type Proyecto Programas Nacionales
Dates From 01/01/1990 to 31/12/1992

Un consejero de terapia en oncología

Funding entity Comisión Interministerial de Ciencia y Tecnología
Main researches José Mira Mira
Type Proyecto Programas Nacionales
Dates From 01/01/1989 to 31/12/1991

TAO Therapy Advides for Oncology

Funding entity Union Europea
Main researches José Mira Mira
Type Proyecto UE
Dates From 01/01/1987 to 31/12/1991

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

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

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

Type Propiedad Intelectual
Entity Universidade da Coruña
Authors Albina Sarymsakova, Nelly Condori Fernández, Martin-Rodilla, P., Tamara Couto Fernández
Application date 06/04/2022

C2F. Framework para la ayuda a la conversión de código fuente de lenguajes de programación imperativos

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors 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
Application date 17/11/2017
Approval date 13/02/2018

FilmYou: Recomendación Distribuida de Películas

Type Software Registrado
Entity
Authors Álvaro Barreiro García, Javier Parapar, Daniel Valcarce Silva
Application date 12/08/2015
Approval date 04/12/2015

Totem PDF

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors Javier Parapar, Alvaro Barreiro, Ramón Casares
Application date 01/01/2014
Approval date 31/12/2014

Coruña Campus Tool

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors Javier Parapar, Manuel Eduardo Ares Brea, Ismael Hasan Romero
Application date 27/01/2010
Approval date 27/07/2010

Lexisla

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors Álvaro Barreiro García, Javier Parapar, Roi Blanco González, Ismael Hasan Romero
Application date 27/01/2010
Approval date 27/07/2010

NowOnWeb: Sistema de recuperación de noticias.

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors Álvaro Barreiro García, Javier Parapar, José María Casanova Crespo
Application date 17/08/2007
Approval date 17/08/2007

Automatic depression score estimation with word embedding models

Authors Anxo Pérez, Javier Parapar, Álvaro Barreiro
Journal ARTIFICIAL INTELLIGENCE IN MEDICINE Vol. 132 (pages 102380 to 102392)
DOI https://doi.org/10.1016/j.artmed.2022.102380

Energy Minimization vs. Deep Learning Approaches for Protein Structure Prediction

Authors Juan Filgueiras, Daniel Varela, José Santos Reyes
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 13259 (pages 109 to 118)
DOI https://doi.org/10.1007/978-3-031-06527-9_11

A MaxSAT Solver Based on Differential Evolution (Preliminary Report)

Authors M. Framil, cabalar, J. Santos
Journal Progress in Artificial Intelligence - 21st EPIA Conference on Artificial Intelligence, Lecture Notes in Computer Science Vol. 13566 Num. 13566 (pages 676 to 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.

Authors J. Santos, Angel Beade, Manuel Rodríguez
Journal Lecture Notes in Computer Science Vol. 13259 (pages 534 to 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

Authors Daniel Varela, J. Santos
Journal 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

Authors Martín-Rodilla, Patricia, Gonzalez-Perez, C.
Journal 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

Authors Daniel Varela, J. Santos
Journal Genetic Programming and Evolvable Machines Vol. 23 (pages 225 to 252)
DOI https://doi.org/10.1007/s10710-022-09427-x

Enriching linguistic descriptions of data: A framework for composite protoforms

Authors Ramos-Soto, A., Martin-Rodilla, P.
Journal Fuzzy Sets and Systems Vol. 407 Num. 1

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

Authors David Otero, Martin-Rodilla, P., Javier Parapar
Journal ACM Journal on Computing and Cultural Heritage

Hybrid Intelligence Strategies for Identifying, Classifying and Analyzing Political Bots

Authors García-Orosa, Berta, Gamallo, Pablo, Martín-Rodilla, Patricia, Martínez-Castaño, Rodrigo
Journal Social Sciences Vol. 10 Num. 10
DOI https://doi.org/10.3390/socsci10100357

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

Authors Angel Beade, Manuel Rodríguez, José Santos Reyes
Journal REVISTA DE LA ASOCIACIÓN ESPAÑOLA DE CONTABILIDAD Y AUDITORÍA DE CUENTAS. Vol. 132 (pages 5 to 8)

Statistical language models for query-by-example spoken document retrieval

Authors Paula Lopez-Otero, Javier Parapar, Álvaro Barreiro
Journal MULTIMEDIA TOOLS AND APPLICATIONS Vol. 79 Num. 11 (pages 7927 to 7949)

Using score distributions to compare statistical significance test for information retrieval evaluation

Authors Javier Parapar, David E. Losada, Manuel Antonio Presedo Quindimil, Álvaro Barreiro
Journal Journal of the Association for Information Science and Technology Vol. 71 Num. 1 (pages 98 to 113)

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

Authors Daniel Varela, José Santos Reyes
Journal NATURAL COMPUTING (pages 1 to 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.

Authors Martin-Rodilla, P.
Journal Information Vol. 11-5 (pages 256 to 256)

Equilibrium Graphs

Authors Pedro Cabalar, Carlos Pérez, Gilberto Pérez
Journal ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE

WHEN TO STOP MAKING RELEVANCE JUDGMENTS? A STUDY OF STOPPING METHODS FOR BUILDING INFORMATION RETRIEVAL

Authors David E. Losada, Javier Parapar, Álvaro Barreiro
Journal Journal of the Association for Information Science and Technology Vol. 70 Num. 1 (pages 49 to 60)

Revisiting Explicit Negation in Answer Set Programming

Authors Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 19 Num. 5-6 (pages 908 to 924)
DOI https://doi.org/10.1017/s1471068419000267

Collaborative Filtering Embeddings for Memory-Based Recommender Systems

Authors Daniel Valcarce-Silva, Alfonso Landin, Javier Parapar, Álvaro Barreiro
Journal Engineering Applications of Artificial Intelligence Vol. 85 (pages 347 to 356)

Efficient query-by-example document retrieval combining phone multigram representation and dynamic time warping

Authors Paula López Otero, Javier Parapar, Álvaro Barreiro
Journal INFORMATION PROCESSING & MANAGEMENT Vol. 56 Num. 1 (pages 43 to 60)

Metainformation Scenarios in Digital Humanities: Characterization and Conceptual Modelling Strategies

Authors Martin-Rodilla, P.
Journal INFORMATION SYSTEMS JOURNAL Vol. 84 (pages 29 to 48)

A Complete Planner for Temporal Answer Set Programming

Authors Pedro Cabalar, Concepción Vidal
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 11805 Num. 2 (pages 520 to 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

Authors Daniel Varela, José Santos Reyes
Journal NATURAL COMPUTING (pages 275 to 284)

Special Issue Editorial "Bio-inspired Computing Applications"

Authors José Manuel Ferrández, José Santos Reyes, Ramiro Varela
Journal NATURAL COMPUTING Vol. 18 (pages 215 to 216)

Assisting Forensic Identification through Unsupervised Information Extraction of Free Text Autopsy Reports: The Disappearances Cases during the Brazilian Military Dictatorship

Authors Martin-Rodilla, P.
Journal Information Vol. 10 Num. 7 (pages 231 to 231)
DOI https://doi.org/10.3390/info10070231

Conceptualization and Non-Relational Implementation of Ontological and Epistemic Vagueness of Information in Digital Humanities

Authors Martin-Rodilla, P.
Journal INFORMATICS-BASEL.
DOI https://doi.org/10.3390/informatics6020020

"Forgetting auxiliary atoms in forks"

Authors Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Journal Artificial Intelligence Vol. 275 (pages 575 to 601)

Functional ASP with Intensional Sets; Application to Gelfond-Zhang Aggregates

Authors Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING

Answer Set Programming from a Logical Point of View

Authors Pedro Cabalar, David Pearce, Agustín Valverde
Journal Künstliche Intelligenz

Temporal Answer Set Programming on Finite Traces

Authors Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING

Assessing data analysis performance in research contexts: an experiment on accuracy, efficiency, productivity and researchers¿ satisfaction

Authors Martin-Rodilla, P.
Journal DATA & KNOWLEDGE ENGINEERING

A MapReduce implementation of posterior probability clustering and relevance models for recommendation

Authors Daniel Valcarce, Javier Parapar, Álvaro Barreiro
Journal Engineering Applications of Artificial Intelligence Vol. 75 (pages 114 to 124)
DOI https://doi.org/10.1016/j.engappai.2018.08.006

Finding and Analysing Good Neighbourhoods to Improve Collaborative Filtering

Authors Daniel Valcarce, Javier Parapar, Álvaro Barreiro
Journal Knowledge-Based Systems Vol. 159 Num. 3 (pages 193 to 202)

A Rank Fusion Approach based on Score Distributions for Prioritizing Relevance Assessments in Information Retrieval Evaluation.

Authors David E. Losada Carril, Javier Parapar, Álvaro Barreiro
Journal Information Fusion Vol. 39 (pages 56 to 71)

Advances in the application and development of non-linear global optimization techniques in computational structural biology

Authors J. Handl, A Shehu, J. Santos
Journal IEEE/ACM Transactions on Computational Biology and Bioinformatics Vol. 15 Num. 3 (pages 688 to 689)
DOI https://doi.org/10.1109/tcbb.2018.2817267

Document-based and Term-based Linear Methods for Pseudo-Relevance Feedback

Authors Daniel Valcarce, Javier Parapar, Álvaro Barreiro
Journal Applied Computing Review Vol. 18 Num. 4 (pages 5 to 17)

Enablers and Inhibitors in Causal Justifications of Logic Programs

Authors Pedro Cabalar, Jorge Fandinno
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Num. 1 (pages 49 to 74)

A Modelling Language for Discourse: Analysis in Humanities: Definition, Design, Validation and First Experiences.

Authors Martin-Rodilla, P.
Journal Revista de humanidades Digitales. UNED.

Temporal logic programs with variables

Authors Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Num. 2 (pages 226 to 243)
DOI https://doi.org/10.1017/s1471068416000570

Multi-Armed Bandits for Adjudicating Documents in Pooling-Based Evaluation of Information Retrieval Systems

Authors David E. Losada, Javier Parapar, Álvaro Barreiro
Journal INFORMATION PROCESSING & MANAGEMENT Vol. 53 Num. 5 (pages 1005 to 1025)
DOI https://doi.org/10.1016/j.ipm.2017.04.005

Axiomatic Analysis of Language Modelling of Recommender Systems

Authors Daniel Valcarce, Javier Parapar, Alvaro Barreiro
Journal INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS Vol. 25 Num. 2 (pages 113 to 128)

On the Properties of Atom Definability and Well-Supportedness in Logic Programming

Authors Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (pages 624 to 636)

haspie - A Musical Harmonisation Tool based on ASP

Authors Pedro Cabalar, Rodrigo Martín
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (pages 637 to 642)

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

Authors Daniel Varela, José Santos Reyes
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 10634

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

Authors Daniel Varela, J. Santos
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 10337 (pages 125 to 134)

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

Authors José Santos Reyes, Pablo Fernández
Journal NATURAL COMPUTING Vol. 16 Num. 2 (pages 201 to 211)

Inclusion of the fitness sharing technique in an evolutionary algorithm to analyze the fitness landscape of the genetic code adaptability

Authors José Santos Reyes, Ángel Monteagudo
Journal BMC BIOINFORMATICS

Verification for ASP denotational semantics: A case study using the PVS theorem prover

Authors Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Journal LOGIC JOURNAL OF THE IGPL Vol. 25 Num. 2 (pages 195 to 213)
DOI https://doi.org/10.1093/jigpal/jzw060

Temporal Equilibrium Logic with past operators

Authors Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
Journal Journal of Applied Non-Classical Logics Vol. 27 Num. 3-4 (pages 161 to 177)
DOI https://doi.org/10.1080/11663081.2018.1427987

Stable Reasoning

Authors Pedro Cabalar, David Pearce, Agustín Valverde
Journal Journal of Applied Non-Classical Logics Vol. 27 Num. 3-4 (pages 238 to 254)

A Qualitative Spatial Representation of String Loops as Holes

Authors Pedro Cabalar, Paulo E. Santos
Journal Artificial Intelligence Vol. 238 (pages 1 to 10)

Justifications for Programs with Disjunctive and Causal-choice Rules

Authors Pedro Cabalar, Jorge Fandinno
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 16 Num. 5-6 (pages 587 to 603)

Item-based relevance modelling of recommendations for getting rid of long tail products

Authors Daniel Valcarce, Javier Parapar, Alvaro Barreiro
Journal Knowledge-Based Systems Vol. 103 (pages 41 to 51)
DOI https://doi.org/10.1016/j.knosys.2016.03.021

Framing Holes within a Loop Hierarchy

Authors Paulo E. Santos, Pedro Cabalar
Journal SPATIAL COGNITION AND COMPUTATION Vol. 16 Num. 1 (pages 54 to 95)

An infinitary encoding of equilibrium logic

Authors Pedro Cabalar, Concepción Vidal, Martin Diéguez Lodeiro
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Num. 4-5 (pages 666 to 680)

Explaining preferences and preferring explanations

Authors Pedro Cabalar, Jorge Fandinno
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 9060 (pages 218 to 232)

A denotational semantics for equilibrium logic

Authors Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, David Pearce
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Num. 4-5 (pages 620 to 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

Authors Ángel Monteagudo, José Santos Reyes
Journal PLOS ONE

A Distributed Recommendation Platform for Big Data

Authors Daniel Valcarce, Javier Parapar, Alvaro Barreiro
Journal JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 21 Num. 13 (pages 1810 to 1829)
DOI https://doi.org/10.3217/jucs-021-13-1810

Stable Models for Temporal Theories - Invited Talk

Authors Pedro Cabalar
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 9345 (pages 1 to 13)

Studying the capability of different cancer hallmarks to initiate tumor growth using a cellular automaton simulation. Application in a cancer stem cell context

Authors Ángel Monteagudo Insua, José Santos Reyes
Journal BIOSYSTEMS Vol. 115 (pages 46 to 58)
DOI https://doi.org/10.1016/j.biosystems.2013.11.001

Analysis of behaviour transitions in tumour growth using a cellular automaton simulation

Authors José Santos Reyes, Ángel Monteagudo
Journal IET Systems Biology (pages 1 to 13)
DOI https://doi.org/10.1049/iet-syb.2014.0015

Causal Graph Justifications of Logic Programs

Authors Pedro Cabalar, Jorge Fandinno, Michael Fink
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 14 Num. 4-5 (pages 603 to 618)
DOI https://doi.org/10.1017/s1471068414000234

Combining Psycho-linguistic, Content-based and Chat-based Features to Detect Predation in Chatrooms

Authors Javier Parapar, Losada, David E., Álvaro Barreiro García
Journal JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 20 Num. 2 (pages 213 to 239)

Score distributions for Pseudo Relevance Feedback

Authors Javier Parapar, Presedo-Quindimil, Manuel A., Álvaro Barreiro García
Journal Information Sciences Vol. 273 (pages 171 to 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

Authors José Santos Reyes, Pablo Villot, Martin Diéguez
Journal JOURNAL OF COMPUTATIONAL BIOLOGY Vol. 21 Num. 11 (pages 823 to 845)

A Complexity Assessment for Queries involving Sufficient and Necessary Causes

Authors Pedro Cabalar, Jorge Fandinno, Michael Fink
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (pages 297 to 319)

A Free Logic for Stable Models with Partial Intensional Functions

Authors Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (pages 340 to 354)

Finding a needle in the Blogosphere: an information fusion approach for blog distillation search

Authors José M Chenlo, Javier Parapar, David E. Losada, José Santos Reyes
Journal Information Fusion Vol. 23 (pages 58 to 68)
DOI https://doi.org/10.1016/j.inffus.2014.09.001

Relevance-based language modelling for recommender systems

Authors Javier Parapar, Alejandro Bellogín, Pablo Castells, Álvaro Barreiro García
Journal INFORMATION PROCESSING & MANAGEMENT Vol. 49 Num. 4 (pages 966 to 980)
DOI https://doi.org/10.1016/j.ipm.2013.03.001

Multiobjective differential evolution in the optimization of topological active models

Authors Jorge Novo, José Santos Reyes, M G Penedo
Journal Applied Soft Computing Vol. 13 (pages 3167 to 3177)
DOI https://doi.org/10.1016/j.asoc.2012.12.010

Integrating Temporal Extensions of Answer Set Programming

Authors Felicidad Aguado, Gilberto Pérez, Concepción Vidal
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 8148 (pages 23 to 35)
DOI https://doi.org/10.1007/978-3-642-40564-8_3

Temporal Equilibrium Logic: a survey

Authors Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez Lodeiro
Journal Journal of Applied Non-Classical Logics Vol. 23 Num. 1-2 (pages 2 to 24)
DOI https://doi.org/10.1080/11663081.2013.798985

Foreword

Authors Pedro Cabalar, Agustín Valverde
Journal Journal of Applied Non-Classical Logics Vol. 23 Num. 1-2 (pages 1 to 1)

Evolved artificial neural networks for controlling Topological Active Nets deformation and for medical image segmentation

Authors C. de La Vega, J. Novo, J. Santos, M G Penedo
Journal Frontiers in Artificial Intelligence and Applications Vol. 243 (pages 1380 to 1389)

ECIR 2012: 34th European Conference on Information Retrieval Research (conference report)

Authors 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
Journal SIGIR FORUM Vol. 46 Num. 2 (pages 34 to 41)

Improving the Extraction of Text in PDFs by Simulating the Human Reading Order

Authors Hasan, Ismael, Javier Parapar, Álvaro Barreiro García
Journal JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 18 Num. 5 (pages 623 to 649)

Topological active models optimization with differential evolution

Authors Jorge Novo, José Santos Reyes, M G Penedo
Journal Expert Systems with Applications Vol. 35 Num. 15 (pages 12165 to 12176)
DOI https://doi.org/10.1016/j.eswa.2012.04.087

An experimental study of constrained clustering effectiveness in presence of erroneous constraints

Authors Eduardo Ares, M., Javier Parapar, Álvaro Barreiro García
Journal INFORMATION PROCESSING & MANAGEMENT Vol. 48 Num. 3 (pages 537 to 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

Authors José Santos Reyes, Angel Campo
Journal Neurocomputing Vol. 86 Num. 1 (pages 86 to 96)
DOI https://doi.org/10.1016/j.neucom.2012.01.009

Topological Active Volume 3D Segmentation Model Optimized with Genetic Approaches

Authors J. Novo, N. Barreira, M G Penedo, José Santos Reyes
Journal NATURAL COMPUTING Vol. 11 (pages 161 to 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

Authors Javier Parapar, David E. Losada, Álvaro Barreiro
Journal CEUR-WS (pages 1 to 12)

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

Authors Concepción Vidal, Gilberto Pérez, Felicidad Aguado, Lin, J
Journal LOGIC JOURNAL OF THE IGPL Vol. 19 Num. 2 (pages 405 to 414)

The Use of Latent Semantic Indexing to Mitigate OCR Effects of Related Document Images

Authors Renato F. Bulcao Neto, Jose A. Camacho Guerrero, Marcio Dutra, Álvaro Barreiro García, Javier Parapar, Alessandra A. Macedo
Journal JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 17 Num. 1 (pages 64 to 80)

Optimization of Topological Active Nets with Differential Evolution

Authors Jorge Novo Buján, José Santos Reyes, M G Penedo
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 6593 (pages 350 to 360)

A Cluster Based Pseudo Feedback Technique Which Exploits Good and Bad Clusters

Authors Javier Parapar, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 7023 (pages 403 to 412)

Promoting Divergent Terms in the Estimation of Relevance Models

Authors Javier Parapar, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 6931 (pages 77 to 88)

Loop Formulas for Splitable Temporal Logic Programs

Authors Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (pages 80 to 92)
DOI https://doi.org/10.1007/978-3-642-20895-9_9

Automata-based Computation of Temporal Equilibrium Models

Authors Pedro Cabalar, Stephane Demri
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 7225 (pages 57 to 72)

Differential Evolution Optimization of 3D Topological Active Volumes

Authors J. Novo, José Santos Reyes, M G Penedo
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 6691 (pages 282 to 290)
DOI https://doi.org/10.1007/978-3-642-21501-8_35

STeLP - a Tool for Temporal Answer Set Programming

Authors Pedro Cabalar, Martín Diéguez
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (pages 370 to 375)

Simulated evolution applied to study the genetic code optimality using a model of codon reassignments

Authors José Santos Reyes, Ángel Monteagudo Insua
Journal BMC BIOINFORMATICS Vol. 12 (pages 0 to 0)

Study of the Genetic Code Adaptability by Means of a Genetic Algorithm

Authors Ángel Monteagudo Insua, José Santos Reyes
Journal JOURNAL OF THEORETICAL BIOLOGY Num. 2643 (pages 854 to 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.

Authors Ismael Hassan, Javier Parapar, Álvaro Barreiro
Journal CEUR-WS (pages 1 to 4)

Improving alternative text clustering quality in the avoiding bias task with spectral and flat partition algorithms

Authors Manuel Eduardo Ares Brea, Javier Parapar, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 6262 Num. 2 (pages 407 to 421)

A Normal Form for Linear Temporal Equilibrium Logic

Authors Pedro Cabalar
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 6342 (pages 64 to 76)

Probabilistic static pruning of inverted files

Authors Roi Blanco González, Álvaro Barreiro García
Journal ACM TRANSACTIONS ON INFORMATION SYSTEMS Vol. 28 Num. 1 (pages 1 to 33)

Evolutionary Multiobjective Optimization of Topological Active Nets

Authors Jorge Novo Buján, M G Penedo, José Santos Reyes
Journal PATTERN RECOGNITION LETTERS Vol. 31 Num. 13 (pages 1781 to 1794)

Localisation of the Optic Disc by Means of GA-Optimised Topological Active Nets

Authors Jorge Novo Buján, M G Penedo, José Santos Reyes
Journal IMAGE AND VISION COMPUTING Vol. 27 (pages 1572 to 1584)

Genetic Code Optimality Studied by Means of Simulated Evolution and Within the Coevolution Theory of the Canonical Code Organization

Authors José Santos Reyes, Ángel Monteagudo Insua
Journal NATURAL COMPUTING Vol. 8 Num. 4 (pages 719 to 738)

Nitrificación en reactores biopelícula de membrana tubular permeable a gases

Authors Judith Molina Burgos, Antonio Fermín Yáñez Izquierdo, Juan Alfredo Jacome Burgos, Suárez, J.
Journal INGENIERIA DEL AGUA Vol. 16 Num. 2 (pages 129 to 144)

N-gram based models for retrieval in degraded large collections

Authors Javier Parapar López, Ana María Freire Veiga, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5478 (pages 680 to 684)

A Revised Concept of Safety for General Answer Set Programs

Authors Pedro Cabalar, David Pearce, Agustín Valverde
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (pages 58 to 70)

Avoiding Bias in Text Clustering Using Constrained K-means and May-Not-Links

Authors Manuel Eduardo Ares Brea, Javier Parapar, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5766 (pages 322 to 329)

CIE-9-MC code classification with knn and SVM

Authors David Lojo Vicente, David E. Losada Carril, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5602 (pages 499 to 508)

Evaluation of text clustering algorithms with n-gram-based document fingerprints

Authors Javier Parapar López, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5478 (pages 645 to 653)

Genetic Approaches for the Automatic Division of Topological Active Volumes

Authors Jorge Novo Buján, Noelia Barreira Rodríguez, M G Penedo, José Santos Reyes
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5602 (pages 20 to 29)

Revisitin n-gram based models for retrieval in degraded large collections

Authors Javier Parapar, Ana Freire Veiga, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5478 (pages 680 to 684)

Using a rank fusion technique to improve shot boundary detection effectiveness

Authors Manuel Eduardo Ares Brea, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (pages 247 to 254)

Safety Preserving Transformations for General Answer Set Programs

Authors Pedro Cabalar, David Pearce, Agustín Valverde
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (pages 58 to 70)

Genetic Approaches for Topological Active Nets Optimization

Authors Óscar Ibáñez Panizo, Noelia Barreira Rodríguez, José Santos Reyes, M G Penedo
Journal Pattern Recognition Vol. 42 Num. 5 (pages 907 to 917)

High order fucntions and Walsh coefficients revisited

Authors María Teresa Iglesias Otero, Concepción Vidal, Alain Verschoren
Journal BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 15 (pages 403 to 408)

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

Authors Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal
Journal Journal of Formalized Reasoning (pages 25 to 37)

Higher Epistasis in Genetic Algorithms

Authors María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren
Journal BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 77 (pages 225 to 243)

The space within the Fisherman¿s Folly: playing with a puzzle in mereotopology

Authors Paulo E. Santos, Pedro Cabalar
Journal SPATIAL COGNITION AND COMPUTATION Vol. 8 (pages 47 to 64)

Strongly equivalent temporal logic programs

Authors Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5293 (pages 8 to 20)

Optic Disc Segmentation by Means of GA-Optimized Topological Active Nets

Authors Jorge Novo Buján, M G Penedo, José Santos Reyes
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5112 (pages 807 to 816)

Partial Functions and Equality in Answer Set Programming

Authors Pedro Cabalar
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5366 (pages 392 to 406)

Probabilistic documents length priors for language models

Authors Roi Blanco González, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4956 (pages 394 to 405)

Partial Equilibrium Logic

Authors Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde
Journal ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Vol. 50 (pages 305 to 331)

NowOn Web: a NewsIR System

Authors Javier Parapar, Álvaro Barreiro García
Journal Procesamiento del Lenguaje Natural (número 69) Vol. 39 (pages 287 to 288)

The Coruña Corpus Tool

Authors Javier Parapar, Isabel Moskowich-Spiegel Fandiño
Journal Procesamiento del Lenguaje Natural (número 69) Vol. 39 (pages 289 to 290)

The 2-epistasis of fitness functions

Authors María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren
Journal BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 76 (pages 397 to 419)

Propositional Theories are Strongly Equivalent to Logic Programs

Authors Pedro Cabalar, Paolo Ferraris
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 7 Num. 6 (pages 745 to 759)

Automatic Topological Active Net Division in a Genetic-Greedy Hybrid Approach

Authors Noelia Barreira Rodríguez, M G Penedo, Óscar Ibáñez Panizo, José Santos Reyes
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4478 (pages 226 to 233)

Genetic-Greedy Hybrid Approach for Topological Active Nets Optimization

Authors José Santos Reyes, Óscar Ibáñez Paniño, Noelia Barreira Rodríguez, M G Penedo
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4431 (pages 202 to 210)

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation

Authors Pedro Cabalar, David Pearce, Panos Rondogiannis, William Wadge
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4483 (pages 44 to 57)

Certified Genetic Algorithms: Crossover Operators for Permutations

Authors Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 282 to 289)

Minimal Logic Programs

Authors Pedro Cabalar, Gilberto Pérez
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4670 (pages 104 to 118)

Overall Comparison at the Standard Levels of Recall of Multiple Retrieval Methods with the Friedman Test

Authors José María Casanova Crespo, Manuel Antonio Presedo Quindimil, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4425 (pages 682 to 685)

NowOn Web: News Search and Summarization

Authors Javier Parapar, José María Casanova Crespo, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 225 to 232)

Static Pruning of Terms in Inverted Files

Authors Roi Blanco González, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4425 (pages 64 to 75)

Temporal Equilibrium Logic: a first approach

Authors Pedro Cabalar, Gilberto Pérez
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 241 to 248)

The Information Retrieval Lab at the University of A Coruña BCS-IRSG Informer, Vol 25.

Authors Javier Parapar, Álvaro Barreiro
Journal BCS-IRSG Informer (Britisth Computer Society - Information Retrieval Specialist Group) Vol. 25 (pages 5 to 57)

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic

Authors Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde Ramos
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4079 (pages 346 to 360)

Negations and document length in logical retrieval

Authors David E. Losada Carril, Álvaro Barreiro García
Journal INFORMATION SYSTEMS Vol. 31 Num. 7 (pages 610 to 620)

On the Logic and Computation of Partial Equilibrium Models

Authors Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde Ramos
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4160 (pages 82 to 94)

Sentence retrieval with LSI and topic identification

Authors David Parapar López, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3936 (pages 119 to 130)

Strings and holes: an exercise on spatial representation and reasoning

Authors Pedro Cabalar, Paulo Eduardo Santos
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (pages 419 to 429)

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs

Authors Pedro Cabalar, Sergei Odintsov, David Pearce
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (pages 592 to 601)

Topological Active Nets Optimization Using Genetic Algorithms

Authors O. Ibáñez, Noelia Barreira Rodríguez, José Santos Reyes, M G Penedo
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4141 (pages 272 to 282)

Generalized Walsh Transforms and Epistasis

Authors María Teresa Iglesias Otero, Concepción Vidal, Alan Verschoren
Journal BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 13 (pages 55 to 68)

TSP and cluster-based solutions to the reassignment of document identifiers

Authors Roi Blanco González, Álvaro Barreiro García
Journal INFORMATION RETRIEVAL Vol. 9 Num. 4 (pages 499 to 517)

Computing epistasis of Template Functions through Walsh Transforms

Authors María Teresa Iglesias Otero, Concepción Vidal, Alain Verschoren
Journal COMPUTING AND INFORMATICS Vol. 24 (pages 263 to 279)

A Software Architecture for Effective Document Identifier Reassignment

Authors Roi Blanco González, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (pages 254 to 262)

Document Identifier Reassignment Through Dimensionality Reduction

Authors Roi Blanco González, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3408 (pages 375 to 387)

Reducing Propositional Theories in Equilibrium Logic to Logic Programs

Authors Pedro Cabalar, David Pearce, Agustín Valverde
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3808 (pages 4 to 17)

Complex Behaviours through modulation in Autonomous Robot Control

Authors Jose Antonio Becerra Permuy, F. Bellas, José Santos Reyes, Richard José Duro Fernández
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3512 (pages 717 to 724)

Neural Clustering Analysis of Macroevolutionary and Genetic Algorithms in the Evolution of Robot Controllers

Authors Jose Antonio Becerra Permuy, José Santos Reyes
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3562 (pages 415 to 424)

Logic programs with functions and default values

Authors Pedro Cabalar, David Lorenzo
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3229 (pages 294 to 306)

Negations and document length in logical retrieval

Authors David E. Losada Carril, Álvaro Barreiro García
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3246 (pages 196 to 207)

Modelling Temporal Series Through Synaptic Delay-based Neural Networks

Authors Richard José Duro Fernández, José Santos Reyes
Journal NEURAL COMPUTING & APPLICATIONS Vol. 11 (pages 224 to 237)

Multimodule Artificial Neural Network Architectures for Autonomous Robot Control Through Behavior Modulation

Authors José Antonio Becerra Permuy, José Santos Reyes, Richard José Duro Fernández
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2687 (pages 169 to 176)

Propositional logic representations for documents and queries: a large-scale evaluation

Authors Álvaro Barreiro García, David Enrique Losada Carril
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2633 (pages 219 to 234)

Embedding term similarity and inverse document frequency into a logical model of Information Retrieval

Authors Álvaro Barreiro García, David Enrique Losada Carril
Journal JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY Vol. 54 Num. 4 (pages 285 to 301)

Self Pruning Gaussian Synapse Networks for Behavior Based Robots.

Authors Richard José Duro Fernández, José Santos Reyes, José Antonio Becerra Permuy
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2415 Num. - (pages 837 to 843)

A Rewriting Method for Well-Founded Semantics with Explicit Negation

Authors Pedro Cabalar
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2401 Num. - (pages 378 to 392)

Considerations in the application of Evolution to the Generation of Robot Controllers

Authors José Santos Reyes, Richard José Duro Fernández, Jose Antonio Becerra Permuy, Juan Crespo Mariño, Francisco Bellas Bouza
Journal Information Sciences Vol. 133 Num. - (pages 127 to 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

Authors José Santos Reyes, Richard José Duro Fernández
Journal INTERNATIONAL JOURNAL OF COMPUTERS SYSTEMS AND SIGNALS Vol. 2 Num. 1 (pages 31 to 42)

II-DTB, Discrete Time Backpropagation with Product Unist

Authors José Santos Reyes, Richard José Duro Fernández
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2084 Num. - (pages 207 to 214)

Influence of Noise on Discrete Time Backpropagation Trained Networks

Authors José Santos Reyes, Richard José Duro Fernández
Journal Neurocomputing Vol. 41 Num. - (pages 67 to 89)

Behavior Reuse and virtual Sensors in the Evolution of Complex Behavior Architectures

Authors Richard José Duro Fernández, José Antonio Becerra Permuy, José Santos Reyes
Journal THEORY IN BIOSCIENCES Vol. 120 Num. 3-4 (pages 188 to 206)
DOI https://doi.org/10.1078/1431-7613-00040

Chaotic Time Series Prediction with Discrete Time Backpropagation

Authors Richard José Duro Fernández, José Santos Reyes
Journal ARTIFICIAL NEURAL NETWORKS IN PATTERN RECOGNITION Num. - (pages 103 to 115)

A Logical Model for Information Retrieval based on Propositional Logic and Belief Revision

Authors Álvaro Barreiro García, David Enrique Losada Carril
Journal COMPUTER JOURNAL Vol. 44 Num. 5 (pages 410 to 424)

Multary Epistasis

Authors María Teresa Iglesias Otero, Concepción Vidal, Dominique Suys, Alain Verschoren
Journal BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 8 Num. - (pages 651 to 671)

Efficient Algorithms for Ranking Documents Represented as DNF Formulas

Authors Álvaro Barreiro García, David Enrique Losada Carril
Journal TECHNOLOGY LETTERS Vol. 4 Num. 1 (pages 16 to 24)

Training Higher Order Gaussian Synapses

Authors Richard José Duro Fernández, José Santos Reyes
Journal FOUNDATIONS AND TOOLS FOR NEURAL MODELING- LECTURE NOTES IN COMPUTER SCIENCE Vol. 1606 Num. - (pages 537 to 545)

Using Temporal Information in ANNs for the Implementation of Autonomous Robot Controllers

Authors Richard José Duro Fernández, José Santos Reyes
Journal ENGINEERING APPLICATIONS OF BIO- INSPIRED ARTIFICIAL NEURAL NETWORKS- LECTURE NOTES IN COMPUTER SCIENCE Vol. 1607 Num. - (pages 540 to 547)

Discrete Time Backpropagation for Training Synaptic Delay Based Artificial Neural Networks

Authors Richard José Duro Fernández, José Santos Reyes
Journal IEEE TRANSACTIONS ON NEURAL NETWORKS Vol. 10 Num. 4 (pages 779 to 789)

Progressive Construction of Compound Behavior Controllers for Autonomous Robots Using Temporal Information

Authors Jose Antonio Becerra Permuy, José Santos Reyes, Richard José Duro Fernández
Journal ADVANCES IN ARTIFICIAL LIFE- LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Vol. 1674 Num. - (pages 324 to 328)

Epistasis and Unitation

Authors María Teresa Iglesias Otero, Concepción Vidal
Journal COMPUTERS AND ARTIFICIAL INTELLIGENCE Vol. 18 Num. 5 (pages 467 to 483)

An alternative approach to involutive Brauer Groups

Authors Concepción Vidal
Journal LECTURE NOTES IN PURE AND APPLIED MATHEMATICS Vol. 1 Num. 197 (pages 311 to 324)

Introducing planning in discrete event systems

Authors Pedro Cabalar, Ramón Pérez Otero, Álvaro Barreiro García, Manuel Cabarcos Traseira
Journal COMPUTER AIDED SYSTEMS THEORY, LECTURE IN COMPUTER SCIENCE Vol. 1333 Num. - (pages 146 to 159)

Parallelization of connecitonist models based on a symbolyc formalism

Authors José Santos Reyes, Ramón Pérez Otero, Manuel Cabarcos Traseira, José Mira Mira
Journal BIOLOGICAL AND ARTIFICIAL COMPUTATION: FROM NEUROSCIENCE TO TECHNOLOGY, LECTURE NOTES IN COMPUTER SCIENCE Vol. 1240 Num. - (pages 304 to 312)

Knowledge refinement of an expert system using a symbolic connectionist approach

Authors José Santos Reyes, David Lorenzo Blanco, Silvia Gómez Pose, Joaquín Heras Varela, Ramón Pérez Otero
Journal ARTIFICIAL INTELLIGENCE IN MEDICINE Vol. - Num. - (pages 516 to 520)

Discrete event simulation in an environment for temporal expert systems

Authors Álvaro Barreiro García, Pedro Cabalar, P. Otero, D. Lorenzo
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Num. - (pages 271 to 286)

Automatic induction of DEVS Structures

Authors Pedro Cabalar, P. Otero, D. Lorenzo
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Num. - (pages 305 to 313)

NETTOOL: A hybrid connectionist-symbolic development environment. From natural to artificial neural computation

Authors José Santos Reyes, R. Otero, J. Mira
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 930 Num. - (pages 658 to 665)

Synaptic modulation based artificial neural networks. From natural to artificial neural computation

Authors Richard José Duro Fernández, José Santos Reyes
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 930 Num. - (pages 31 to 36)

Relatively noetherian rings, localization and sheaves, part III: Functional behaviour

Authors Concepción Vidal, A. Verschoren
Journal COMMUNICATIONS IN ALGEBRA Vol. 23 Num. 7 (pages 2597 to 2619)

STIMS-MEDTOOL: Integration of Expert Systems Modelling and Simulation

Authors R.P. Otero, Álvaro Barreiro, Herbert Praefoher, Franz Pichler
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 763 (pages 347 to 356)

A modular knowledge base for the follow-up of clinical protocols.

Authors Álvaro Barreiro, R.P. Otero, R. Marín, J. Mira
Journal METHODS OF INFORMATION IN MEDICINE Vol. 32 (pages 373 to 381)

Design and integration of a graphic interface for an expert system in oncology

Authors R. Marín, M. Taboada, J. Mira, Álvaro Barreiro, R.P. Otero
Journal INTERNATIONAL JOURNAL OF BIO-MEDICAL COMPUTING Vol. 33 Num. 1 (pages 25 to 43)

On the naturality of the iteration and recursive specifications

Authors José Luis Freire Nistal, Felicidad Aguado, F. Alonso Amo
Journal Applied Mathematics and Computation Vol. 58 Num. 1 (pages 1 to 18)

On the Kleisli Funtors and Functional Completeness

Authors José Luis Freire Nistal, Felicidad Aguado
Journal TECHNICAL REPORT - DEPARTMENT OF COMPUTER SCIENCE Vol. 1 Num. - (pages 0 to 0)

On Knowledge Based Systems in CCU's: Monitoring and Patients Follow-up,

Authors J. Mira, R.P. Otero, S. Barro, Álvaro Barreiro, Ruiz, R., R. Marín, A. Delgado, A. Amaro, M. Jacket
Journal Lecture Notes in Medical Informatics Vol. 47 (pages 174 to 192)

Evaluation of Knowledge Based Systems from the User Perspective

Authors A. Grant, C. Parker-Jones, R. White, D,. Cramp, Álvaro Barreiro, J. Mira, A. Artal, J.M Montero
Journal Lecture Notes in Medical Informatics Vol. 47 (pages 312 to 3324)

Fuzzy Specification in Data Capture and Knowledge Representation for an Expert System in Oncology

Authors Álvaro Barreiro García, J. Mira, Antonio Fermín Yáñez Izquierdo
Journal Fuzzy Sets and Systems Vol. 44 Num. - (pages 431 to 448)

Naturality of the conditional and the recurison

Authors José Luis Freire Nistal, Felicidad Aguado
Journal INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS Vol. 35 (pages 7 to 14)
DOI https://doi.org/10.1080/00207169008803886

Towards a computational theory of systems: some cases study

Authors J. Mira, A. Delgado, R.P. Otero, R. Marín, S. Barro, Álvaro Barreiro
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 410 (pages 284 to 300)

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

Authors Martin-Rodilla, P.
Publishing Springer International Publishing, (España)
ISBN 978-3-319-69187-9

Problemas resueltos de Combinatoria. Laboratorio con SageMath

Authors Felicidad Aguado, Felipe Gago Couso, Gilberto Pérez, Concepción Vidal, Manuel Ladra González, Ana Maria Vieites Rodriguez
Publishing Ediciones Paraninfo, SA, Madrid (España)
ISBN 978-84-283-4074-8

Logic, Leadership and Enthusiasm: A Festschrift in honour of Luis Fariñas del Cerro - Special issue JANCL 27(3-4)

Editors Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce
Publishing Taylor and Francis, (España)
ISBN 1166-308

Journal of Universal Computer Science, Special Issue on Information Retrieval and Recommender Systems

Editors Fidel Cacheda, Javier Parapar
Publishing GRAZ UNIV TECHNOLGOY, Graz (Austria)
ISBN 0948-695X

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

Authors Concepción Vidal, Ana Maria Vieites Rodriguez, Felicidad Aguado, Gilberto Pérez, Manuel Ladra González, Felipe Gago Couso
Publishing Ediciones Paraninfo S.A, Madrid (España)
ISBN 978-84-283-3707-6

Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013

Editors Pedro Cabalar, Tran Cao Son
Publishing Springer, (España)
ISBN 978-3-642-40563-1

"Equilibrium Logic and Answer Set Programming", special issue of the Journal of Applied Non-Classical Logics 23(1-2)

Publishing Taylor and Francis, (España)
ISBN 1166-3081

Vida Artificial. Realizaciones computacionales

Authors J. Santos
Publishing Servicio de Publicaciones Universidad A Coruña, (España)
ISBN 978-84-9749-184-6

Current Topics in Artificial Intelligence. Revised Selected Papers

Editors Roque Marín, Eva Onaindía, Alberto Bugarín, José Santos Reyes
Publishing Springer - Verlag, (España)
ISBN 978-3-540-45915-6

Evolución artificial y robótica autónoma

Authors José Santos Reyes, Richard José Duro Fernández
Publishing RA-MA, Madrid (España)
ISBN 8478976310

Foundations of Generic Optimization. Volume 1: A combinatorial approach to epistasis.

Authors María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal
Publishing Springer, Dordrecht (Países Bajos)
ISBN 1-4020-3666-3

Biologically Inspired Robot Behavior Engineering

Publishing Physica-Verlag, Heidelberg (Alemania)
ISBN 3-7908-1513-6

Localization and sheaves: a relative point of you. Pitman Research Notes in Mathematics Series

Authors Concepción Vidal, P. Jara, A. Verschoren
Publishing 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

Authors Martin-Rodilla, P.,Otero, David
Book Scire vias. Humanidades digitales y conocimiento
Publishing: Universidade da Coruña.
ISBN: 9788497498746
Pages From 347 to 347365

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

Authors Martin-Rodilla, P.,Javier Parapar,Álvaro Barreiro
Book Contextos universitarios transformadores: a nova normalidade académica. Leccións aprendidas e retos de futuro. V Xornadas de Innovación Docente
Publishing: Universidade da Coruña. Servizo de publicacións.
ISBN: 978-84-9749-818-0
Pages From 233 to 248

Tumor growth emergent behavior analysis based on cancer hallmarks and in a cancer stem cell context

Authors José Santos Reyes,Ángel Monteagudo
Book Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology
Publishing: Elsevier.
ISBN: 9780128042595
Pages From 545 to 558

Using evolved artificial neural networks for providing an emergent segmentation with an active net model

Authors Jorge Novo,Cristina V. Sierra,José Santos Reyes,Manuel González Penedo
Book Recent Advances in Knowledge - Based Paradigms and Applications - Advances in Intelligent Systems and Computing
Vol. 234 Publishing: Springer - Verlag.
ISBN: 9783319016481
Pages From 57 to 72

Emergent Image Segmentation by Means of Evolved Connectionist Models and Using a Topological Active Net Model

Authors Jorge Novo,Cristina V. Sierra,José Santos Reyes,Manuel González Penedo
Book Agents and Artificial Intelligence
Vol. 449 Publishing: springer verlag.
ISBN: 978-3-662-44439
Pages From 1 to 113

Causal Logic Programming" in Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Esra Er

Authors Pedro Cabalar
Book Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Publishing: Springer - Verlag.
ISBN: SBN 978-3-642-30743-0
Pages From 102 to 116

Answer Set; Programming?

Authors Pedro Cabalar
Book Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday)
Vol. 1 Publishing: Springer.
ISBN: 978-3-642-20831-7
Pages From 334 to 343

Agrupamiento documentale

Authors Eduardo Ares, M.,Javier Parapar,Álvaro Barreiro García
Book Recuperación de Información. Un enfoque práctico y multidisciplinar
Publishing: RA-MA Editorial.
ISBN: 978-84-9964-112-6
Pages From 393 to 418

Evolving robot behavior for centralized action selection

Authors Fernando Montes González,José Santos Reyes
Book Advances in Artificial Intelligence Applications
Vol. 17 Publishing: Centro de Investigación en Computación del IPN.
ISBN: 16659899
Pages From 213 to 213

Robot Controller Evolution with Macroevolutionary Algorithms

Authors Jose Antonio Becerra Permuy,José Santos Reyes,Richard José Duro Fernández
Book Information Processing with Evolutionary Algorithms From Industrial Applications to Academic Speculations
Vol. - Publishing: Springer.
ISBN: 1-85233-866-0
Pages From 117 to 128

Some approaches for reusing behaviour based robot cognitive architectures obtained through evolution

Authors Richard José Duro Fernández,José Santos Reyes,Jose Antonio Becerra Permuy
Book Biologically Inspired Robot Behavior Engineering
Vol. - Publishing: Physica-Verlag.
ISBN: 3-7908-1513-6
Pages From 239 to 260

Symmetric Closed Categories and Involutive Brauer Groups

Authors Concepción Vidal
Book Ring Theory and Algebraic Geometry
Vol. - Publishing: Marcel Dekker.
ISBN: 0-8247-0559-9
Pages From 325 to 339

Contraste y Validación en Ambiente Real del Modelado Neuronal para la Predicción del Fracaso Empresarial

Authors Manuel Rodríguez López,José Santos Reyes
Book Actas de la IX Conferencia de la Asociación Española para la Inleligencia Artificial (CAEPIA 2001).Actas
Vol. - Publishing: Servicio Publicaciones Univ. de Oviedo.
ISBN: 84-932297-0-9
Pages From 0 to 0

Evolving ANN Controllers for Smart Mobile Robots

Authors Richard José Duro Fernández,José Antonio Becerra Permuy,José Santos Reyes
Book Future Directions for Intelligent Systems and Information Sciencias
Vol. - Publishing: Physica Verlag.
ISBN: 3-7908-1276-5
Pages From 34 to 64

The Artificial Intelligence perspective in prevention, diagnosis and rehabilitation: some cases study.

Authors J. Mira,R. Marín,R.P. Otero,S. Barro,A. Delgado,Álvaro Barreiro,Ruiz, R.
Book Actualidades en Medicina Física y de Rehabilitación
Publishing: Sepresa.
ISBN: 84-404-8745-2
Pages From 1 to 7

Fuzzy knowledge representation for leukemia diagnosis in children oncology

Authors Álvaro Barreiro,J. Mira,R. Marín,A. Delgado,J.M. Couselo
Book Progress in Fuzzy Sets and Systems
Publishing: Kluwer Acad. Publ.
ISBN: 0-7923-0730-5
Pages From 22 to 34

Generating commonsense explanations with Answer Set Programming

Author Brais Muñiz Castro
Director/s José Pedro Cabalar Fernández; Gilberto Pérez Vega
Scope Facultad de Informática
Qualification Sobresaliente Cum Laude

New algorithms and methodologies for building information retrieval collections

Author David Otero Freijeiro
Director/s Álvaro Barreiro García; Javier Parapar López
Scope Facultad de Informática
Qualification Sobresaliente Cum Laude

Depression Severity Estimation on the Internet: New Models and Resources

Author Miguel Anxo Pérez Vila
Director/s Álvaro Barreiro García; Javier Parapar López
Scope Facultad de Informática
Qualification 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

Author Daniel Varela Miguéns
Director/s José Santos Reyes
Scope Facultad de Informática
Qualification Sobresaliente Cum Laude

Information Retrieval Models for Recommender Systems

Author Daniel Valcarce Silva
Director/s Álvaro Barreiro García; Javier Parapar López
Scope Facultad de Informática
Qualification Sobresaliente Cum Laude

Tumor growth analysis using cellular automata based on the cancer hallmarks

Author Ángel Monteagudo Insua
Director/s José Santos Reyes
Scope Facultad de Informática
Qualification Sobresaliente Cum Laude

A casual semantics for logic programming

Author Jorge Fandiño García
Director/s José Pedro Cabalar Fernández
Scope Facultad de Informática
Qualification Sobresaliente Cum Laude

Temporal answer set programming

Author Martín Diéguez Lodeiro
Director/s José Pedro Cabalar Fernández
Scope Computación
Qualification Sobresaliente Cum Laude

Relevance-Based Language Models: New Estimations and Applications

Author Javier Parapar López
Director/s Álvaro Barreiro García
Scope Computación
Qualification Apto Cum Laude

Constrained Clustering Algorithms: Practical Issues and Applications

Author Manuel Eduardo Ares Brea
Director/s Álvaro Barreiro García
Scope Computación
Qualification Apto Cum Laude

Clasificación Automática de Documentación Clínica

Author José David Lojo Vicente
Director/s Álvaro Barreiro García; David Enrique Losada Carril
Scope Computación
Qualification Apto

Evolutionary Optimization of Topological Active Models for Image Segmentation

Author Jorge Novo Buján
Director/s José Santos Reyes; Manuel Fco. González Penedo
Scope Computación
Qualification Apto Cum Laude

Index compression for information retrieval systems

Author Roi Blanco González
Director/s Álvaro Barreiro García
Scope Computación
Qualification Sobresaliente Cum Laude

Aproximación evolutiva para la obtención incremental de arquitecturas modulares de comportamientos en robots autónomos

Author José Antonio Becerra Permuy
Director/s Richard José Duro Fernández;José Santos Reyes
Scope Computación
Qualification Sobresaliente Cum Laude

A logical model of information retrieval based on propositional logic and belief revision

Author David Enrique Losada Carril
Director/s Álvaro Barreiro García
Scope Computación
Qualification Sobresaliente Cum Laude

Algoritmos genéticos generalizados. Variaciones sobre un tema.

Author María Teresa Iglesias Otero
Director/s Concepción Vidal Martín;Alain Verschoren
Scope Computación
Qualification Apto

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

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

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

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

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

Authors Otero, David, Javier Parapar, Nicola Ferro
Place 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
International

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

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

Authors Angel Beade, Manuel Rodríguez, José Santos Reyes
Place Oporto (Portugal)

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
International

Authors Angel Beade, J. Santos, Manuel Rodríguez
Place 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)
International

Authors Manuel Couto, Anxo Pérez, Javier Parapar
Place Samatan, Gers (Francia)

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

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

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

Authors José Santos Reyes, Héctor Rivas
Place Cracovia (Polonia)

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

Authors Martin-Rodilla, P., Javier Parapar
Organization Universitat de Valencia (UV)
Place Valencia (España)

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
International

Authors David Otero, Javier Parapar, Álvaro Barreiro
Place 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
International

Authors David E. Losada, Javier Parapar, Álvaro Barreiro
Place Seul (Corea del Sur)
DOI https://doi.org/10.1145/3412841.3441945

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

Authors Angel Beade, Manuel Rodríguez, José Santos Reyes
Place Toledo (España)

Forgetting auxiliary atoms in forks
International Joint Conference on Artifical Intelligence 2020 (IJCAI)
International

Authors Felicidad Aguado, Gilberto Pérez, cabalar, Jorge Fandinno, David Pearce, Concepción Vidal
Place 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/
Autonomous

Authors Martin-Rodilla, P., Javier Parapar, Álvaro Barreiro
Organization Universidade da Coruña (UDC)
Place Coruña, A (España)

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

Authors Jorge Gabín, Anxo Pérez, Javier Parapar
Organization Centro de Investigación en Tecnoloxías da Información e as Comunicacións (CITIC)
Place Coruña, A (España)
DOI https://doi.org/10.3390/engproc2021007023

eRisk 2021: Pathological Gambling, Self-harm and Depression Challenges
43rd European Conference on Information Retrieval (ECIR 2021)
International

Authors Javier Parapar, Martin-Rodilla, P., David E. Losada, FABIO CRESTANI
Place Lucca (Italia)

Novel and Diverse Recommendations by Leveraging Linear Models with User and Item Embeddings
43rd European Conference on Information Retrieval (ECIR 2021)
International

Authors Alfonso Landin, Javier Parapar, Álvaro Barreiro
Place 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)
International

Authors Piot, P., Martin-Rodilla, P., Javier Parapar
Place Praga (República Checa)

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
International

Authors Martin-Rodilla, P., Otero, David
Place 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
International

Authors Martin-Rodilla, P.
Place Praga (República Checa)
DOI https://doi.org/10.5220/0009351903230330

Designing an Open Source Virtual Assistant
XOVETIC 2020
International

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

Beaver: Efficiently Building Test Collections for Novel Tasks
Joint Conference of the Information Retrieval Communities in Europe (CIRCLE 2020)
International

Authors David Otero, Javier Parapar, Álvaro Barreiro
Place Samatan (Francia)

Hacia una conceptualización y representación visual estratigráfica desacoplada: el megalitismo como caso de estudio
Theoretical Archaeology Group (TAG). Lisboa, Febrero, 2020. https://digital.csic.es/handle/10261/237840
International

Authors Martin-Rodilla, P., Tejedor-Rodríguez, C., Masaguer, M.
Organization Universidade de Lisboa
Place Lisboa (Portugal)

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
International

Authors Angel Beade, José Santos Reyes, Manuel Rodríguez López
Place Guarda (Portugal)

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

Authors Felicidad Aguado, cabalar, fandinno, Gilberto Pérez, Concepción Vidal
Place Santiago de Compostela (España)

Shallow Neural Models for Top-N Recommendation
24th European Conference on Artificial Intelligence (ECAI 2020)
International

Authors Alfonso Landin, Daniel Valcarce, Javier Parapar, Álvaro Barreiro
Place Santiago de Compostela (España)
DOI https://doi.org/10.3233/faia200449

A Complete Planner for Temporal Answer Set Programming
19th EPIA Conference on Artificial Intelligence, EPIA 2019
International

Authors Pedro Cabalar, Manuel Rey, Concepción Vidal
Place Vila Real (Portugal)

Priors for Diversity and Novelty on Neural Recommender Systems
XoveTIC 2019
International

Authors Alfonso Landin, Daniel Valcarce, Javier Parapar, Álvaro Barreiro
Organization Centro de Investigación en Tecnoloxías da Información e as Comunicacións (CITIC)
Place Coruña, A (España)
DOI https://doi.org/10.3390/proceedings2019021020

Building High-Quality Datasets for Information Retrieval Evaluation at a Reduced Cost
XoveTIC 2019
International

Authors David Otero, Daniel Valcarce, Javier Parapar, Álvaro Barreiro
Organization Centro de Investigación en Tecnoloxías da Información e as Comunicacións (CITIC)
Place 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)
International

Authors Alfonso Landin, Daniel Valcarce, Javier Parapar, Álvaro Barreiro
Place Colonia (Alemania)
DOI https://doi.org/10.1007/978-3-030-15712-8_9

Revisiting Explicit Negation in Answer Set Programming
35th International Conference on Logic Programming (ICLP 2019)
International

Authors Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Organization Association for Logic Programming
Place Las Cruces, New Mexico (Estados Unidos)

LiMe: Linear Methods for Pseudo-Relevance Feedback
33rd ACM SIGAPP Symposium On Applied Computing (SAC-2018)
International

Authors Daniel Valcarce, Javier Parapar, Álvaro Barreiro
Place 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)
International

Authors Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub
Organization KR org
Place Tempe, Arizona (Estados Unidos)

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

Authors Daniel Varela, José Santos Reyes
Place Sofia (Bulgaria)

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

Authors Paula Lopez-Otero, Daniel Valcarce, Javier Parapar, Álvaro Barreiro
Organization Universidade da Coruña (UDC)
Place Coruña, A (España)

Cost-effective construction of Information Retrieval Text Collections
V Congreso Español de Recuperación de Información (CERI 2018)
National

Authors David E. Losada, Javier Parapar, Álvaro Barreiro
Organization Universidad de Zaragoza (UNIZAR)
Place 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)
National

Authors Eva Suárez-García, Alfonso Landin, Daniel Valcarce, Álvaro Barreiro
Organization Universidad de Zaragoza (UNIZAR)
Place Zaragoza (España)
DOI https://doi.org/10.1145/3230599.3230606

Query Expansion as a Matrix Factorization Problem: Extended Abstract
V Congreso Español de Recuperación de Información (CERI 2018)
National

Authors Daniel Valcarce, Javier Parapar, Álvaro Barreiro
Organization Universidad de Zaragoza (UNIZAR)
Place Zaragoza (España)
DOI https://doi.org/10.1145/3230599.3230603

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

Authors José Santos Reyes, Ángel Monteagudo Insua
Place Granada (España)

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

Authors José Santos Reyes, Daniel Varela
Place Coruña, A (España)

Multi-Context Systems: Dynamics and Evolution
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
International

Authors Stefania Costantini, Andrea Formisano, Pedro Cabalar
Place Espoo (Finlandia)

Forgetting Auxiliary Atoms as Forks
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
International

Authors Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Place Espoo (Finlandia)

A protein folding model using the Face-Centered Cubic lattice model
GECCO 2017 (Core A)
International

Authors José Santos Reyes, Daniel Varela
Place Berlin (Alemania)

Forgetting Auxiliary Atoms in Forks
10th Workshop on Answer Set Programming and Other Computing Paradigms, co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017
International

Authors Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Place Espoo (Finlandia)

A hybrid evolutionary algorithm for protein structure prediction using the Face-Centered Cubic lattice model
ICONIP 2017 (Core A)
International

Authors José Santos Reyes, Daniel Varela
Place Guangzhou (China)

Combining Top-N Recommenders with Metasearch Algorithms
40th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2017)
International

Authors Daniel Valcarce, Javier Parapar, Alvaro Barreiro
Organization ACM
Place 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)
International

Authors Daniel Valcarce, Javier Parapar, Alvaro Barreiro
Place Padua (Italia)
DOI https://doi.org/10.1007/978-3-319-30671-1_45

Efficient Pseudo-Relevance Feedback Methods for Collaborative Filtering Recommendation
38th European Conference on IR Research (ECIR 2016)
International

Authors Daniel Valcarce, Javier Parapar, Alvaro Barreiro
Place Padua (Italia)
DOI https://doi.org/10.1007/978-3-319-30671-1_44

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
International

Authors Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Place Rota (España)

Additive Smoothing for Relevance-Based Language Modelling of Recommender Systems
Congreso Español de Recuperación de Información (CERI'16)
National

Authors Daniel Valcarce, Javier Parapar, Alvaro Barreiro
Organization UNIVERSIDAD DE GRANADA
Place 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)
International

Authors Daniel Valcarce, Javier Parapar, Alvaro Barreiro
Place Venezia (Italia)

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

Authors José Santos Reyes, Daniel Varela
Place Denver (Estados Unidos)

Equilibrium Graphs
9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), workshop of ICLP 2016
International

Authors Pedro Cabalar, Carlos Pérez Ramil, Gilberto Pérez
Place New York (Estados Unidos)

Feeling lucky?: multi-armed bandits for ordering judgements in pooling-based evaluation
ACM SAC '16 Proceedings of the 31st Annual ACM Symposium on Applied Computing
International

Authors David E. Losada, Javier Parapar, Álvaro Barreiro
Organization ACM
Place Pisa (Italia)
DOI https://doi.org/10.1145/2851613.2851692

An ASP Semantics for Default Reasoning with Constraints
International Joint Conference on Artificial Intelligence (IJCAI'16)
International

Authors Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub
Organization AAAI
Place New York (Estados Unidos)

A Study of Priors for Relevance-Based Language Modelling of Recommender Systems
9th ACM Conference on Recommender Systems (RecSys 2015)
International

Authors Daniel Valcarce, Javier Parapar, Alvaro Barreiro
Place Vienna (Austria)
DOI https://doi.org/10.1145/2792838.2799677

An infinitary encoding of temporal equilibrium logic
International Conference of Logic Programming ICLP 2015
International

Authors Pedro Cabalar, Martín Diéguez Lodeiro, Concepción Vidal
Organization Association for Logic Programming
Place Cork (Irlanda)

A denotational semantics for equilibrium logic
International Conference of Logic Programming ICLP 2015
International

Authors Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
Organization Association for Logic Programming
Place Cork (Irlanda)

Evolutionary optimization of cancer treatments in a cancer stem cell context
GECCO 2015 - Genetic and Evolutionary Computation Conference
International

Authors José Santos Reyes, Ángel Monteagudo
Place Madrid (España)

Combination of differential evolution and fragment-based replacements for protein structure prediction
GECCO 2015 - Genetic and Evolutionary Computation Conference
International

Authors José Santos Reyes, Daniel Varela
Place Madrid (España)

A Study of Smoothing Methods for Relevance-Based Language Modelling of Recommender Systems
37th European Conference on Information Retrieval (ECIR 2015)
International

Authors Daniel Valcarce, Javier Parapar, Álvaro Barreiro García
Place Vienna (Austria)

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
International

Authors José Santos Reyes, Pablo Fernández
Place Elche/Elx (España)

Strong Equivalence of Non-Monotonic Temporal Theories
14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
International

Authors Pedro Cabalar, Martín Diéguez
Place Viena (Austria)

Temporal Stable Models are LTL-representable
7th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'14)
International

Authors Pedro Cabalar, Martín Diéguez
Place 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)
National

Authors Daniel Valcarce, Javier Parapar, Alvaro Barreiro
Organization Sociedad Española de Recuperación de Información
Place Coruña, A (España)

An algebra of causal chains
6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13)
International

Authors Pedro Cabalar, Jorge Fandinno
Place Estambul (Turquía)

Emergent segmentation of topological active nets by means of evolutionary obtained artificial neural networks
International Conference on Agents and Artificial Intelligence (ICAART'13)
International

Authors C. V. Sierra, J. Novo, J. Santos, M G Penedo
Organization Institute for Systems and Technologies of Information, Control and Communication (INSTICC)
Place Barcelona (España)

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

Authors Concepción Vidal, Felicidad Aguado, Gilberto Pérez
Place Coruña, A (España)

Loop formulas for splitable temporal logic programs
12th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR13
International

Authors Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Place Coruña, A (España)

Evolved center-crossing recurrent synaptic delay based neural networks for biped locomotion control
IEEE CEC 2013 - IEEE Congress on Evolutionary Computation
International

Authors José Santos Reyes
Place Cancún (México)

Cancer stem cell modeling using a cellular automaton
IWINAC - 2013, International Work-Conference on the Interplay between Neural and Artificial Computation
International

Authors José Santos Reyes, Ángel Monteagudo
Place Palma (España)

Combination of reinforcement learning with evolution for automatically obtaining robot neural controllers
IEEE CEC 2013 - IEEE Congress on Evolutionary Computation (Core A)
International

Authors José Santos Reyes, Rodrigo Palacios Leiva, Ricardo Cruz Alvarez, V.R., Montes-Gonzalez,, L. Rascon Perez
Place Cancún (México)

Cellular automata for modeling protein folding using the HP model
IEEE CEC 2013 - IEEE Congress on Evolutionary Computation (Core A)
International

Authors José Santos Reyes, Martín Diéguez Lodeiro, Pablo Villot
Place Cancún (México)

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
International

Authors Carlos Piñeiro Sánchez, Manuel Rodríguez López, Pablo De Llano Monelos, José Santos Reyes
Organization AECA - Asociación Española de Contabilidad y Administración de Empresas
Place Pamplona/Iruña (España)

An Investigation of Actions, Change and Space
23rd International Conference on Automated Planning and Scheduling, ICAPS 2013
International

Authors Paulo E. Santos, Pedro Cabalar
Place Roma (Italia)

Language Modelling of Constraints for Text Clustering
ECIR 2012 34th European Conference on Information Retrieval.
International

Authors Javier Parapar, Álvaro Barreiro
Organization Universitat Pompeu Fabra (UPF)
Place Barcelona (España)
DOI https://doi.org/10.1007/978-3-642-28997-2_30

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
National

Authors Javier Parapar, Álvaro Barreiro
Place Santiago de Compostela (España)

Paving the way for temporal grounding
28th International Conference on Logic Programming ICLP 2012
International

Authors Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
Organization International Conference on Logic Programming ICLP
Place Budapest (Hungría)

Knots World: an investigation of actions, change and space
Spatio-temporal Dynamics Workshop (STeDy'12) (inside ECAI 2012)
International

Authors Paulo E. Santos, Pedro Cabalar
Organization EurAI
Place Montpellier (Francia)

A cellular automaton model for tumor growth simulation
PACBB '2012: 6th International Conference on Practical Applications of Computational Biology & Bioinformatics
International

Authors José Santos Reyes, Ángel Monteagudo
Place Salamanca (España)

Evolved artificial neural networks for controlling Topological Active Nets deformation and for medical image segmentation
International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'12)
International

Authors Cristina V. Sierra, J. Novo, J. Santos, M G Penedo
Organization KES International
Place Donostia-San Sebastián (España)

Study of cancer hallmarks relevance using a cellular automaton tumor growth model
PPSN 2012: Parallel Problem Solving from Nature - PPSN XII
International

Authors José Santos Reyes, Ángel Monteagudo
Place Taormina (Italia)

Constrained Text Clustering using Word Trigrams
II Congreso Español de Recuperación de la Información (CERI 2012)
National

Authors Eduardo Ares, M., Álvaro Barreiro
Organization Sociedad Española de Recuperación de Información
Place Valencia (España)

Blog posts and comments extraction and impact on retrieval efectiveness
1st Spanish Conference on Information Retrieval CERI'10
International

Authors Javier Parapar, Jorge López Castro, Álvaro Barreiro García
Place Madrid (España)

Evaluación de técnicas de aprendizaje activo para codificación CIE9-MC de informes de alta hospitalaria
1st Spanish Conference on Information Retrieval CERI'10
International

Authors David Lojo Vicente, David E. Losada Carril, Álvaro Barreiro García
Place Madrid (España)

Blog Snippets: A comments-biased approach
33rd ACM International Conference on Research and Development in Information Retrieval SIGIR¿10
International

Authors Javier Parapar, Jorge López Castro, Álvaro Barreiro García
Place Ginebra (Suiza)

Where to start fitering redundancy? A cluster-based approach
33rd ACM International Conference on Research and Development in Information Retrieval SIGIR¿10
International

Authors Ronald Teijeira Fernández, Javier Parapar, David E. Losada Carril, Álvaro Barreiro García
Place Ginebra (Suiza)

Fórmulas de ciclo para programas lógicos temporales: una primera aproximación
RSME 11
National

Authors Gilberto Pérez, Felicidad Aguado, Concepción Vidal
Organization Real Sociedad Matemática Española
Place Á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)
International

Authors Pedro Cabalar, Martín Diéguez
Place Vancouver (Canadá)

Logic Programs and Causal Proofs
10th Intl. Symposium on Logical Formalization on Commonsense Reasoning (Commonsense'11)
International

Authors Pedro Cabalar
Place Palo Alto (Estados Unidos)

Temporal Logic Programs with variables
Workshop on Grounding and Transformations for Theories with Variables (GTTV'17)
International

Authors Pedro Cabalar
Place Espoo (Finlandia)

Multiobjective optimization of the 3D Topological Active Volume segmentation model
International Conference on Agents and Artificial Intelligence (ICAART'11)
International

Authors J. Novo, M G Penedo, José Santos Reyes
Organization Institute for Systems and Technologies of Information, Control and Communication (INSTICC)
Place Roma (Italia)

Differential Evolution for Protein Structure Prediction Using the HP Model
IWINAC2011 - International Work-conference on the Interplay between Natural and Artificial Computation
International

Authors José Santos Reyes, Martin Diéguez
Place Santa Cruz de la Palma (España)

Improving Text Clustering with Social Tagging,
AAAI ICWSM 2011 Proceedings of the Fifth International Conference on Weblogs and Social Media
International

Authors Eduardo Ares, M., Javier Parapar, Álvaro Barreiro
Place Barcelona (Españ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
International

Authors Renato De Freitas Bulcao-Neto, José Antonio Camacho Guerrero, Álvaro Barreiro García, Javier Parapar, Alessandra Alaniz Macedo
Place Lausanne (Suiza)

Evolution of Adaptive Center-crossing Continuous Time Recurrent Neural Networks for Biped Robot Control
European Symposium on Artificial Neural Networks (ESANN 2010)
International

Authors Ángel Campo Penín, José Santos Reyes
Place Brujas (Bélgica)

Optimization of Topological Active Models with Multiobjective Evolutionary Algorithms
ICPR 2010 - 20th International Conference on Pattern Recognition
International

Authors Jorge Novo Buján, José Santos Reyes, M G Penedo, Alba Fernández Arias
Place Estambul (Turquía)

Crossover Operators for Permutations. Equivalence between Position and Order Based Crossover
9th International Conference Computational and Mathematical Methods in Science and Engineering (CMMSE 2009)
International

Authors Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal
Place Gijón (España)

Enabling the Grid for experiments in distributed information retrieval
1st EELA-2 Conference CIEMAT 2009
International

Authors Raúl Ramos Pollan, Álvaro Barreiro García
Place Bogotá (Colombia)

Inductive Logic Programming for Agent Control Learning in the RoboCup Soccer Simulation
CAEPIA-TTIA 2009, XIII Conferencia de la Asociación Española para la Inteligencia Artificial
International

Authors Alberto Domínguez Illobre, Álvaro García Bargo, Jorge González Iglesias, Ramón Pérez Otero, José Santos Reyes
Place Sevilla (España)

Safety Preserving Transformations for General Answer Set Programs
LOPSTR 2009,19th International Symposium on Logic-Based Program Synthesis and Transformation
International

Authors Pedro Cabalar, David Pearce, Agustín Valverde
Place Cohimbra (Portugal)

Compression-based document length prior for Language Models
SIGIR¿09, 32nd ACM Internatinal Conference on Research and Development in Information Retrieval
International

Authors Javier Parapar, David E. Losada Carril, Álvaro Barreiro García
Place Boston (Estados Unidos)

Existential Quantifiers in the Rule Body
WLP 2009, 23rd Workshop on (Constraint) Logic Programming
International

Authors Pedro Cabalar
Place Potsdam (Alemania)

Deception, order and epistasis
GEM 2008 - The 2008 International Conference on Genetic and Evolutionary Methods (WORLDCOMP¿08)
International

Authors Concepción Vidal, María Teresa Iglesias Otero, Alain Verschoren
Place Las Vegas (Estados Unidos)

Segmentation of legislative documents using a domain-specific lexicon
DEXA 2008 - 19th International Workshop on Database and Expert Systems Applications
International

Authors Ismael Hasan Romero, Javier Parapar, Roi Blanco González
Place Turin (Italia)

Winnowing-Based Text Clustering
CIKM 2008 - 17th ACM conference on information and knowledge management (Workshop Proceedings)
International

Authors Javier Parapar, Álvaro Barreiro García
Place Napa Valley, California (Estados Unidos)

Overall comparison at the standard levels of recall of multiple retrieval methods with the Friedman test
29th European Conference on Information Retrieval. Euro XXII
International

Authors Manuel Antonio Presedo Quindimil, Álvaro Barreiro García, José María Casanova Crespo
Place Roma (Italia)

Genetic-Greedy Hybrid Approach for Topological Active Nets Optimization
8th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2007
International

Authors José Santos Reyes, Óscar Ibáñez Panizo, Noelia Barreira Rodríguez, M G Penedo
Place Warsaw (Polonia)

Automatic Topological Active Net Division in a Genetic-Greedy Hybrid Approach
3rd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA 2007)
National

Authors Noelia Barreira Rodríguez, M G Penedo, Óscar Ibáñez Panizo, José Santos Reyes
Place Girona (España)

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
International

Authors Javier Parapar, Álvaro Barreiro García
Place Salamanca (España)

Topological Active Volumes Optimization with Genetic Approaches
CAEPIA-TIIA 2007, XII Conferencia de la Asociación Española para la Inteligencia Artificial
International

Authors Jorge Novo Buján, Noelia Barreira Rodríguez, M G Penedo, José Santos Reyes
Place 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
International

Authors Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Place San José (Costa Rica)

Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
International

Authors Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Place San José (Costa Rica)

Holes, Knots and Shapes: A Spatial Ontology of a Puzzle
COMMONSENSE 2007, 8th International Symposium on Logical Formalization of Commonsense Reasoning
International

Authors Paulo Santos, Pedro Cabalar
Place Palo Alto, CA (Estados Unidos)

Boosting Static Pruning of Inverted Files
SIGIR 2007, 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
International

Authors Roi Blanco González, Álvaro Barreiro García
Place Amsterdam (Países Bajos)

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

Authors David E. Losada Carril, Álvaro Barreiro García
Place Zaragoza (España)

Simulated evolution of the adaptability of the genetic code using genetic algorithms
2nd. International Work-Conference on the Interplay between Natural and Arti cial Computation, IWINAC 2007
International

Authors José Santos Reyes, Ángel Monteagudo
Place Murcia (España)

Some features about the convergence of a genetic algoritm
ICM2006, International Congress of Mathematicians
International

Authors María Teresa Iglesias Otero, Matilde Ríos, Concepción Vidal
Place Madrid (España)

Passing through Holes and Getting Entangled by Strings: An Automated Solution for a Spatial Puzzle
ECAI 2006 - 17th European Conference on Artificial Intelligence: Workshop on Spatial and Temporal Reasoning
International

Authors Paulo Eduardo Santos, Pedro Cabalar
Place Riva del Garda (Italia)

Logical Foundations of Well-Founded Semantics
KR 2006 - 10th International Conference on Principles of Knowlege Representation and Reasoning
International

Authors Pedro Cabalar, Sergei Odintsov, David Pearce
Place Windermere, Lake District (Reino Unido)

Some features about the convergence process of a Genetic Algorithm.
International Congress of Mathematicians ICM 2006
International

Authors María Teresa Iglesias Otero, Matilde Ríos Fachal, Concepción Vidal
Place Madrid (España)

Topological Active Nets Optimization Using Genetic Algorithms
Third International Conference, ICIAR 2006
International

Authors Óscar Ibáñez Panizo, Noelia Barreira Rodríguez, José Santos Reyes, M G Penedo
Place Póvoa de Varzim (Portugal)

Extracción de programas a partir de pruebas : Certificación de la Forma Normal de la Reducción de Polinomios
CLEI 2005. XXXI Conferencia Latinoamericana de Informática
International

Authors Gilberto Pérez, José Luis Freire Nistal, Lin, J
Place Cali (Colombia)

Walsh Transforms, Balanced Sum Theorems and Partition Coefficients over Multary Alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
International

Authors María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal
Place Washington (Estados Unidos)

Walsh transforms, balance sum theorems and partition coefficients over multary alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
International

Authors María Teresa Iglesias Otero, Bart Naudths, Alain Verschoren, Concepción Vidal
Place Washington (Estados Unidos)

La varianza epistática como medida de optimización en el empleo de Algoritmos Genéticos
I Congreso de Estatística e Investigação Operacional da Galiza e Norte de Portugal
International

Authors Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal
Place Guimaraes (Portugal)

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
International

Authors Manuel Antonio Presedo Quindimil, Álvaro Barreiro García
Place Guimaraes (Portugal)

Formalización de las Bases de Gröbner en Coq
Primer Congreso Conjunto de Matemáticas RSME - SCM - SEIO - SEMA. MAT.ES
National

Authors Gilberto Pérez
Place 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
International

Authors Roi Blanco González, Álvaro Barreiro García
Place Salvador (Brasil)

A Functional Action Language Front-end
ASP 2005. Answer Set Programming: Advances in Theory and Implementation
International

Authors Pedro Cabalar
Place 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
National

Authors Pedro Cabalar, Sergei Odintsov, David Pearce
Place Santiago de Compostela (España)

A Software Architecture for Effective Document Identifier Reassignment
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International

Authors Roi Blanco González, Álvaro Barreiro García
Place España

Query expansion using Wordnet with a logical model of information retrieval
IADIS International Conference on Applied Computing 2005
International

Authors David Parapar López, Álvaro Barreiro García, David E. Losada Carril
Place Algarve (Portugal)

Evaluación de estrategias en recuperación de información
I Congreso de Estadística e Investigaçao Operacional de Galiza e Norte de Portugal VI Congreso Galego de Estadística e Investigación de Operacións
International

Authors Manuel Antonio Presedo Quindimil, Álvaro Barreiro García
Place 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
International

Authors Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal
Place Guimaraes (Portugal)

Negations as a high precision mechanism
26th European Conference on Information Retrieval (ECIR 2004)
International

Authors David E. Losada Carril, Álvaro Barreiro García
Place Sunderland (Reino Unido)

New insights on the intuitionistic interpretation of Default Logic
European Conference on Artificial Intelligence (ECAI 04)
International

Authors Pedro Cabalar, David Lorenzo
Place 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)
National

Authors F. Silva, José Santos Reyes
Organization Universidad de Córdoba
Place Córdoba (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)
National

Authors Jose Antonio Becerra Permuy, José Santos Reyes, Richard José Duro Fernández
Organization Universidad de Córdoba
Place Córdoba (España)

Codon Based Amino Acid Encoding for the Neural Network Prediction of Protein Secondary Structure
Proceedings of the 5th Spanish Bioinformatics Conference
National

Authors José Santos Reyes
Place Barcelona (España)

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
National

Authors Álvaro Barreiro García, David Enrique Losada Carril
Organization Universidad Carlos III de Madrid
Place España

A theoretical study of logical retrieval in terms of a characterisation of knowledge revision
ACM SIGIR 2003 Workshop on Mathematical/Formal Methods in Information Retrieval
International

Authors David Enrique Losada Carril, Álvaro Barreiro García
Place Toronto (Canadá)

Functions and Default values in Logic Programs and Action Theories
II Seminarios Internacionales de Altea. Applications of Logic and Mathematics to Programming.
International

Authors Pedro Cabalar, David Lorenzo Blanco
Organization Universidad Rey Juan Carlos
Place España

A Preliminary Study on Reasoning About Causes
6th International Symposium on Logical Formalizations on Commonsense Reasoning. AAAI Spring Symposium Series (AAAI-SSS03)
International

Authors Pedro Cabalar
Place Stanford, Palo Alto, CA (Estados Unidos)

Computing epistasis of template functions with the hyperplane averaging theorem
Meeting on linear algebra and applications (EALA)
International

Authors María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren
Place Caparica (Portugal)

MA VS. GA in Low Population Evolutionary Processes with Mostly Flat Fitness Landscapes
6th Joint Conference on Information Sciences.
International

Authors Jose Antonio Becerra, José Santos Reyes, Richard José Duro Fernández
Place Carolina del Norte (Estados Unidos)

Alternative Characterizations for Strong Equivalence of Logic Programs.
9th International Workshop on Non-monotonic Reasoning. NMR¿2002
International

Authors Pedro Cabalar
Place Toulousse (Francia)

A Three-Valued Characterization for Strong Equivalence of Logic Programs
18th National Conference on Artificial Intelligence (AAAI¿02)
International

Authors Pedro Cabalar
Place 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
International

Authors Antonio García Allut, Freire, M., Álvaro Barreiro García, David Enrique Losada Carril
Place Amsterdam (Países Bajos)

Well Founded Semantics as Two-dimensional Here-and-There
Workshop on Answer Set Programming, 2001 AAAI Spring Symposium Series
International

Authors Pedro Cabalar
Place San Francisco (Estados Unidos)

An Homogeneous Framework to Model Relevance Feedback
24 Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
International

Authors Álvaro Barreiro García, David Enrique Losada Carril
Place New Orleans (Estados Unidos)

Rating the impact of logical representations on retrieval performance
11 International Workshop on Database and Expert Systems Applications (DEXA 2001)
International

Authors Álvaro Barreiro García, David Enrique Losada Carril
Place Munich (Alemania)

II-DTB, Discrte Time Backpropagation with Product Units
International Work Conference on Artificial Neural Networks (IWANN 2001)
International

Authors José Santos Reyes, Richard José Duro Fernández
Place 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
International

Authors Antonio García Allut, Freire, M., Álvaro Barreiro García, David Enrique Losada Carril
Place Vancouver, BC (Canadá)

Template functions and their Epistasis
MS'2000 International Conference on Modelling and Simulation
International

Authors María Teresa Iglesias Otero, Alain Verschoren, Concepción Vidal
Place 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)
International

Authors Álvaro Barreiro García, David Enrique Losada Carril, Antonio García Allut, Freire, M.
Place Barcelona (España)

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

Authors José Santos Reyes, José Antonio Becerra Permuy
Place Ourense (España)

Lógica, matemática, deducción automática
Primer Congreso Anual de la Real Sociedad Matemática Española
National

Authors Gilberto Pérez, José María Barja Pérez
Place Madrid (España)

Aspects of Evolution for Obtaining Real Robot Controllers
Frontiers in Evolutionary Algorithms. FEA'2000
International

Authors Richard José Duro Fernández, José Santos Reyes, J.A. Becella, J.L. Crespo, Francisco Bellas Bouza
Place 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)
International

Authors Richard José Duro Fernández, José Santos Reyes, Jose Antonio Becerra Permuy, Francisco Bellas Bouza, J.L. Crespo
Place Brujas (Bélgica)

Robust Visual Recognition with High-Order Gaussian Synapses Networks
International Joint Conference on Neural Networks( IJCNN 2000)
International

Authors José Santos Reyes, Richard José Duro Fernández, J.L. Crespo
Place Como (Italia)

Applying Synaptic Delays for Virtual Sensing and Actuation in Mobile Robots
International Joint Conference on Neural Networks( IJCNN 2000)
International

Authors José Santos Reyes, Richard José Duro Fernández, Francisco Bellas Bouza, Jose Antonio Becerra Permuy
Place Como (Italia)

On Line Darwinist Cognitive Mechanism for an Artificial Organism
Sixth International Conference on the Simulation of Adaptive Behavior( SAB 2000)
International

Authors Richard José Duro Fernández, José Santos Reyes, Francisco Bellas Bouza, A. Lamas
Place París (Francia)

Improving Reusability of Behavior based Robot Cognitive Architectures
6th ESA Workshop on Advanced Space Technologies for Robotics and Automation( ASTRA 2000)
International

Authors Richard José Duro Fernández, José Santos Reyes, José Antonio Becerra Permuy
Place Estec, Noorwijk (Países Bajos)

Implementing Document Ranking within a Logical Framework
7th International Symposium on String Processing and Information Retrieval SPIRE'2000
International

Authors Álvaro Barreiro García, David Enrique Losada Carril
Place Coruña, A (España)

Retrieval Situations and Belief Change
11th International Workshop on Database and Expert Systems Applications
International

Authors Álvaro Barreiro García, David Enrique Losada Carril
Place Greenwich (Reino Unido)

Formalizing Distinguishability: A Contexts Based Case
15th European Meeting on Cibernetics and Systems 2000
International

Authors Álvaro Barreiro García, Raúl Ramos Pollán
Place Viena (Austria)

Temporal Constraint Networks in Action
14th European Conference on Artificial Intelligence( ECAI 2000)
International

Authors Pedro Cabalar, Ramón Otero, Silvia G. Pose
Place Berlín (Alemania)

PAL: Pertinence Action Language
8th Intl. Workshop on Non-Monotonic Reasoning NMR'2000
International

Authors Pedro Cabalar, Manuel Jose Cabarcos Traseira, Ramón Otero
Place Breckenridge, CO (Estados Unidos)

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

Authors Manuel Rodríguez López, José Santos Reyes
Organization Universidad de Oviedo
Place Gijón (España)

Computing epistasis through Walsh transforms
Quinto Encuentro de Algebra Computacional y Aplicaciones EACA 99
National

Authors María Teresa Iglesias Otero, Concepción Vidal
Place Santa Cruz de Tenerife (España)

Incremental Design of Neural Controllers for Infrasensorized Autonomous Robots
Wiener's Cybernetics: 50 Years of Evolution
International

Authors Richard José Duro Fernández, José Santos Reyes
Place España

Visual tracking in a real robot through higher order synapses
Wiener's Cybernetics: 50 Years of Evolution
International

Authors Richard José Duro Fernández, José Santos Reyes
Place 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)
International

Authors José Santos Reyes, Richard José Duro Fernández
Place Orlando (Estados Unidos)

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

Authors Pedro Cabalar
Place L'Aquila (Italia)

Conceptualization of a belief revision approach to information retrieval
Searching for information: artificial intelligence and information retrieval approaches
International

Authors David Enrique Losada Carril, Álvaro Barreiro García
Place Glasgow (Reino Unido)

Using a belief revision operator for document ranking in extended boolean models
22nd International Conference on Research and Development in Information Retrieval( SIGIR' 99)
International

Authors David Enrique Losada Carril, Álvaro Barreiro García
Place Berkeley (Estados Unidos)

Twebs: an application of terminological logics in web searching
IV Congreso ISKO- España EOCONSID' 99
International

Authors Álvaro Barreiro García, David Enrique Losada Carril, Raúl Ramos Pollán
Place Granada (España)

Razonamiento temporal no monótono
IV Taller de Razonamiento Temporal
International

Authors Á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
Place Murcia (España)

Temporal constraint networks in action: a preliminary report
IV Taller de Razonamiento Temporal
International

Authors Pedro Cabalar, Ramón Pérez Otero, Silvia Gómez Pose
Place Murcia (España)

Pertinence and causality
Sixteenth International Joint Conference on Artificial Intelligence( JCAI' 99)
International

Authors Ramón Pérez Otero, Pedro Cabalar
Place Estocolmo (Suecia)

Envolving Neural Controllers for Temporally Dependent Behaviors in Autonomous Robots
11th Int¿l Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. IEA-98-AIE
International

Authors José Santos Reyes, Richard José Duro Fernández
Place España

Learning to Reason in Time Using Discrete Time Backpropagation
International Conference on Neural Networks and Brain
International

Authors José Santos Reyes, Richard José Duro Fernández
Place Pekin (China)

Discrete Time Backpropagation and Synaptic Delay Based Artificial Neural Networks in Chaotic Time Series Prediction
8th International Conference on Artificial Neural Network
International

Authors Richard José Duro Fernández, José Santos Reyes
Place Skövde (Suecia)

A Terminological Approach to Resource Discovery Mechanisms
IBERAMIA 98./6º Congreso Iberoamericano de Inteligencia Artificial
International

Authors David Enrique Losada Carril, Raúl Ramos Pollán, Álvaro Barreiro García
Place Lisboa (Portugal)

Un modelo terminológico para el problema de recuperación de datos
7 Conferencia de la asociación española para la Inteligencia Artificial
National

Authors Álvaro Barreiro García, Pedro Cabalar, Raúl Ramos Pollán
Place Málaga (España)

Synaptic delay based artificial neural networks and discrete time backpropagation applied to QRS Complex Detection
ICNN¿97, INTERNATIONAL CONFERENCE ON NEURAL NETWORKS
International

Authors Richard José Duro Fernández, José Santos Reyes
Place Houston, Texas (Estados Unidos)

Design of ANN Architectures for Handling the Temporal
Eurocast97 International Conference
International

Authors Richard José Duro Fernández, José Santos Reyes
Place España

ECG Beat classification with synaptic delay based artificial neural networks
IWANN'97
International

Authors Richard José Duro Fernández, José Santos Reyes
Place 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
National

Authors Álvaro Barreiro García
Place 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
International

Authors José Santos Reyes, Richard José Duro Fernández
Place 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
International

Authors Richard José Duro Fernández, José Santos Reyes
Place España

Efficient concurrent execution of Medtool expert systems
Proceedins of Expert Systems. Applications & Artificial Intelligence (EXPERSYS-96)
International

Authors Pedro Cabalar, Ramón Pérez Otero, Mario Otero Díaz, M. Cabarcos
Place París (Francia)

A global approach to schemata
International Conference on Intelligent Technologies in Human-related. Sciences
International

Authors Concepción Vidal, María Teresa Iglesias Otero
Place León (España)

Some results on localization of algebras over Krull domains
Fourth Week on Algebra and Algebraic Geometry (SAGA 4)
International

Authors Concepción Vidal
Place 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)
National

Authors Richard José Duro Fernández, Francisco Prieto Guerreiro, José Santos Reyes
Place Zaragoza (España)

Structure sheaves over locally noetherian rings
Congreso Internacional de Teoría de Anillos
International

Authors Concepción Vidal, A. Verschoren
Place Almería (España)

Evolutionary aided design of pattern detecting recurrent artificial neural networks
EUROCAST'95. (Fifth international conference on computer aided systems technology)
International

Authors José Santos Reyes, Richard José Duro Fernández
Place Innsbruck (Austria)

Discrete event simulation in an environment for temporal expert systems
EUROCAST'95. (Fifth international conference on computer aided systems technology)
International

Authors Álvaro Barreiro García, Pedro Cabalar, David Lorenzo Blanco, Ramón Pérez Otero
Place Innsbruck (Austria)

Automatic induction of DEVS structures
EUROCAST'95. (Fifth international conference on computer aided systems technology)
International

Authors David Lorenzo Blanco, Pedro Cabalar, Ramón Pérez Otero
Place Innsbruck (Austria)

Applying induction in temporal expert systems
IJCAI'95 workshop on data engineering for inductive learning
International

Authors David Lorenzo Blanco, Pedro Cabalar, Ramón Pérez Otero
Place Montreal (Canadá)

Visualizing the inference network in Medtool
Fifth International Symposium on Knowledge Engineering
International

Authors R.P. Otero, J. Santos, Álvaro Barreiro, J. Mira, R. Marín
Place Sevilla (España)

Rapid prototyping of Medical Graphic Interfaces
DEXA'92 3rd International Conference on Database and Expert Systems Applications
International

Authors R. Marín, M. Taboada, J. Mira, Álvaro Barreiro, R.P. Otero, A. Delgado
Organization DEXA
Place Valencia (España)

Representation of Temporal Knowledge in Obstetrics
Fourth International Symposium on Knowledge Engineering
International

Authors R. Marín, M. Taboada, G. Mouriño, J. Mira, Álvaro Barreiro, R.P. Otero, M. Pereira
Place 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
International

Authors Álvaro Barreiro, R.P. Otero, R. Marín, A. Delgado, J. Mira
Place 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
International

Authors Antonio Fermín Yáñez Izquierdo, M. Jacquet, Álvaro Barreiro, A. Delgado, R. Marín, R.P. Otero, J. Mira
Place 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
National

Authors Bernal, A, Álvaro Barreiro, J. Mira, R. Tojo
Place Zaragoza (España)

Formal specifications in data capture for an expert system in oncology
Preprints of Second IFSA World Congress
International

Authors J. Mira, A. Grant, Jones, R., D,. Cramp, A. Delgado, Antonio Fermín Yáñez Izquierdo, Álvaro Barreiro, J.M. Couselo, L. Iglesias
Place Tokyo (Japón)

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

Authors 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
Place Madrid (España)