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


Neueste Publikationen

Lea Bauer, Jonas Karge
Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization
22nd nternational Conference on Practical Applications of Agents and Multi-Agent Systems, 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
Daniil Kosakin, Sergei Obiedkov, Ekaterina Rakhilina, Ivan Smirnov, Anastasia Vyrenkova, Ekaterina Zalivina
Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian
In Nicoletta Calzolari, Min-Yen Kan, Veronique Hoste, Alessandro Lenci, Sakriani Sakti, Nianwen Xue, eds., Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), 14240-14258, May 2024. ELRA and ICCL
Details Download
Komplette Publikationsliste anzeigen