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


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