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


Neueste Publikationen

Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Theory and Practice of Logic Programming, 24(3):505-532, May 2024
Details Download
Piotr Gorczyca, Hannes Straß
Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
In Nina Gierasimczuk, Jesse Heyninck, eds., Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning, to appear
Details Download
Franz Baader, Filippo De Bortoli
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability
SIGAPP Appl. Comput. Rev., 24(3):5-17, October 2024
Details
Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Komplette Publikationsliste anzeigen