gen. 1994 - des. 1994
Cooperative Problem Solving Tools
Investigador principal:
jun 2004 - maig 2006
Diseño de Agentes Inteligentes para el Comercio Electrónico
Investigador principal:
gen. 2014 - des. 2015
Una aproximación declarativa para modelizar, analizar y resolver problemas
Investigador principal:
jun 2010 - gen. 2011
Proyecto de apoyo tecnológico "DAY2DAY"
Investigador principal:
gen. 1986 - des. 1987
European External Research Agreement con la empresa DIGITAL EQUIPMENT CORPORATION
Investigador principal:
des. 2000 - des. 2003
Non-Canonical Automated Deduction
Investigador principal:
nov. 2014 - nov. 2017
Design of Artificial Intelligence methods for supporting change management in organizations
Investigador principal:
maig 1994 - maig 1997
Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)
Investigador principal:
jul. 2017 - des. 2020
Gestión de la diversidad semántica e interaccional en sistemas computacionales
Investigador principal: