Goal-directed execution of answer set programs.

Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta

Browse the full PPDP paper archive.