Intendierte Lernergebnisse
The course introduces the theoretical background and practical application of Answer Set Programming (ASP), a popular logic programming language used for knowledge representation and reasoning.
Lehrmethodik
Classroom instructions mixed with practical exercises. The teaching language is English. (Exercises and the exam may also be answered in German.)
Inhalt/e
Logic programmingAnswer set programmingKnowledge representation and reasoningCombinatorial search and optimization
Erwartete Vorkenntnisse
Basic understanding of algorithms and data structures. A course in logic is a plus.
Literatur
Brewka, G., Eiter, T., Truszczynski, M.: Answer Set Programming at a Glance. Communications of the ACM 54(2): 92–103, 2011.Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Morgan and Claypool, 2012.Lifschitz, V.: Answer Set Programming. Springer, 2019.Eiter, T., Ianni, G., Krennwallner, T.: Answer Set Programming: A Primer. Reasoning Web – Semantics Technologies for Intelligent Systems: 40–110, Springer, 2009.Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic 7(3): 499–562, 2006.