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

Personen beim International Center for Computational Logic


Neueste Publikationen

Bartosz Bednarczyk, Stéphane Demri
Why propositional quantification makes modal logics on trees robustly hard ?
LIDS 2019, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 1--13, June 2019. IEEE
Details

Bernhard Ganter, Sebastian Rudolph, Gerd Stumme
Explaining Data with Formal Concept Analysis
In Markus Krötzsch, Daria Stepanova, eds., Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures., volume 11810 of LNCS, 153-195, 2019. Springer
Details Download

Markus Krötzsch, Daria Stepanova
Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School
Volume 11810 of LNCS, 2019. Springer
Details

Komplette Publikationsliste anzeigen