International Center for Computational Logic
From International Center for Computational Logic
Research groups introduced:
Knowledge-aware Artificial Intelligence
Simon Razniewski
The KAAI group develops develops novel methods for generating, extracting and consolidating knowledge from, for and with text, language models (LLMs) and knowledge bases (KBs).
Further information can be found on the [https://scads.ai/about-us/… read on
International Center for Computational Logic
...explainability by design
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
- Knowledge-aware Artificial Intelligence
- Logic Programming and Argumentation
- Verification and formal quantitative Analysis
- Knowledge-Based Systems
Members and Guests
Newest Publications
Tim Lyon
On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
Proceedings of the Eleventh International Conference on Fundamentals of Software Engineering (FSEN), LNCS, to appear. Springer
Details
Tim Lyon
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
In Jörg Endrullis, Sylvain Schmitz, eds., Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025, volume 326 of LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Tim Lyon, Ian Shillito, Alwen Tiu
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
In Jörg Endrullis, Sylvain Schmitz, eds., Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025, volume 326 of LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
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
NEWS
November 20, 2024Jonas Karge Wins Student Best Paper Award at PRIMA24
November 5, 2024July 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!
... further resultsOur Projects
Our Partners
