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

Sebastian2016.png

Prof. Sebastian Rudolph

Management

JU2 1510 pp.jpg

Dipl.-Ing. Ramona Behling

Scientific Staff

Asaadi3.jpg

M.Sc. Shima Asaadi

Ff1.jpg

Faiq Miftakhul Falakh

Gaggl.jpg

Dr. Sarah Alice Gaggl

DagmarFoto.png

Dr. Dagmar Gromann

Schweizer-profile.png

M.Sc. Lukas Schweizer

Former Members

Thielscher.jpg

Prof. Michael Thielscher

  • Former Professor
  • Computational Logic
Thomazo.JPG

Dr. Michaël Thomazo

  • Former Scholarship Holder
  • Computational Logic

Former Guests

Diana.JPG

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
Details

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
Details

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. CEUR-WS.org
Details

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
Details

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
Details

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
Details

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
Details

View full publication list

Courses


Suggested Thesis Topics


Completed Theses

DeciGUT-logo-final.png

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

Quantla-logo.png

QuantLA
Quantitative Logics and Automata

Wolpert-github.png

Wolpertinger
Wolpertinger is fixed-domain reasoner