Answer Set Programming for the Semantic Web
Click here to enter
http://www.mat.unical.it/asptut