This lecture provides students with the ability to apply knowledge representation and reasoning in practical applications.
Focused on Answer-Set Programming (ASP) students learn state-of-the-art techniques and methods to address industrial-sized applications and deal with typical issues arising in practice.

- A quick introduction to Answer-Set Programming (ASP).
- Methodology and workflow for ASP in practical applications.
- Overview of ASP tools and solvers, including strengths and weaknesses.
- State-of-the-art solving techniques to tackle industrial-sized applications (lazy-grounding, domain-specific heuristics, etc).
- Methods for minimizing problem complexity (syntactic restriction, abstraction, symmetry-breaking, order imposing, etc).
- Further (non-technical) problems to expect in practice.
- Application of learned knowledge in a small, industrial application project (praktisches Projekt) on real data from industry.

Didaktisches Vorgehen:
Frontalvortrag mit Übungen und praktischem Projekt.


ECTS breakdown:
3.0 ECTS = 75h

20h Vorlesungen
16h Übungen
25h Praktisches Projekt + Präsentation
14h Mündliche Prüfung mit Vorbereitung

Übungen (20%), Umsetzung praktisches Projekt und Abschlusspräsentation (40%), mündliche Prüfung (40%).

Experience in knowledge representation and ASP is advantageous but not strictly necessary for successful participation.