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

People at the International Center for Computational Logic


Newest Publications

Stephan Mennicke
Non-Standard Semantics for Graph Query Languages
Phd thesis, TU Braunschweig, 2020/03/11
Details Download

Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers
Proceedings of the 12th ACM Conference on Web Science, WebSci 2020, Southampton, UK, July 7 - 10, 2020, to appear
Details Download

Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke
Detecting Synonymous Properties by Shared Data-driven Definitions
The Semantic Web - 17th International Conference, ESWC 2020, Virtual, June 2-4, 2020, Proceedings., to appear
Details Download

View full publication list