TC3: Answer Set Solving in Practice
Tutorialists: Martin Gebser, Torsten Schaub
Website: http://www.cs.uni-potsdam.de/~torsten/ijcai13tutorial/
Sunday, August 4th, morning
The 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 solving technology, modeling language and methodology, while practically illustrating the overall solving process via existing applications. What makes this tutorial di_erent from others on ASP is its focus on putting ASP at work. This comprises a good understanding of ASP solving technology and systems as well as basic skills in ASP's modeling capacities.