International Center for Computational Logic

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


International Center for Computational Logic

EbD-rightmargin.png

                  

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:


Mitarbeiter und Gäste

Portrait Sascha KlüppelholzPortrait Franz BaaderPortrait Sarah Alice GagglPortrait Bartosz BednarczykPortrait Hannes StraßPortrait Martin DillerPortrait Manuel BodirskyPortrait Sandy SeifarthPortrait Stefan EllmauthalerPortrait Luisa HerrmannPortrait Kerstin AchtruthPortrait Piotr Ostropolski-NalewajaPortrait Jonas KargePortrait Sergei ObiedkovPortrait Piotr GorczycaPortrait Pascal KettmannPortrait Ramona BehlingPortrait Markus KrötzschPortrait Stefan BorgwardtPortrait Tim LyonPortrait Maximilian MarxPortrait Elisa BöhlPortrait Dörthe ArndtPortrait Filippo De BortoliPortrait Christel BaierPortrait Karina AdlerPortrait Kati DomannPortrait Alex IvlievPortrait Larry GonzálezPortrait Stephan MennickePortrait Matthias MeißnerPortrait Rajab AghamovPortrait Sebastian RudolphPortrait Lukas GerlachPortrait Knut BerlingPortrait Philipp Hanisch


Neueste Publikationen

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, to appear. IJCAI Organization
Details Download
Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: A Scalable and Versatile Datalog Engine
Proceedings of the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download
Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download
Komplette Publikationsliste anzeigen