Mayo 1993 - Mayo 1996
Foundations of Analogical Inference and their Applications to Symbolic Reasoning and Learning
Investigador principal:
Sep 2008 - Jul 2011
Development of an Intelligent Oceanographic Probe with Autonomous Sampling Capabilities
Investigador principal:
Sep 2007 - Oct 2013
Team for Advanced Research on Information Security and Privacy
Investigador principal:
Ene 2001 - Dic 2003
Autonomous Robot navigation guided by visual targets
Investigador principal:
Ene 2010 - Dic 2012
Efficient automated reasoning systems with incomplete and imprecise information based on SAT and CSP
Investigador principal:
Jun 1992 - Jun 1995
Reflective Architecture: Logical Foundations and Applications
Investigador principal:
Nov 2010 - Mar 2013
Advanced Social Knowledge Search
Investigador principal:
Sep 2007 - Dic 2014
Agreement Technologies
Investigador principal:
Oct 2008 - Dic 2010
REDES SOCIALES DEL CONOCIMIENTO PARA LOS PROCESOS DE INVERSION DE CAPITAL RIESGO EN PROYECTOS DE BASE TECNOLOGICA
Investigador principal: