Mayo 1994 - Mayo 1997
Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)
Investigador principal:
Feb 2016 - Feb 2018
The Digital Reconstruction of the Prehistoric Past: Virtual Reality and Artificial Intelligence for understanding social life in the Neolithic.
Investigador principal:
Ene 1989 - Dic 1991
Defeasible Reasoning and Uncertainty Management Systems
Investigador principal:
Oct 1992 - Mar 1996
Defeasible Reasoning and Uncertainty Management Systems II
Investigador principal:
Sep 2007 - Ago 2012
e-AEGIS: Electronic AEGIS for conciliating consumer privacy and
Investigador principal:
Dic 2000 - Dic 2003
Automatic trade by Intelligent Autonomous agents in electronic Institutions
Investigador principal:
Ene 2000 - Jun 2002
Exploiting non-standard CSP for Leveraging Application Intelligence
Investigador principal:
Feb 2013 - Ene 2016
Study and development of technologies for the efficient resolution of reasoning problems with incomplete information
Investigador principal:
Abr 2006 - Mar 2009
Social Knowledge for e-Governance
Investigador principal: