International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


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:


Mitarbeiter und Gäste

Portrait Emmanuelle DietzPortrait David CarralPortrait Maximilian MarxPortrait Bartosz BednarczykPortrait Kati DomannPortrait Christel BaierPortrait Tobias PhilippPortrait Sylvia WünschPortrait Shima AsaadiPortrait Lukas SchweizerPortrait Alexander ShmelkinPortrait Manuel BodirskyPortrait Ilja ShmelkinPortrait Adrian BielefeldtPortrait Satyadharma TirtarasaPortrait Sarah Alice GagglPortrait Johannes FichtePortrait Alexander KrausePortrait Franz BaaderPortrait Thomas FellerPortrait Philipp HanischPortrait Sandy SeifarthPortrait Stefan BorgwardtPortrait Anni-Yasmin TurhanPortrait Martin DillerPortrait Christoph WernhardPortrait Sebastian RudolphPortrait Markus KrötzschPortrait Kerstin AchtruthPortrait Ramona BehlingPortrait Faiq Miftakhul FalakhPortrait Patrick KoopmannPortrait Larry GonzálezPortrait Sascha KlüppelholzPortrait Andreas EckePortrait Irina DragostePortrait Christian LewePortrait Steffen Hölldobler

Personen beim International Center for Computational Logic


Neueste Publikationen

David Carral, Irina Dragoste, Larry González, Ceriel Jacobs, Markus Krötzsch, Jacopo Urbani
VLog: A Rule Engine for Knowledge Graphs
In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek, Isabel Cruz, Aidan Hogan, Jie Song, Maxime Lefrançois, Fabien Gandon, eds., Proceedings of the 18th International Semantic Web Conference (ISWC'19), LNCS, to appear. Springer
Details Download

Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
In Diana Cristea, Florence Le Ber, Baris Sertkaya, eds., Proceedings of the 15th International Conference on Formal Concept Analysis (ICFCA'19), volume 11511 of LNCS, 315--323, June 2019. Springer
Details Download

Markus Krötzsch
Too Much Information: Can AI Cope With Modern Knowledge Graphs?
In Diana Cristea, Florence Le Ber, Baris Sertkaya, eds., Proceedings of the 15th International Conference on Formal Concept Analysis (ICFCA 2019), volume 11511 of LNCS, 17--31, 2019. Springer
Details Download

Komplette Publikationsliste anzeigen