Community Research and Development Information Service - CORDIS

Abstract

This final report is a collection of National Final Reports written under the auspices of COST Action 15 which had the overall objective of coordinating European Research in the domain of Many-Valued Logics leading to Computer Science Applications with a special emphasis put on the specification and representation of uncertain and/or incomplete knowledge. Providing a sound theoretical basis to develop tools to process and manipulate such knowledge was clearly an indispensable prerequisite.

The Action 15 group sought to establish co-operation between expects and recognized European research leaders so as to provide a forum covering the full spectrum of research in Many-Valued Logics ranging from mathematical foundations to computational issues and even into studies of real applications. It also sought to initiate training for excellent young scientists both in a theoretical and applied capacity.

The COST framework was particularly successful because it was well adapted to the needs of the group of research teams and established a permanent means of collaboration between these groups across a wide geographical area. Furthermore, it also established close links with non-EC countries such as Poland and Austria which turned out to be crucial.

COST proved to be an excellent forum and catalyst for the dissemination of results from the following Work Groups:

-WG 1. Formal Systems: Theory and Tools
-WG 2. Automated Deduction
-WG 3 Approximate Reasoning ad Knowledge Representation

In addition to these, COST 15 established an excellent environment for the training of young researchers in regular workshops, conferences and meetings as well as having already established bilateral cooperation programs between teams or countries and negotiating for others.

Additional information

Authors: DG-Research,
Bibliographic Reference: EUR 19204 EN (2000) 186pp, ECU free
Availability: Available form OOPEC L-2985
ISBN: ISBN 92-828-9424-X
Record Number: 200010002 / Last updated on: 2000-10-25
Category: PUBLICATION
Original language: en
Available languages: en