International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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:

Members and Guests

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

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