Many-valued Logics for Computer Science Applications

Supported by: E.U.- COST Actions
Project n\074: COST 15
Period: 10-7-95 / 10-7-98

Partners:
Wien University (Austria)
Linz University (Austria)
Genz University (Belgium)
Liege University (Belgium)
Cyprus University (Cyprus)
Academy of Science of Czech Republic (Czech Republic)
Abo Academy University (Finland)
IRIT.- Research Institute in Computer Science of Toulouse (France)
IRISA.- Research Institute in Computer Science and Random Systemìs (France)
Lyon 1 University (France)
Grenoble 2 University (France)
LIFIA_IMAG (France)
Milano University (Italy)
Napoli University (Italy)
Siena University (Italy)
Torino University (Italy)
Trondheim University (Norway)
Polish Academy of Science (Poland)
Warsaw University (Poland)
Lisbon University (Portugal)
Malaga University (Spain)
Barcelona University (Spain)
Granada University (Spain)

The COST Projects, founded by the CEE, aim at creating a work scientific setting to allow to join efforts and to exchange knowledge among Researchers in European Countries. Thus, COST programs provide an economical support for the organisation of workshops, conferences, researcher sojourns, organisation secretariat, etc. The central scientific subject of this particular European COST project is the Many-valued Logic and the general objective is to make emerge new real world applications relying on Computer Science. The mentioned main goal can be split into two kinds of subgoals: practical-oriented ones and theoretical-oriented ones. The former pretends to find out new theoretical results until having a rigorous and reliable theory such that the confidence degree on current applications is significantly improved. Also, new short term applications are expected as a consequence of these designed reliable theories. The purpose of the second objective is to advance on promising theoretical approaches to enable, in a middle/long term, to dispose the necessary theoretical grounds to deal with new applications. The global project is divided into three main scientific areas corresponding to three major aspects of Many-valued Logic: Many-valued Algebras, Automated Deduction and Approximated Reasoning. For each area, there is a Working Group composed by researchers whose scientific interest topics are inside such an area. Our institute is present in all the three groups and actively contributes to the advance in all the three fields. This project has facilitated some close cooperations among the IIIA and some outstanding European research institutions.


Researchers: G. Escalada-Imaz, F. Esteva, P. García and L. Godo

IIIA - Institut d'Investigació en Intel.ligència Artificial
CSIC - Spanish Scientific Research Council
Campus Universitat Autònoma de Barcelona
08193 Bellaterra, Catalonia , Spain
Voice: +34-3-580 95 70 Fax: +34-3-580 96 61