Jan 1986 - Dec 1987
European External Research Agreement con la empresa DIGITAL EQUIPMENT CORPORATION
Main researcher:
Dec 2000 - Dec 2003
Non-Canonical Automated Deduction
Main researcher:
Nov 2014 - Nov 2017
Design of Artificial Intelligence methods for supporting change management in organizations
Main researcher:
May 1994 - May 1997
Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)
Main researcher:
Feb 2016 - Feb 2018
The Digital Reconstruction of the Prehistoric Past: Virtual Reality and Artificial Intelligence for understanding social life in the Neolithic.
Main researcher:
Jan 1989 - Dec 1991
Defeasible Reasoning and Uncertainty Management Systems
Main researcher:
Oct 1992 - Mar 1996
Defeasible Reasoning and Uncertainty Management Systems II
Main researcher:
Sep 2007 - Aug 2012
e-AEGIS: Electronic AEGIS for conciliating consumer privacy and
Main researcher:
Dec 2000 - Dec 2003
Automatic trade by Intelligent Autonomous agents in electronic Institutions
Main researcher: