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


Neueste Publikationen

Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Towards Propositional KLM-Style Defeasible Standpoint Logics
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Tim Lyon, Kees van Berkel
Proof Theory and Decision Procedures for Deontic STIT Logics
Journal of Artificial Intelligence Research, to appear
Details Download
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Technical Report, arXiv.org, volume arXiv:2408.08150, August 2024. To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2024
Details Download
Lukas Gerlach, Alex Ivliev, Julián Méndez, Simon Meusel, Raimund Dachselt, Markus Krötzsch
EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization
The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), to appear
Details Download
Komplette Publikationsliste anzeigen