gen. 1996 - des. 2001
Mobile Robot prototypes for manufacturing and services environments
Investigador principal:
ag. 1997 - jul. 2000
Modelling and Synthesis during Logical Design of Computer Systems: From Formalization to Applications
Investigador principal:
jul. 1992 - jul. 1995
Partial Deductive Systems and Local Logics in Approximate Reasoning
Investigador principal:
des. 2004 - des. 2007
Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión
Investigador principal:
oct. 2007 - oct. 2010
Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies
Investigador principal:
gen. 1996 - des. 2001
Intelligent Mould Design
Investigador principal:
abr. 1994 - Mar 1996
Management of Uncertainty in Medicine
Investigador principal:
febr. 2015 - gen. 2017
Nuevos Ámbitos de Sistemas de Aprendizaje Automático para la Informática basada en Datos
Investigador principal:
gen. 2010 - des. 2013
Evolving CBR for multi-source experience and knowledge-rich applications
Investigador principal: