International Center for Computational Logic

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


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


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