Lluís Godo projects
Current projects
EdeTRI. Study and development of technologies for the efficient resolution of reasoning problems with incomplete information (Main researcher)
From : 01-Jan-2013 to 31-Dec-2015
PACES. Providing Autonomous Capabilities for Evolving SCADA (Main researcher)
From : 01-Jul-2012 to 30-Jun-2015
MaToMUVI. Mathematical Tools for Managing Uncertain and Vague Information
From : 15-Mar-2011 to 14-Apr-2014
Past projects
ARINF. Efficient automated reasoning systems with incomplete and imprecise information based on SAT and CSP (Main researcher)
From : 01-Jan-2010 to 31-Dec-2012
LOCOMOTION . Logics for combining models of reasoning under imperfect information (Main researcher)
From : 01-Feb-2009 to 31-Jan-2012
MULOG 2. Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies
From : 15-Oct-2007 to 15-Oct-2010
ONCNOSIS. Identification of biomarkers with diagnostic and therapeutic value for the neoplastic disease
From : 25-Apr-2006 to 31-Dec-2009
SPEED. I+D DE UNA PLATAFORMA DE SERVICIOS MÓVILES PARA LA PLANIFICACIÓN, CONTROL Y GESTIÓN DE RECURSOS MÓVILES
From : 25-Aug-2008 to 31-Mar-2009
MULOG. Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión
From : 13-Dec-2004 to 13-Dec-2007
Smash. Sistemas Multi-agente y su aplicación en servicios hospitalarios (Main researcher)
From : 01-Aug-1996 to 31-Jul-2001