International Center for Computational Logic

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


International Center for Computational Logic

The International Center for Computational Logic (ICCL) is an interdisciplinary center of competence in research and teaching in the field of Computational Logic, with special emphasis on Algebra, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003.

This is the new website of ICCL, first published in October 2014. Some previous content has not been moved yet and can be found under http://computational-logic.org/. The following research groups are already present here on the new site:


Members and Guests

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

People at the International Center for Computational Logic


Newest Publications

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

Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics
In Abhaya C. Nayak, Alok Sharma, eds., PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I, volume 11670 of Lecture Notes in Computer Science, 486--499, August 2019. Springer
Details Download

Markus Krötzsch
Working with Knowledge Graphs
Course at EDBT Summer School 2019, Lyon, France, 2019
Details Download

View full publication list