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 Elisa BöhlPortrait Dominik RusovacPortrait Manuel BodirskyPortrait Christel BaierPortrait Piotr GorczycaPortrait Bartosz BednarczykPortrait Sebastian RudolphPortrait Maximilian MarxPortrait Karina AdlerPortrait Kerstin AchtruthPortrait Stefan EllmauthalerPortrait Luisa HerrmannPortrait Lukas GerlachPortrait Piotr Ostropolski-NalewajaPortrait Pascal KettmannPortrait Philipp HanischPortrait Ramona BehlingPortrait Jonas KargePortrait Sarah Alice GagglPortrait Simon KnäuerPortrait Markus KrötzschPortrait Dörthe ArndtPortrait Rajab AghamovPortrait Sergei ObiedkovPortrait Knut BerlingPortrait Kati DomannPortrait Larry GonzálezPortrait Matthias MeißnerPortrait Stefan BorgwardtPortrait Tim LyonPortrait Alex IvlievPortrait Stephan MennickePortrait Hannes StraßPortrait Martin DillerPortrait Filippo De BortoliPortrait Franz BaaderPortrait Sandy SeifarthPortrait Sascha Klüppelholz


Neueste Publikationen

Tim Lyon, Jonas Karge
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024. ijcai.org
Details Download
Piotr Ostropolski-Nalewaja, Tim Lyon
Decidability of Quasi-Dense Modal Logics
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), 2024. ACM
Details Download
Bartosz Bednarczyk
Data Complexity in Expressive Description Logics With Path Expressions
Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024, to appear. ijcai.org
Details Download
Bartosz Bednarczyk
Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features.
Logical Methods in Computer Science, 20(2):7:1–7:31, May 2024
Details Download
Komplette Publikationsliste anzeigen