Ene 1991 - Dic 1993
A Learning System Based on a Massive Memory Architecture
Investigador principal:
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: