International Center for Computational Logic
International Center for Computational Logic
Das International Center for Computational Logic (ICCL) is 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
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
Technical Report, TU Dresden, 2018
Details Download
Markus Krötzsch
Getting the most out of Wikidata
Invited presentation at Wiki Workshop 2018, 2018
Details Download
Adrian Bielefeldt, Julius Gonsior, Markus Krötzsch
Practical Linked Data Access via SPARQL: The Case of Wikidata
Proceedings of the WWW2018 Workshop on Linked Data on the Web (LDOW-18), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download
NEUIGKEITEN
24. Januar 201827. November 2017Sebastian Rudolph erhält ERC Consolidator Grant
7. September 2017Best Paper Award für Sebastian Rudolph und Lukas Schweizer
26. August 2017Dresdner Gutachter bei führender KI-Konferenz ausgezeichnet
25. August 2017Sebastian Rudolph gewinnt Angry-Birds-Wettbewerb
… weitere ErgebnisseVERANSTALTUNGEN
25. Mai 2018Vortrag: A proof of CSP Dichotomy conjecture
22. Juni 2018Vortrag: Provenance and Probabilities in Relational Databases
