Answer Set Solving in Practice: Advanced techniques
This full-day tutorial presents a practical introduction to Answer Set Programming (ASP), aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP’s modeling language and methodology, grounding and solving technology, and finally details (Python-based) control techniques needed for embedding ASP in complex software environments.