Jordi Levy projects
Current projects
TASSAT. TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL (Main researcher)
From : 01-Jan-2011 to 31-Dec-2013
Past projects
MULOG 2. Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies
From : 15-Oct-2007 to 15-Oct-2010
MULOG. Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión
From : 13-Dec-2004 to 13-Dec-2007