Proyectos
Proyectos actuales
| 2020-2024 |
MOTION: Modelos y Técnicas para el Procesamiento de Información a Gran Escala. MINECO PID2020-112581GB-C22 |
|
2021-2025 |
LOREA: Logic and reasoning. UPV/EHU GIU21/044 |
Proyectos finalizados
| 2018-2021 |
GRAMM: Modelos y métodos basados en grafos para la computación en gran escala. MINECO TIN2017-86727-C2-2-R |
| 2018-2021 |
LOREA: Logic and reasoning. UPV/EHU GIU18/182 |
| 2014-2017 |
COMMAS: Modelos y Métodos Computacionales para Datos Masivos Estructurados. MINECO TIN2013-46181-C2-2-R |
| 2008-2016 |
BAILab: Basque Advanced Informatics Laboratory. UPV/EHU UFI11/45 |
| 2012-2015 |
LOREA: Logic and reasoning. UPV/EHU GIU12/26 |
| 2007-2014 |
FORMALISM: Métodos formales y algoritmos para el diseño de sistemas. CICYT TIN2007-66523 |
| 2008-2011 |
LOREA: Logic and reasoning. UPV/EHU GIU07/35 |
| 2008-2011 |
KYOTO - Knowledge yielding ontologies for Transition-based organization. EU ICT-211423 |