Update swuv.md

courses/swuv.md

@@ -62,21 +62,16 @@ Zur groben Orientierung ist hier eine repräsentative Auswahl von nicht belegten
 
 |Thema | Literatur | Schwierigkeitsgrad | vergeben? | Termin|
 |-----|-------|-----|-------|---------|
-| OpenMath & SCSCP | [[1]](http://openmath.github.io/standard) | recht einfach | |
-| LF-Einführung ||relativ einfach, aber Logik-lastig| | |
-| MitM Foundation | | Formalisierung | | |
-| Argumentation Logics | verschiedene Themen||
 | Distributed Ontology Language || Semantic Web needs Theory Graphs||
+| Argumentation Logics | various topics||
 | Weak Type Theory|[[1]](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)|relativ einfach, aber Logik-lastig| | |
 | MathLang| Kamareddine | | |
-| Formula Parsing | Ginev M.Sc. | relativ einfach | |
-| Math Parsing in Concise | Pichler M.Sc. | relativ einfach | |
-| MitM-based integration of CAS | | | Tom Wiesing|
-| Isabelle Type Classes and Locales| | logik-lastig| |
-| LF + Interection Types | | fortgeschritten| |
-| McAllister-Foundation || mit Voldemort's Theorem (schwer) |||
+| Formula Parsing | Ginev M.Sc., Pichler MSc., various AITP papers | relativ einfach | |
+| Knowledger Representation/AI for Hanabi | google | medium | | 
 | Functional programming with bananas, lenses, envelopes and barbed wire|  [[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)|functional programming|
-|"Formal Semantics of Programming Languages"| (Mosses)||
+| MitM Foundation | | medium | | |
+| LF + Intersection Types | | advanced| |
+| McAllister-Foundation || with Voldemort's Theorem (difficult) |||
 
 Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-Seminar-Wissensrepraesentation-und-verarbeitung)
 statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns,