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


Neueste Publikationen

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
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), to appear
Details Download
Ringo Baumann, Hannes Straß
Consequence Operators for Characterization Logics – The Case of Abstract Argumentation
In Gopal Gupta and Carmine Dodaro and Maria Vanina Martínez, eds., Proceedings of the Seventeenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), LNCS, to appear. Springer
Details Download
Komplette Publikationsliste anzeigen