Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities

Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa. Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. In Maria Fox, David Poole, editors, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. pages 303-308, AAAI Press, 2010. [doi]

Abstract

Abstract is missing.