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


Newest Publications

Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules
Proceedings of the 26th International Conference on Database Theory (ICDT 2023), to appear
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato, eds., Proceedings of the 21st International Semantic Web Conference (ISWC 22), LNCS, to appear. Springer
Details Download
Adam Richard-Bollans, Anthony Cohn, Lucía Gómez Álvarez
Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions
Cognitive Systems Research, to appear
Details
Tim Lyon, Lucía Gómez Álvarez
Automating Reasoning with Standpoint Logic via Nested Sequents
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR'22), 2022. IJCAI Organization
Details Download
View full publication list