@@ -83,18 +83,8 @@ Additionally every student prepares a report about their topic. The grades is ba
Topics are chosen individually with the instructors, typically at the first seminar slot.
Students are allowed and encouraged to make suggestions for their topic - anything is allowed that is scientific and broadly related to knowledge representation.
As a rough idea, some potential topics are given below.
More topics can be found at https://gl.kwarc.info/kwarc/thesis-projects/ (Those are thesis topics, but they are representative of the kind of topics that also work in the seminar.)
|Thema | Literatur | Schwierigkeitsgrad
|-----|-------|-----|-------|---------|
| Argumentation Logics | various topics||
| Weak Type Theory|[[1]](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)| easy but logic-based |
| MathLang| Kamareddine | |
| Formula Parsing | Ginev M.Sc., Pichler MSc., various AITP papers | easy |
| MitM Foundation | | medium |
| LF + Intersection Types | | advanced|
| McAllister-Foundation || with Voldemort's Theorem (difficult) |
Some topics can be found at https://gl.kwarc.info/kwarc/thesis-projects/ (Those are thesis topics, but they are representative of the kind of topics that also work in the seminar.)
In general, all papers from the IJCAR, CADE, ITP, LICS, CSL, FSCD, CICM, ICMS, KR, ISWC conferences and related workshops of the last few years are acceptable.
