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


Neueste Publikationen

Bartosz Bednarczyk
Database-Inspired Reasoning Problems in Description Logics With Path Expressions
Phd thesis, Technischen Universitat Dresden, 2024/06/25
Details Download
Lea Bauer, Jonas Karge
Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization
22nd International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS2024), to appear
Details
Luisa Herrmann, Richard Mörbitz
Global One-Counter Tree Automata
28th International Conference on Implementation and Application of Automata (CIAA 2024), to appear
Details
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
Komplette Publikationsliste anzeigen