Abstraction for Non-Ground Answer Set Programs (Extended Abstract).

Zeynep G. Saribatur, Thomas Eiter, Peter Schller

Browse the full IJCAI paper archive.