International Center for Computational Logic

Willkommen beim

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

Forschungsgruppen stellen sich vor

Algebra und Diskrete Strukturen

Manuel Bodirsky

Forschungsgruppe am Institut für Algebra an der Fakultät Mathematik der TU Dresden. Fields of Inter… weiterlesen

Neuigkeit vom 13. September 2023

ICCL veranstaltet JELIA 2023

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
Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023), Logics in Artificial Intelligence, 289--305, to appear. Springer International Publishing
Details Download

Bartosz Bednarczyk, Sebastian Rudolph
How to Tell Easy from Hard: Complexity of Conjunctive Query Entailment in Extensions of ALC
Journal of Artificial Intelligence Research, to appear
Details Download

Tim Lyon, Sebastian Rudolph
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), volume 14281 of Lecture Notes in Artificial Intelligence, 369-384, 2023. Springer
Details Download

Jonas Karge
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
Proceedings of the The 2nd International Workshop on Knowledge Diversity (KoDis23), to appear
Details Download

Komplette Publikationsliste anzeigen

NEUIGKEITEN

13. September 2023

ICCL veranstaltet JELIA 2023

21. Juli 2023

ICCL feiert großen Erfolg mit elf angenommenen Beiträgen bei Top-Konferenzen

5. Juni 2023

Dr. Sergei Obiedkov wird Mitglied der Gruppe Wissensbasierte Systeme

4. Februar 2023

Philipp Hanisch erhält Georg-Helm-Preis

11. Januar 2023

Lukas Gerlach mit Lohrmann Medaille ausgezeichnet

… weitere Ergebnisse

iCal

VERANSTALTUNGEN

5. Oktober 2023

Vortrag: Knowledge graphs: description, validation and subsetting

Unsere Projekte

Unsere Partner