Sketched Answer Set Programming.

Sergey Paramonov, Christian Bessiere, Anton Dries, Luc De Raedt

Browse the full ICTAI paper archive.