idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Die TU Dresden, vertreten durch das Fachgebiet "Knowledge Representation and Reasoning" von Prof. Steffen Hölldobler am Institut für künstliche Intelligenz der Fakultät Informatik der TU Dresden, ist in den Führungskreis des Network of Excellence in Computational Logic (CologNet) aufgenommen worden.
Beim CologNet handelt es sich um das größte je von der Europäischen Union geförderte Forschungsnetz zwischen führenden europäischen Universitäten. Die Gesamtfördersumme beläuft sich auf mehr als zwei Millionen Euro verteilt auf drei Jahre. Davon fließen knapp 190.000 Euro an die TU Dresden. Das CologNet ist Kommunikationsbörse und wissenschaftliche Koordinationsstelle der "Computational Logic" Forschungsgemeinschaft, welche sich aus etwa 150 universitären und industriellen Partnern zusammensetzt. 13 davon bilden den Führungskreis, in welchen die TU Dresden jetzt aufgerückt ist. Ausschlaggebend für die Aufnahme der TU Dresden in diesen Führungskreis war ihr Internationaler Master-Studiengang "Computational Logic", welcher in den letzten Jahren aufgebaut wurde und jetzt in der "Computational Logic" Forschungsgemeinschaft für Aufsehen sorgt.
Das CologNet ist eine der wenigen EU-Förderungen im Bereich der Grundlagenforschung. Das Ziel der EU-Förderung besteht darin, das Forschungsgebiet der "Computational Logic" als eigenständige Disziplin zu fördern. "Computational Logic" soll als Grundlagendisziplin unterschiedlichsten Forschungsgebieten wissenschaftliche Impulse geben. Inhaltlich bedeutet dies, die bisher meist anwendungsorientierten Problemlösungsversuche durch logik-basierte Herangehensweisen zu ergänzen bzw. zu ersetzen.
Informationen: Prof. Dr. Steffen Hölldobler, Tel. (03 51) 4 63?3 83 40, E-Mail: sh@inf.tu-dresden.de, Dr. Bertram Fronhöfer, Tel. (03 51) 4 63?3 90 95, E-Mail: Bertram.Fronhoefer@inf.tu-dresden.de
Criteria of this press release:
Information technology
transregional, national
Organisational matters
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
