Projects Summary
Lluís Godo projects
Current projects
SYSMICS. Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics (Main researcher)
From : 15-Mar-2016 to 14-Mar-2019

RASO. Razonmiento, Satisfacción y Optimización (Main researcher)
From : 01-Jan-2016 to 31-Dec-2018

Past projects
Logal. Lógica y algoritmos
From : 01-Dec-2014 to 30-Nov-2017

EdeTRI. Study and development of technologies for the efficient resolution of reasoning problems with incomplete information (Main researcher)
From : 01-Feb-2013 to 31-Jan-2016

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 28-Feb-2015

AT. Agreement Technologies
From : 01-Sep-2007 to 31-Dec-2014

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

IEA. AUTONOMIC ELECTRONIC INSTITUTIONS
From : 01-Oct-2006 to 30-Sep-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