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 Hannes StraßPortrait Sebastian RudolphPortrait Anni-Yasmin TurhanPortrait Lukas GerlachPortrait Sascha KlüppelholzPortrait Stephan MennickePortrait Ali ElhalawatiPortrait Dörthe ArndtPortrait Karina AdlerPortrait Dominik RusovacPortrait Maximilian MarxPortrait Kati DomannPortrait Franz BaaderPortrait Lucía Gómez ÁlvarezPortrait Tim LyonPortrait Manuel BodirskyPortrait Jonas KargePortrait Simon KnäuerPortrait Piotr GorczycaPortrait Satyadharma TirtarasaPortrait Ramona BehlingPortrait Bartosz BednarczykPortrait Martin DillerPortrait Patrick KoopmannPortrait Kerstin AchtruthPortrait Piotr Ostropolski-NalewajaPortrait Stefan BorgwardtPortrait Thomas FellerPortrait Christel BaierPortrait Irina DragostePortrait Faiq Miftakhul FalakhPortrait Sarah Alice GagglPortrait Elisa BöhlPortrait Markus KrötzschPortrait Larry GonzálezPortrait Alex IvlievPortrait Stefan EllmauthalerPortrait Sandy SeifarthPortrait Luisa Herrmann


Newest Publications

Jonas Karge, Sebastian Rudolph
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, to appear
Details Download
Bartosz Bednarczyk, Oskar Fiuk
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
Technical Report, ICCL, May 2022. Technical Report
Details Download
Tim Lyon, Lucía Gómez Álvarez
Automating Reasoning with Standpoint Logic via Nested Sequents.
Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR'22), to appear
Details Download
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In Dana Fisman, Grigore Rosu, eds., Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), volume 13243 of LNCS, 480-501, 2022. Springer
Details Download
View full publication list