International Center for Computational Logic

Willkommen beim

Dresdens neue Site für Wissenstechnologien und Computational Logic
Unsere Gruppen

Forschungsgruppen stellen sich vor

Automatentheorie

Franz Baader

Neuigkeit vom 3. Dezember 2019

CAPTCHA! Maschinen lernen Handeln von Menschen, die nicht verstehen, was sie wissen. Schwarzmarkt für nützliches Wissen und Nicht-Wissen Nr. 23

Mehr erfahren

International Center for Computational Logic

Das International Center for Computational Logic (ICCL) ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet.

Dies ist die neue Website des ICCL, die im Oktober 2014 veröffentlicht wurde. Inhalte, die bisher noch nicht umgezogen sind, finden sich auf der früheren Site unter http://computational-logic.org/. Die folgenden Forschungsgruppen sind bereits hier auf der neuen Site vertreten:

• Automatentheorie
• Computational Logic
• Verifikation und formale quantitative Analyse
• Wissensbasierte Systeme
• Wissensverarbeitung

Mitarbeiter und Gäste

Personen beim International Center for Computational Logic

Neueste Publikationen

Bartosz Bednarczyk, Franz Baader, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), to appear
Details

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the second international competition on computational models of argumentation
Artificial Intelligence, 279, February 2020
Details Download

Bartosz Bednarczyk
One-Variable Logic Meets Presburger Arithmetic
Theoretical Computer Science, 802(141-146), January 2020
Details

Komplette Publikationsliste anzeigen

NEUIGKEITEN

3. Dezember 2019

CAPTCHA! Maschinen lernen Handeln von Menschen, die nicht verstehen, was sie wissen. Schwarzmarkt für nützliches Wissen und Nicht-Wissen Nr. 23

30. Oktober 2019

Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference

16. Oktober 2019

Neue Mitarbeiterin: Dipl.-Inf Elisa Böhl

25. September 2019

Reasoning Web Summer School 2019

21. September 2019

Vice World Champion in the AI Birds Challenge!

… weitere Ergebnisse

iCal

VERANSTALTUNGEN

26. Februar 2020

Vortrag: A Distributed Blockchain Model of Selfish Mining

27. Februar 2020

Vortrag: Tracking False Information Online