International Center for Computational Logic
International Center for Computational Logic
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:
- Algebra and Discrete Structures
- Automata Theory
- Computational Logic
- Logic Programming and Argumentation
- Verification and formal quantitative Analysis
- Knowledge-Based Systems
Members and Guests
Newest Publications
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
Towards Propositional KLM-Style Defeasible Standpoint Logics
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Proof Theory and Decision Procedures for Deontic STIT Logics
Journal of Artificial Intelligence Research, to appear
Details Download
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
NEWS
July 1, 2024CACM blog article on work-family balance in academia by ICCL researcher Luisa Herrmann
June 13, 2024Markus Krötzsch Wins 2024 Teaching Award
June 12, 2024ICCL researchers participate in Rewe Challenge 2024!
June 6, 2024HSCC 2024 Awards Best Paper to ICCL-Researchers
June 3, 2024Anouk Michelle Oudshoorn and Nick Leisegang visit the Computational Logic Research Group
... further resultsEVENTS
October 10, 2024Talk: Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
October 17, 2024