Replacements in Non-Ground Answer-Set Programming.

Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran

Browse the full KR paper archive.