Wissenschaftliches Arbeiten im Bereich der Logik (insb. schriftliche Ausarbeitung und Präsentation eines Themas)
Anhand des Tagungsbandes der "13th International Conference on Principles of Knowledge Representation and Reasoning" - siehe http://www.aaai.org/ocs/index.php/KR/KR12/schedConf/presentations bzw. http://www.informatik.uni-trier.de/~ley/db/conf/kr/kr2012.html - soll ein Überblick über aktuelle Themen der Wissensrepräsentation gewonnen werden.
Die LVA kann wahlweise in Deutsch oder Englisch absolviert werden.
10h Talks
65h Preparation of presentation
Nicht erforderlich