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

Personen beim International Center for Computational Logic


Neueste Publikationen

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

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download

Larry González, Aidan Hogan
Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis
Proceedings of the 27th Web Conference (WWW), Lyon, France, April 23–27, 2018, to appear
Details Download

Komplette Publikationsliste anzeigen