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


Neueste Publikationen

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
Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Logic Programming and Nonmonotonic Reasoning, volume 15245 of Lecture Notes in Computer Science, to appear. Springer
Details Download
Komplette Publikationsliste anzeigen