slides and source for answer set programming session at spa 2013
Marina de Vos and I ran a session on answer set programming at the SPA 2013 conference.
Download the code and the slides
Download just the slides
The code contains a git repository. In the answer_sheet directory you can find in small steps the painting by numbers exercises we ran, as well as the solution to the tweety exercise and the graph coloring exercise that we did. We recommend to persist as long as possible before peeking. The final sample also shows how to calculate the minimum number of colors, so once you’re done with coloring the map, have a play with finding the minimal number of colors.