International Center for Computational Logic
Aus International Center for Computational Logic
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:
- Algebra und Diskrete Strukturen
- Automatentheorie
- Computational Logic
- Logische Programmierung und Argumentation
- Verifikation und formale quantitative Analyse
- Wissensbasierte Systeme
Mitarbeiter und Gäste
Neueste Publikationen
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
Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems, 2024
Details Download
NEUIGKEITEN
1. Juli 202413. Juni 2024Markus Krötzsch erhält den Lehrpreis 2024
12. Juni 2024ICCL-Forscher:innen nehmen an Rewe Team Challenge 2024 teil
6. Juni 2024Forschende der ICCL mit Best Paper Award ausgezeichnet
3. Juni 2024Forschungsgruppe Computational Logic begrüßt Anouk Michelle Oudshoorn und Nick Leisegang
… weitere Ergebnisse