Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities.

Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa

Browse the full AAAI paper archive.