Impulse the co-operation among the different Research Groups which might
be interested in the relationships among these three disciplines.
Introduce the new results obtained by the Research Groups, as well as
historical
presentation of concepts/theories, in an expositive and accesible way for
both staff and graduate students.
Host the conferences given by invited speakers to this group.
TIC2003-09001-C02-01: Deducción y Programación en
Lógicas No Clásicas para la Tecnología del Conocimiento.
TIC2003-08687-C02-01: Las dependencias
como eje transversal del tratamiento de los datos: fundamentos
algebraicos, sistemas de deducción y herramientas eficientes.
Acción
COST-274: Theory and Applications of Relational Structures as Knowledge
Instruments.
Finished Projects
TIC2000-1109:
Information
system for the intelligent management of files. Optimisation of handling
of information with deductive software.
TIC94-0847-C02-02:
Incremental Systems Description based in the Calculus of Refinements and
Executable Modal Logics. Aplications to Safety Critical Systems.
TIC97-0579-C02-02:
Modelling and Synthesis of Logical Designs: from Formalization to
Applications.
Acción
COST-15: Multiple-Valued Logics for Computer Science Applications.