Computational Logic

From International Center for Computational Logic
Toggle side column

Computational Logic

The Computational Logic (CL) group at the Computer Science department of the Technische Universität Dresden is focusing on modeling and reasoning aspects of logic-based knowledge representation, including expressivity, decidability, and complexity analyses. We are interested both in the mathematical and formal foundations of diverse knowledge representation paradigms (including description logics, answer set programming, and formal concept analysis) but also in their applications to areas like the Semantic Web, knowledge acquisition, argumentation, etc. Motivated by requirements encountered in these fields, we also conduct research in adjacent areas like database theory and computational linguistics.

Professors and Research Group Leaders


Prof. Sebastian Rudolph


JU2 1510 pp.jpg

Dipl.-Ing. Ramona Behling

Scientific Staff


M.Sc. Shima Asaadi


Faiq Miftakhul Falakh


Dr. Sarah Alice Gaggl


Dr. Dagmar Gromann


M.Sc. Lukas Schweizer

Former Members


Prof. Michael Thielscher

  • Former Professor
  • Computational Logic

Dr. Michaël Thomazo

  • Former Scholarship Holder
  • Computational Logic

Former Guests


Dr. Diana Troancă

  • Former Visiting Scientist
  • Computational Logic

Newest Publications

View full publication list

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justification for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
Proceedings of 2nd International Joint Conference on Rules and Reasoning, Lecture Notes in Computer Science, to appear. Springer

Christian Al-Rabaa, Sebastian Rudolph, Lukas Schweizer
Faceted Answer-Set Navigation
Proceedings of the 2nd International Joint Conference on Rules and Reasoning, Lecture Notes in Computer Science, to appear. Springer

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download

Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation
In Pietro Baroni; Dov Gabbay; Massimiliano Giacomin; Leendert van der Torre, eds., The IfCoLog Journal of Logics and their Applications; Special Issue Formal Argumentation, volume 4 of 8, 2623-2705. College Publications, September 2017
Details Download

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017.

Schnitzer Johannes, Gromann Dagmar
Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos)
Revista Nebrija, 11(23):124 - 145, November 2017

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner
In Nadeschda Nikitina, Dezhao Song, eds., ISWC 2017 Posters & Demonstration Track, October 2017
Details Download

Dagmar Gromann, Maria M. Hedblom
Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition
Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition (AIC), 2017

Jamie Macbeth, Dagmar Gromann, Maria M. Hedblom
Image Schemas and Conceptual Dependency Primitives: A Comparison
In Oliver Kutz, eds., Proceedings of the Joint Ontology Workshop (JOWO), 2017. CEUR Workshop Proceedings

Dagmar Gromann, Thierry Declerck
Hashtag Processing for Enhanced Clustering of Tweets
In Galia Angelova, Kalina Bontcheva, Ruslan Mitkov, Ivelina Nikolova, Irina Temnikova, eds., Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP), 277-283, 2017. RANLP

View full publication list


Suggested Thesis Topics

Completed Theses


A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation


Quantitative Logics and Automata


Wolpertinger is fixed-domain reasoner