International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


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:



Mitarbeiter und Gäste

Portrait Franz Baader Portrait Sebastian Rudolph Portrait Steffen Hölldobler Portrait Alexander Krause Portrait David Carral Portrait Ramona Behling Portrait Christoph Wernhard Portrait Emmanuelle Dietz Portrait Satyadharma Tirtarasa Portrait Maximilian Marx Portrait Manuel Bodirsky Portrait Shima Asaadi Portrait Adrian Bielefeldt Portrait Markus Krötzsch Portrait Patrick Koopmann Portrait Tobias Philipp Portrait Andreas Ecke Portrait Faiq Miftakhul Falakh Portrait Stefan Borgwardt Portrait Lukas Schweizer Portrait Sylvia Wünsch Portrait Sarah Alice Gaggl Portrait Ilja Shmelkin Portrait Kati Michel Portrait Ana Ozaki Portrait Sandy Seifarth Portrait Christel Baier Portrait Anni-Yasmin Turhan Portrait Irina Dragoste Portrait Larry González Portrait Sascha Klüppelholz Portrait Dagmar Gromann Portrait Kerstin Achtruth Portrait Johannes Fichte

Personen beim International Center for Computational Logic


Neueste Publikationen

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 5309--5313, July 2018. International Joint Conference on Artificial Intelligence
Details Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018), LNAI, to appear. Springer
Details Download

Larry González, Aidan Hogan
A Data-Driven Graph Schema
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Colombia, May 21-25, 2018, May 2018
Details Download

Komplette Publikationsliste anzeigen