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

Newest Publications

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
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules
Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence, to appear
Details Download
View full publication list