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


Neueste Publikationen

Markus Krötzsch
Modern Datalog: Concepts, Methods, Applications
In Alessandro Artale, Meghyn Bienvenu, Yazmı́n Ibáñez Garcı́a, Filip Murlak, eds., Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025), volume 138 of OASIcs, 2025. Dagstuhl Publishing
Details Download
Valentin Knappich, Anna Hätty, Simon Razniewski, Annemarie Friedrich
PAP2PAT: Benchmarking Outline-Guided Long-Text Patent Generation with Patent-Paper Pairs
Findings of ACL, 2025
Details
Yu Yao, Salil Bhatnagar, Markus Mazzola, Vasileios Belagiannis, Igor Gilitschenski, Luigi Palmieri, Simon Razniewski, Marcel Hallgarten
AGENTS-LLM: Augmentative GENeration of Challenging Traffic Scenarios with an Agentic LLM Framework
IROS, 2025
Details
Yujia Hu, Tuan-Phong Nguyen, Shrestha Ghosh, Moritz Müller, Simon Razniewski
Introducing GPTKB to the Semantic Web
ISWC, 2025
Details
Komplette Publikationsliste anzeigen