Jul 1995 - Jul 1998
Many-valued Logics for Computer Science Applications
Investigador principal:
Ene 1994 - Dic 1994
Cooperative Problem Solving Tools
Investigador principal:
Jun 2004 - Mayo 2006
Diseño de Agentes Inteligentes para el Comercio Electrónico
Investigador principal:
Ene 2014 - Dic 2015
Una aproximación declarativa para modelizar, analizar y resolver problemas
Investigador principal:
Jun 2010 - Ene 2011
Proyecto de apoyo tecnológico "DAY2DAY"
Investigador principal:
Ene 1986 - Dic 1987
European External Research Agreement con la empresa DIGITAL EQUIPMENT CORPORATION
Investigador principal:
Dic 2000 - Dic 2003
Non-Canonical Automated Deduction
Investigador principal:
Nov 2014 - Nov 2017
Design of Artificial Intelligence methods for supporting change management in organizations
Investigador principal:
Mayo 1994 - Mayo 1997
Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)
Investigador principal: