Network of Excellence in Computational Logic


COMPULOG-NET - 7230

Work Area: Logics and Logic Programming

Keywords constraint logic programming, knowledge bases, knowledge representation and reasoning, program development and programming languages, parallelism and implementation technologies


Start Date: 1 November 92 / Duration: 36 months / Status: running

[ participants / contact ]


Abstract The scientific objective of COMPULOG NET is to lay the foundations of an integrated software environment for building knowledge rich applications, by extending the logic programming paradigm with enhancements from the areas of databases, artificial intelligence and logic. The network facilitates communication, mobility and technology transfer by means of regular meetings, access to electronic communication, coordination of training of graduate and postgraduate researchers and dissemination of information about publications.


Aims

The extension of logic programming has been chosen as the basis for the research activity of the network both because of its sound logical foundations and because it has proved useful for applications in diverse areas such as programming, program specification, databases, knowledge representation and problem solving. Moreover, it also has strong relationships with other computing technologies such as functional programming, object-oriented programming and relational databases. The network creates a European community of researchers with shared long term goals and a common technical basis. The main functions of the network are to:

Structure

The network is organised through five types of nodes: One Coordinating Node, Area Coordinating Nodes (see below), Nodes, Associate Nodes (small working groups associated with a node) and Industrial Nodes.

It is managed by an Executive Council formed by: The network coordinator, a representative of DG XIII, six representatives of the ACNs, three members elected by N, two members elected by AN, and one member elected by I.

The network is structured by scientific areas: Constraint logic programming, Knowledge bases, Knowledge representation and reasoning, Program development, Programming languages, Parallelism and implementation technologies. Constraint logic programming deals with extensions of the logic programming paradigm by means of algorithms and methods for constraint satisfaction. The area of Knowledge bases deals with methods and techniques for building, querying, updating and checking the integrity of large deductive data bases. The area of Knowledge representation and reasoning deals with the computer modelling of knowledge and with mechanised reasoning procedures to use this knowledge for problem solving. Program development deals with methods and techniques for the automatic development of computer programs together with techniques for improving their efficiency. The area of Programmming languages deals with the design of innovative programming languages and environments based on the logic programming paradigm. The area of Parallelism and implementation technologies deals with the theoretical foundation of parallelism and concurrency, concurrent/parallel languages and general implementation techniques. The activity of the network within each one of the above areas is coordinated by an ACN.

There is also a node responsible for the organisation and distribution of informations about scientific publications and an electronic communication coordinator.

Activities

Compulog Net joined the exhibition held at the International Conference on Logic Programming (ICLP'93) in Budapest by organising a booth for demonstrating the software developed at various nodes; all the demonstrations were well received. Another booth was organised by PVG at IJCAI Conference and Exhibition. For promotion purposes brochures about the network and a booklet presenting the nodes of Compulog Net were prepared, printed and mailed to all member nodes.

The Catholic University of Leuven has started to gather and distribute information about scientific publications. The node at ECRC was charged by the network to understand how to improve the electronic communication between nodes, in connection with the other ESPRIT networks.

The first general meeting of the net was held in Lisbon (July 1993). Five areas of the network held their area meetings in Leuven, Athens, Marseille, Madrid, Pisa and Lisbon. The Executive Council met three times: Rome (Dec. 1992), Lisbon (July 1993), and London (Nov. 1993). Compulog Net has prepared the proposal for the Human Capital and Mobility Program with the title "Compulog-Group; Cooperation Group in Computational Logic". The proposal was accepted by the Commission and is ready to start. Current activities include the production of a video presenting the Compulog Net structure and work. To animate the communication between the nodes a Compulog Net Newsletter will be installed. In November 1993 Compulog Net counts 72 nodes including some from Eastern European Countries.

Further information about COMPULOG-NET is available from the COMPULOG-NET home page <URL:http://www.compulog.org/>.


Coordinator

DFKI - The German Research Center for AI - D
Prof. Jörg Siekmann
Universität des Saarlandes
D - 66123 Saarbrücken

Managing Nodes of COMPULOG-NET

Katholieke Universiteit Leuven - B
DFKI Saarbrücken - D
ECRC - D
Universidad Politecnica de Madrid - E
Università di Pisa - I
UNINOVA - P
Imperial College - UK

Nodes of COMPULOG-NET

ARIAI, Vienna - A
RISC, Linz - A
Technische Universität Wien - A
Université Libre de Bruxelles - B
Katholieke Universiteit Leuven - B
Université Catholique de Louvain - B
Université de Namur - B
University of Zurich - CH
Cyprus University - CYP
Cap Gemini, Hamburg - D
European Computer Industry Research Centre (ECRC) - D
Siemens, Munich - D
Universität Aachen - D
Universität Bonn - D
Universität Darmstadt - D
Universität Saarbrücken - D
Technical University of Denmark, Lyngby - DK
Universidad Politecnica de Madrid - E
Universidad Politecnica de Cataluña, Barcelona - E
LIENS, Paris - F
INRIA, Nancy - F
INRIA, Paris - F
Université de Lille - F
Université d'Aix-Marseille II - F
COSYTEC, Paris - F
SYSECA, Paris - F
Université Paul Sabatier, Toulouse - F
National Technical University of Athens - GR
IRST, Trento - I
Università di Bologna - I
Università di Genoa - I
Università di Milano - I
Università di Padua - I
Università di Pisa - I
Università di Roma La Sapienza - IE
Università di Roma Tor Vergata - I
Università di Torino - I
Norwegian Institute of Technology, Trondheim - N
CWI, Amsterdam - NL
Universiteit van Amsterdam - NL
Universiteit van Tilburg - NL
Technical University of Lisbon - P
Universidade Nova de Lisboa - P
Universidade do Porto - P
University of Linkoeping - S
Royal Institute of Technology, Stockholm - S
SICS, Stockholm - S
University of Uppsala - S
Jozef Stefan Institute, Ljubljana - SLOV
ICL, London - UK
Imperial College of Science, Technology and Medicine - UK
Machine Intelligence, Cambridge - UK
Turing Institute, Glasgow - UK
University of Bristol - UK
University of Edinburgh - UK
University of Leeds - UK
University of Manchester - UK
University of Oxford - UK

CONTACT POINT

Dr. H. Jürgen Müller
DFKI
Stuhlsatzenhausweg 3
D - 66123 Saarbrücken

tel +49/681 302 5322 - 681 302 5276 (Sec.)
fax +49/681 302 5341
e-mail: hjm@dfki.uni-sb.de


LTR synopses home page LTR work area index LTR acronym index LTR number index LTR Networks index
All synopses home page all acronyms index all numbers index

COMPULOG-NET - 7230, August 1994


please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook