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


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