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


Neueste Publikationen

Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy (Extended Abstract)
KR Recently Published Research Track (KR 2022), August 2022
Details
Ridhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Gorczyca, Markus Hecher
A Practical Account into Counting Dung’s Extensions by Dynamic Programming
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract)
Technical Communication Proceeding of the 38th International Conference on Logic Programming (ICLP 2022), to appear
Details
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details
Komplette Publikationsliste anzeigen