International Center for Computational Logic

Willkommen beim

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

Forschungsgruppen stellen sich vor

Wissensbasierte Systeme

Markus Krötzsch

Die Forschungsgruppe Wissensbasierte Systeme beschäftigt sich mit Methoden der intelligenten Verwaltung und Verarbeitung von Informationen in Computersystemen. Dies umfasst Fragestellungen der formalen Wissensrepräsentation und des logischen Sch… weiterlesen

Neuigkeit vom 30. Oktober 2019

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

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

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

Emmanuelle-Anna Dietz Saldanha, Antonis Kakas
Cognitive Argumentation for Human Syllogistic Reasoning
KI, 33(3):229-242, 2019
Details

Julia Mertesdorf, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning
17th International Conference on Cognitive Modelling Meetings (ICCM), 2019
Details

Komplette Publikationsliste anzeigen

NEUIGKEITEN

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!

3. September 2019

Markus Krötzsch gab einen Kurs bei der EDBT Summer School

… weitere Ergebnisse

iCal

VERANSTALTUNGEN

21. November 2019

Vortrag: A diamond in the rough: Theorizing column stores

28. November 2019

Vortrag: TE-ETH: Lower Bounds for QBFs of Bounded Treewidth

12. Dezember 2019

Vortrag: Standpoint logic: a multi-modal logic for reasoning within semantic indeterminacy

19. Dezember 2019

Vortrag: SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability