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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences artificial intelligence
- natural sciences computer and information sciences software
- natural sciences mathematics pure mathematics discrete mathematics mathematical logic
- natural sciences computer and information sciences knowledge engineering
- natural sciences computer and information sciences databases relational databases
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
SW7 2BZ LONDON
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.