Projects Summary
Gonzalo Escalada-Imaz projects
Current projects
TASSAT. TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL
From : 01-Jan-2011 to 31-Dec-2013

Past projects
RECEDIT. Weigted Soft Constraints: Centralized and Distributed Cases
From : 01-Jan-2010 to 31-Dec-2012

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

REPLI-II-2006. Constraint reasoning and its application to planning
From : 01-Oct-2006 to 30-Sep-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

DENOC. Non-Canonical Automated Deduction (Main researcher)
From : 19-Dec-2000 to 18-Dec-2003

COMPULOG-NET. The IIIA-CSIC is a node of the Network of Excellence in Computational Logic (Main researcher)
From : 24-Jun-1996 to 24-Jun-1999