Skip to main content

Pilot Network of Excellence in Computational Logic

Objective


The network consists of about 50 nodes; it is organised by scientific topic, with a managing node having responsibility for each topic. In the first phase these topics and managing nodes are: constraint logic programming; data and knowledge bases, language and semantics; logic programming for artificial intelligence, and transformation and analysis.
This Network's long-term objective is to develop the foundations of an integrated software environment for building knowledge-rich applications. The approach taken is to extend the logic programming paradigm by incorporating enhancements from the related areas of database systems, artificial intelligence and mathematical logic.
The extension of logic programming has been chosen as the basis of the work both because of its sound theoretical foundations and because it has proved useful for applications in such diverse areas as programming, program specification, databases, knowledge representation and problem-solving. Logic programming also has strong relationships with other computing technologies such as functional programming, object-oriented programming and relational databases.
The main functions of the Network will be to:
-coordinate research activities
-allocate and coordinate research training fellowships
-promote the take-up of results by European industry.
The Network will support the training of doctoral and post-doctoral researchers by providing them with an opportunity to contribute to an integrated, well-motivated, interdisciplinary programme of research, in preference to the alternative of working with an individual supervisor on an isolated problem with limited access to state-of-the-art research results. It will also provide opportunities to upgrade the skills of established academic and industrial research workers, facilitate the mobility needed for those training activities, and integrate the results of the different nodes. Research groups in outlying areas of the European Community will be particularly encouraged to join: their participation will improve their access to state-of-the-art research f indings, enhance their ability to contribute to research, and facilitate the transfer of advanced technology to local industry.
The Network consists of about 50 nodes; it is organised by scientific topic, with a managing node having responsibility for each topic. In the first phase these topics and managing nodes are: constraint logic programming, Marseille; data and knowledge bases, ECRC; language and semantics, Pisa; logic programming for artificial intelligence, London; transformation and analysis, Leuven.
All nodes participating in the Network are committed to the goals and methods of computational logic. Most are involved in more than one topic.
COMPULOG-NET is continuing as COMPULOG-NET (7230) - please see page 518.

Topic(s)

Data not available

Call for proposal

Data not available

Funding Scheme

Data not available

Coordinator

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
Address
Queens Gate 180
SW7 2BZ London
United Kingdom

See on map

Links

Participants (16)

EUROPEAN COMPUTER IRC
Germany
Address
Arabellastraße 17
81925 München

See on map

Links
Irst
Italy
Address
Pante Di Povo
38100 Trento

See on map

Links
KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium
Address
Celestijnenlaan, 200d
3030 Heverlee

See on map

Links
SLS-CAP GEMINI
Germany
Address

Hamburg

See on map

Links
STICHTING VOOR MATEMATISCH CENTRUM - CENTRUM VOOR WISKUNDE & INFORMATICA
Netherlands
Address
Kruislaan 413, 4079
1009 AB/10 Amsterdam

See on map

Links
TECHNISCHE UNIVERSITAET KAISERSLAUTERN
Germany
Address
Erwin Schroedinger Strasse 46
67663 Kaiserslautern

See on map

Links
UNIVERSIDAD NOVA DE LISBOA
Portugal
Address
Quinta Da Torre
2825 Monte Da Caparica

See on map

Links
UNIVERSITAT POLITECNICA DE MADRID
Spain
Address
Campus De Montegancedo
28660 Madrid

See on map

Links
UNIVERSITY OF EDINBURGH
United Kingdom
Address
Old College, South Bridge
EH8 9YL Edinburgh

See on map

Links
UNIVERSITY OF UPPSALA
Sweden
Address

75121 Uppsala

See on map

Links
UNIVERSITÄT PASSAU
Germany
Address
Innstraße 33
94032 Passau

See on map

Links
University of Bristol
United Kingdom
Address
Tyndall Avenue
BS8 1TH Bristol

See on map

Links
Università degli Studi di Pisa
Italy
Address
Lungarno Pacinotti 43
56100 Pisa

See on map

Links
Università degli Studi di Roma 'La Sapienza'
Italy
Address
Via Eudossiana 18
00184 Roma

See on map

Links
Università degli Studi di Roma Tor Vergata
Italy
Address
Via Orazio Raimondo 1
00173 Roma

See on map

Links
Université d'Aix-Marseille II
France
Address
Route Leon Lachamp Luminy
13288 Marseille

See on map

Links