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