Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
- nauki przyrodnicze informatyka sztuczna inteligencja
- nauki przyrodnicze informatyka oprogramowanie
- nauki przyrodnicze matematyka matematyka czysta matematyka dyskretna logika matematyczna
- nauki przyrodnicze informatyka inżynieria wiedzy
- nauki przyrodnicze informatyka bazy danych relacyjne bazy danych
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Przepraszamy… podczas wykonywania operacji wystąpił nieoczekiwany błąd.
Wymagane uwierzytelnienie. Powodem może być wygaśnięcie sesji.
Dziękujemy za przesłanie opinii. Wkrótce otrzymasz wiadomość e-mail z potwierdzeniem zgłoszenia. W przypadku wybrania opcji otrzymywania powiadomień o statusie zgłoszenia, skontaktujemy się również gdy status ulegnie zmianie.
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Brak dostępnych danych
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Brak dostępnych danych
Koordynator
SW7 2BZ LONDON
Zjednoczone Królestwo
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.