International Center for Computational Logic
From 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
Bartosz Bednarczyk
Database-Inspired Reasoning Problems in Description Logics With Path Expressions
Phd thesis, Technischen Universitat Dresden, 2024/06/25
Details Download
Lea Bauer, Jonas Karge
Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization
22nd International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS2024), to appear
Details
Luisa Herrmann, Richard Mörbitz
Global One-Counter Tree Automata
28th International Conference on Implementation and Application of Automata (CIAA 2024), to appear
Details
Piotr Ostropolski-Nalewaja, Tim Lyon
Decidability of Quasi-Dense Modal Logics
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), 2024. ACM
Details Download
NEWS
June 12, 2024ICLL 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
April 19, 2024ICCL Researchers win Best Paper Award at SAC 2024
April 18, 2024KBS group present student topics
... further results