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


Newest Publications

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
Lucía Gómez Álvarez, Sebastian Rudolph
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 383–393, 2024. IJCAI Organization
Details Download
Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
In Pierre Marquis,Magdalena Ortiz,Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 743-754, November 2024. IJCAI Organization
Details Download
View full publication list