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

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