Projects Summary
Francesc Esteva projects
Current projects
EdeTRI. Study and development of technologies for the efficient resolution of reasoning problems with incomplete information
From : 01-Jan-2013 to 31-Dec-2015

MaToMUVI. Mathematical Tools for Managing Uncertain and Vague Information
From : 15-Mar-2011 to 14-Apr-2014

TASSAT. TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL
From : 01-Jan-2011 to 31-Dec-2013

AT. Agreement Technologies
From : 01-Sep-2007 to 01-Oct-2013

Past projects
LOCOMOTION . Logics for combining models of reasoning under imperfect information
From : 01-Feb-2009 to 31-Jan-2012

MULOG 2. Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies (Main researcher)
From : 15-Oct-2007 to 15-Oct-2010

MULOG. Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión (Main researcher)
From : 13-Dec-2004 to 13-Dec-2007

LOGFAC. Classic and Multivalued Logic: foundations and computational applications (Main researcher)
From : 28-Dec-2001 to 27-Dec-2004

COST-15. Many-valued Logics for Computer Science Applications (Main researcher)
From : 10-Jul-1995 to 10-Jul-1998

MUM. Management of Uncertainty in Medicine (Main researcher)
From : 01-Apr-1994 to 31-Mar-1996