The KWARC group offers guided research projects in Artificial Intelligence either at the Bachelor's level or the Master's level.
The topics of these projects are individually tailored to the student's interest and the projects themselves will be supervised closely by senior KWARC members.
The KWARC group (Wissensrepräsentation und Verarbeitung) conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management.
We extend techniques from formal methods so that they can be used in settings where formalization is either infeasible or too costly.
We concentrate on developing techniques for marking up the structural semantics in technical documents.
This level of markup allows for offering interesting knowledge management services without forcing theauthor to formalize the document contents.
In contrast to courses with fixed topics, project topics are defined individually.
See the [KWARC home page](http://kwarc.info) for a general introduction to the research and [the KWARC research topics list](http://gl.kwarc.info/kwarc/thesis-projects) for expemplary topics.
See the [KWARC research page](/research/) for a general introduction to the research and [the KWARC research topics list](http://gl.kwarc.info/kwarc/thesis-projects) for expemplary topics.
