A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs.

Joaqun Arias, Gopal Gupta, Manuel Carro

Browse the full ICLP paper archive.