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
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), to appear
Details Download
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 5309--5313, July 2018. International Joint Conferences on Artificial Intelligence
Details Download
Tomáš Masopust, Markus Krötzsch
Deciding Universality of ptNFAs is PSpace-Complete
In A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiri Wiedermann, eds., Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018), volume 10706 of LNCS, 413-427, 2018. Springer
Details Download
NEUIGKEITEN
15. Januar 201914. Oktober 2018Gruppe Wissensbasierte Systeme erhält Best Paper Award der International Semantic Web Conference
8. Juli 2018Open PhD/PostDoc Positions (4 years): Decidability in Logic-Based Knowledge Representation
26. Juni 2018Open PostDoc Position (5 years): Decidability in Logic-Based Knowledge Representation
27. November 2017Sebastian Rudolph erhält ERC Consolidator Grant
… weitere ErgebnisseVERANSTALTUNGEN
4. April 2019Konferenz: Third Workshop on Human Reasoning and Computational Logic
17. September 2019