Proiektuak

 

Oraindik proiektuak

2018-2020

GRAMM: Modelos y Métodos bastados 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

 

Aurreko proiektuak

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

2006-2008

Desarrollo de un sistema automático de razonamiento para bases de conocimiento de amplia cobertura.

UPV/EHU  EHU06/113

2004-2007

GRAMMARS: Métodos basados en GRAfos para el Modelado, Análisis y Realización de Sistemas de gran tamaño.

MEC  TIN2004-07925-C03-03

2004-2006

CLASS: Aplicación de técnicas de aprendizaje automático a la resolución de la ambigüedad semántica de las palabras.

UPV/EHU  UPV04/53

2001-2004

MAVERISH: Modelización, análisis y verificación de Sistemas Heterogeneos.

MEC  TIC2001-2476-C03-03