Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode
Contenido archivado el 2024-05-27

Network of Excellence in Computational Logic

Objetivo

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.

Ámbito científico (EuroSciVoc)

CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..

Para utilizar esta función, debe iniciar sesión o registrarse

Programa(s)

Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.

Tema(s)

Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.

Convocatoria de propuestas

Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.

Datos no disponibles

Régimen de financiación

Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.

THN - Thematic network contracts

Coordinador

DEUTSCHES FORSCHUNGSZENTRUM FUER KUENSTLICHE INTELLIGENZ GMBH
Aportación de la UE
Sin datos
Dirección
ERWIN-SCHROEDINGER-STRASSE 57
67663 KAISERSLAUTERN
Alemania

Ver en el mapa
Coste total

Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.
Sin datos

Participantes (46)

Compartir esta página Compartir esta página en las redes sociales

Descargar Descargar el contenido de la página

Última actualización: 13 Junio 2005

Mi folleto

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

European Union, 2025

Mi folleto 0 0