Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode
Contenu archivé le 2024-05-27

Network of Excellence in Computational Logic

Objectif

Computational Logic is of growing importance in many academic and commercial fields and is currently on the verge of becoming an academic discipline of its own via the International Federation of Computational Logic (IFCoLog).
Unfortunately the academic disciplines involved, e.g. information technology, computer science, artificial intelligence, cognitive science, electrical and mechanical engineering are spread rather widely and thus this network will try to unite and to provide an entry point for these separated communities. Computational Logic is of growing importance in many academic and commercial fields and is currently on the verge of becoming an academic discipline of its own via the International Federation of Computational Logic (IFCoLog). Unfortunately the academic disciplines involved, e.g. information technology, computer science, artificial intelligence, cognitive science, electrical and mechanical engineering are spread rather widely and thus this network will try to unite and to provide an entry point for these separated communities.

OBJECTIVES
Computational Logic is applied in many industrial and commercial fields, in particular in critical areas involving the environment, medicine and life sciences, pharmacological industry, management of scarce resources etc. This includes sewage control, traffic control, drug design, data management in medicine and many other areas. In addition, computational logic is significant for the verification of safety-critical software and hardware, the specification and verification of embedded systems and for security issues in the Internet. It is also of growing importance academically with more than ten thousand people working in research and development worldwide in logic related problems (see IFCoLog). The objective of this network is to combine the scattered communities into a virtual centre of excellence and to provide an entry point via website, email distribution lists as well as workshops and online documents and a newsletter

DESCRIPTION OF WORK
CologNet will be organised around nine major areas which are structured into the following topics:
1) Logic Methodology and Foundational Tools (Area 1);
2) Logic and Programming Languages:
2.1 Logic and Constraint Logic Programming (Area 2);
2.2 Implementation Technology for Computational Logic Systems(Area 3);
3) Logic as Information Processing:
3.1 Logic-based Data and Knowledge Systems (Area4);
3.2 Logic and Multiagent Systems (jointly with AgentLink) (Area 5);
3.3 Logic and Natural Processing (jointly with Elsnet) (Area6);
4) Formal Methods and Automated Reasoning:
4.1 Formal Methods, Specification and Verification (Area 7);
4.2 Automated Reasoning, Deduction, Theorem Proving and Model-Checking (Area 8);
5) Logic in Mechanical and Electrical Engineering (jointly with EUNITE)(Area 9).
CologNet will represent Computational Logic at a European level and promote the take-up of CL technologies in industry, provide a world-wide (internet) entry point to CL through its WWW site, provide the European entry point to the International Federation of CL, IFColog, promote exchange and co-operation between the different CL areas, promote education and training measures, interchange of students and researchers, developing CL curricula, contribute to standard debates, devolop technological roadmaps for various subareas of CL, promote exchange with other groups and NoEs, e.g. in natural language processing, multi-agent systems and computational intelligence.

Champ scientifique (EuroSciVoc)

CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.

Vous devez vous identifier ou vous inscrire pour utiliser cette fonction

Programme(s)

Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.

Thème(s)

Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.

Appel à propositions

Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.

Données non disponibles

Régime de financement

Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.

THN - Thematic network contracts

Coordinateur

DEUTSCHES FORSCHUNGSZENTRUM FUER KUENSTLICHE INTELLIGENZ GMBH
Contribution de l’UE
Aucune donnée
Adresse
ERWIN-SCHROEDINGER-STRASSE 57
67663 KAISERSLAUTERN
Allemagne

Voir sur la carte
Coût total

Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.
Aucune donnée

Participants (46)

Partager cette page Partager cette page sur les réseaux sociaux

Télécharger Télécharger le contenu de la page

Dernière mise à jour: 13 Juin 2005

Mon livret

Permalink: https://cordis.europa.eu/project/id/IST-2001-33123/fr

European Union, 2025

Mon livret 0 0