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.

Coordinator

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

Participants (16)

EUROPEAN COMPUTER IRC
Germany
Address
Arabellastraße 17
81925 München
Irst
Italy
Address
Pante Di Povo
38100 Trento
KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium
Address
Celestijnenlaan, 200D
3030 Heverlee
SLS-CAP GEMINI
Germany
Address

Hamburg
STICHTING VOOR MATEMATISCH CENTRUM - CENTRUM VOOR WISKUNDE & INFORMATICA
Netherlands
Address
Kruislaan 413, 4079
1009 AB/10 Amsterdam
TECHNISCHE UNIVERSITAET KAISERSLAUTERN
Germany
Address
Erwin Schroedinger Strasse 46
67663 Kaiserslautern
UNIVERSIDAD NOVA DE LISBOA
Portugal
Address
Quinta Da Torre
2825 Monte Da Caparica
UNIVERSITAT POLITECNICA DE MADRID
Spain
Address
Campus De Montegancedo
28660 Madrid
UNIVERSITY OF EDINBURGH
United Kingdom
Address
Old College, South Bridge
EH8 9YL Edinburgh
UNIVERSITY OF UPPSALA
Sweden
Address

75121 Uppsala
UNIVERSITÄT PASSAU
Germany
Address
Innstraße 33
94032 Passau
University of Bristol
United Kingdom
Address
Tyndall Avenue
BS8 1TH Bristol
Università degli Studi di Pisa
Italy
Address
Lungarno Pacinotti 43
56100 Pisa
Università degli Studi di Roma 'La Sapienza'
Italy
Address
Via Eudossiana 18
00184 Roma
Università degli Studi di Roma Tor Vergata
Italy
Address
Via Orazio Raimondo 1
00173 Roma
Université d'Aix-Marseille II
France
Address
Route Leon Lachamp Luminy
13288 Marseille