Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS
Inhalt archiviert am 2024-04-16

Pilot Network of Excellence in Computational Logic

Ziel


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.

Wissenschaftliches Gebiet (EuroSciVoc)

CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.

Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen

Programm/Programme

Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.

Thema/Themen

Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.

Daten nicht verfügbar

Aufforderung zur Vorschlagseinreichung

Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.

Daten nicht verfügbar

Finanzierungsplan

Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.

Daten nicht verfügbar

Koordinator

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
EU-Beitrag
Keine Daten
Adresse
Queens Gate 180
SW7 2BZ LONDON
Vereinigtes Königreich

Auf der Karte ansehen

Gesamtkosten

Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.

Keine Daten

Beteiligte (16)

Mein Booklet 0 0