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

People at the International Center for Computational Logic


Newest Publications

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

David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19), to appear. International Joint Conferences on Artificial Intelligence
Details Download

Sebastian Rudolph
Künstliche Intelligenz, quo vadis?
Jahrbuch des Verbandes der Anbieter von Telekommunikations- und Mehrwertdiensten (VATM), April 2019
Details Download

View full publication list