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


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