International Center for Computational Logic

From International Center for Computational Logic


International Center for Computational Logic

EbD-rightmargin.png

                  

The International Center for Computational Logic (ICCL) is an interdisciplinary center of competence in research and teaching in the field of Computational Logic, with special emphasis on Algebra, Knowledge Representation, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003. The following research groups are associated with ICCL:


Members and Guests

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


Newest Publications

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
View full publication list