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


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