International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


International Center for Computational Logic

EbD-rightmargin.png

                  

The International Center for Computational Logic (ICCL) is an interdisciplinary center of competence in research and teaching in the field of Computational Logic, with special emphasis on Algebra, Knowledge Representation, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003. The following research groups are associated with ICCL:


Members and Guests

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


Newest Publications

Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download
Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Logic Programming and Nonmonotonic Reasoning, volume 15245 of Lecture Notes in Computer Science, to appear. Springer
Details Download
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), to appear
Details Download
Ringo Baumann, Hannes Straß
Consequence Operators for Characterization Logics – The Case of Abstract Argumentation
In Gopal Gupta and Carmine Dodaro and Maria Vanina Martínez, eds., Proceedings of the Seventeenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), LNCS, to appear. Springer
Details Download
View full publication list