🇿

Joaquın Arias Gopal Gupta Manuel Carro

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