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


Neueste Publikationen

Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns
When to Sample from Feature Diagrams?
Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS '25, 11-20, May 2025. Association for Computing Machinery
Details
Dörthe Arndt, Stephan Mennicke
Existential Notation3 Logic
Theory and Practice of Logic Programming, 1-36, June 2025
Details
Pascal Kettmann, Jesse Heyninck, Hannes Straß
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025, to appear
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 the Annual Meeting of the Association for Computational Linguistics (ACL Findings), to appear
Details
Komplette Publikationsliste anzeigen