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

Personen beim International Center for Computational Logic


Neueste Publikationen

David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees
In Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra, eds., Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 6th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., volume 2043, February 2018. CEUR Workshop Proceedings
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), Leibniz International Proceedings in Informatics, 12:1--12:19, to appear. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download

Christoph Wernhard
Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux
Technical Report, TU Dresden, volume 18-01, 2018. Knowledge Representation and Reasoning
Details

Komplette Publikationsliste anzeigen