Computational Logic Group
Computational Logic Groupiccl.inf.tu-dresden.de
The Computational Logic group is focusing on modeling and reasoning aspects of logic-based knowledge representation, including expressivity, decidability, and complexity analyses. They 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.
Director: Prof. Sebastian Rudolph