International Center for Computational Logic

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


International Center for Computational Logic

                  

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 Karina AdlerPortrait Luisa HerrmannPortrait Martin DillerPortrait Simon RazniewskiPortrait Alex IvlievPortrait Maximilian MarxPortrait Piotr GorczycaPortrait Johannes LehmannPortrait Pascal KettmannPortrait Sascha KlüppelholzPortrait Franz BaaderPortrait Meghna BhadraPortrait Markus KrötzschPortrait Nikolai KäferPortrait Larry GonzálezPortrait Philipp HanischPortrait Calvin ChauPortrait Jonas KargePortrait Ramona BehlingPortrait Christel BaierPortrait Rajab AghamovPortrait Manuel BodirskyPortrait Sergei ObiedkovPortrait Sebastian RudolphPortrait Robin ZiemekPortrait Elisa BöhlPortrait Nils KüchenmeisterPortrait Timm SporkPortrait Kerstin AchtruthPortrait Filippo De BortoliPortrait Sarah Alice GagglPortrait Dörthe ArndtPortrait Kati DomannPortrait Hannes StraßPortrait Stefan BorgwardtPortrait Jakob PiribauerPortrait Stephan MennickePortrait Sandy SeifarthPortrait Tom FriesePortrait Andrea KühnPortrait Lukas GerlachPortrait Max KornPortrait Tim LyonPortrait Patrick WienhöftPortrait Matthias Meißner


Neueste Publikationen

Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
Grounding Rule-Based Argumentation Using Datalog
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 281–292, November 2025. IJCAI Organization
Details Download
Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Jakob Speck, Johannes K. Fichte
Interactive Exploration of Plan Spaces
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning — KR in the Wild (KR 2025), 599–609, November 2025. IJCAI Organization
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph
Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 366–375, 2025. IJCAI Organization
Details Download
Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
Fitting Ontologies and Constraints to Relational Structures
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 407–416, 2025. IJCAI Organization
Details Download
Komplette Publikationsliste anzeigen