Projects Summary
Jaume Agustí-Cullell projects
Current projects
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
MULOG 2. Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies
From : 15-Oct-2007 to 15-Oct-2010

IEA. AUTONOMIC ELECTRONIC INSTITUTIONS
From : 01-Oct-2006 to 30-Sep-2009

OPEN KNOWLEDGE. A new form of open, coordinated knowledge sharing architecture
From : 01-Jan-2006 to 31-Dec-2008

SLIE. Sustainable Lifecycles in Information Ecosystems (Main researcher)
From : 01-May-2000 to 30-Apr-2003

MODELOGOS. Modelling and Synthesis during Logical Design of Computer Systems: From Formalization to Applications (Main researcher)
From : 01-Aug-1997 to 31-Jul-2000

DISCOR. Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex) (Main researcher)
From : 19-May-1994 to 18-May-1997

TESEU. Theory and Development of Distributed Expert Systems. Medical Applications (Main researcher)
From : 06-Aug-1991 to 05-Aug-1994

SPES. Specification of Parallel Expert Systems (Main researcher)
From : 01-Jan-1989 to 31-Dec-1991

ESTELA. Relational and Equational Logic Programming Environment (Main researcher)
From : 01-Jan-1986 to 31-Dec-1989