Guest Lecture on Answer Set Programming

I have been kindly asked to give guest lectures on answer set programming to undergraduates at both the University of Bath and the University of Potsdam. Slides for both of these talks are available here. The example su-doku program used in the University of Bath lecture as also available.