TUD Logo

TUD Home » ... » Artificial Intelligence » Computational Logic » Home

Computational Logic

Computational Logic Group

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.

The group is involved in the teaching activities of the Computer Science department as well as in the MSc Program in Computational Logic.

Last modified: 3rd Mar 2015, 10.20 AM
Author: Webmaster

Ramona Behling

Phone: 463 38516
Fax: 463 32827
e-mail contact form