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


Newest Publications

Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems, 2024
Details Download
Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Towards Propositional KLM-Style Defeasible Standpoint Logics
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Tim Lyon, Kees van Berkel
Proof Theory and Decision Procedures for Deontic STIT Logics
Journal of Artificial Intelligence Research, to appear
Details Download
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Technical Report, arXiv.org, volume arXiv:2408.08150, August 2024. To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2024
Details Download
View full publication list