International Center for Computational Logic

Willkommen beim

Dresdens Site für Wissenstechnologien und Logik in der Informatik
Unsere Gruppen

Forschungsgruppen stellen sich vor

Logische Programmierung und Argumentation

Sarah Alice Gaggl

Die Forschungsgruppe Logische Programmierung und Argumentation an der Fakultät für Informatik und dem Institut für Künstliche Intelligenz befasst sich mit theoretischen und praktischen Aspekten der Logischen Programmierung im Speziellen mit Answ… weiterlesen

Neuigkeit vom 12. November 2021

Markus Krötzsch erhält Digital-Lehrpreis der Fachschaft Informatik

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, Wissensrepräsentation, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet. Die folgenden Forschungsgruppen sind mit dem ICCL assoziiert:

• Algebra und Diskrete Strukturen
• Automatentheorie
• Computational Logic
• Logische Programmierung und Argumentation
• Verifikation und formale quantitative Analyse
• Wissensbasierte Systeme

Mitarbeiter und Gäste

Personen beim International Center for Computational Logic

Neueste Publikationen

Bartosz Bednarczyk, Emanuel Kieroński
Finite Entailment of Local Queries in the Z family of Description Logics
AAAI 2022, to appear
Details

Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard
AAAI 2022, to appear
Details

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 141--150, 2021
Details Download

Lucía Gómez Álvarez, Sebastian Rudolph
Standpoint Logic: Multi-Perspective Knowledge Representation
In Neuhaus F, Brodaric B, eds, eds., Proceedings of the 12th International Conference (FOIS 2021) Frontiers in Artificial Intelligence and Applications, to appear. IOS Press
Details

Komplette Publikationsliste anzeigen

NEUIGKEITEN

12. November 2021

Markus Krötzsch erhält Digital-Lehrpreis der Fachschaft Informatik

3. November 2021

ICCL-Forscher erhalten Best Paper Award auf internationaler Top-Konferenz für symbolische KI

18. Oktober 2021

Neuer Mitarbeiter: Piotr Ostropolski-Nalewaja

13. Oktober 2021

Neuer Mitarbeiter: Lukas Gerlach

17. Mai 2021

Bartosz Bednarczyk gewinnt den Best Student Paper Award der JELIA 2021

… weitere Ergebnisse

iCal

VERANSTALTUNGEN

2. Dezember 2021

Vortrag: Capturing Homomorphism-Closed Decidable Queries with Existential Rules

Unsere Projekte

Unsere Partner