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
Shima Asaadi, Saif M. Mohammad, Svetlana Kiritchenko
Big BiRD: A Large, Fine-Grained, Bigram Relatedness Dataset for Examining Semantic Composition
Proceedings of the Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL), to appear
Details
Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
On the Complexity of Graded Modal Logics with Converse.
JELIA 2019, to appear
Details
Bartosz Bednarczyk, Stéphane Demri
Why propositional quantification makes modal logics on trees robustly hard ?
LICS 2019, to appear
Details
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 Ergebnisse
