Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.

Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran

Browse the full KR paper archive.