The aim of the course is to analyze and present scientific work in the area of theoretical computer science. In particular, we will study advanced algorithms with focus on Answer Set Programming.
The subject of the course is abstract solvers, i.e. a formal way for describing solving algorithms.
54 h Vorbereitung:Lesen von ausgewählten Forschungsartikeln bzw. Buchkapiteln 21 h Besprechung der Forschungsartikel bzw. Buchkapitel (14 Termine) --------------------------------------------------------------------------------
75 h = 3 Ects
Work on selected research articles or book chapters
Anmeldung im TISS