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

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