International Center for Computational Logic

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


International Center for Computational Logic

EbD-rightmargin.png

                  

Das International Center for Computational Logic (ICCL) ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Wissensrepräsentation, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet. Die folgenden Forschungsgruppen sind mit dem ICCL assoziiert:


Mitarbeiter und Gäste

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


Neueste Publikationen

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
Komplette Publikationsliste anzeigen