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, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet.
Dies ist die neue Website des ICCL, die im Oktober 2014 veröffentlicht wurde. Inhalte, die bisher noch nicht umgezogen sind, finden sich auf der früheren Site unter http://computational-logic.org/. Die folgenden Forschungsgruppen sind bereits hier auf der neuen Site vertreten:
- Automatentheorie
- Computational Logic
- Verifikation und formale quantitative Analyse
- Wissensbasierte Systeme
- Wissensverarbeitung
Mitarbeiter und Gäste
Personen beim International Center for Computational Logic
Neueste Publikationen
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the second international competition on computational models of argumentation
Artificial Intelligence, 279, February 2020
Details Download
Bartosz Bednarczyk
One-Variable Logic Meets Presburger Arithmetic
Theoretical Computer Science, 802(141-146), January 2020
Details
David Carral, Jacopo Urbani
Checking Chase Termination over Ontologies of Existential Rules with Equality
Proceedings of the 34rd Conference on Artificial Intelligence (AAAI 2020), February 2020
Details Download
NEUIGKEITEN
3. Dezember 201930. Oktober 2019Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference
16. Oktober 2019Neue Mitarbeiterin: Dipl.-Inf Elisa Böhl
25. September 2019Reasoning Web Summer School 2019
21. September 2019Vice World Champion in the AI Birds Challenge!
… weitere ErgebnisseVERANSTALTUNGEN
12. Dezember 2019Vortrag: Standpoint logic: a multi-modal logic for reasoning within semantic indeterminacy
19. Dezember 2019Vortrag: SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability