A Dynamic-Programming Based ASP-Solver

Abstract. We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs from standard ASP-solvers which implement techniques stemming from SAT or CSP.

• Type: Journal
• Year: 2010
• Where: JELIA
• Authors: Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
• Keywords: Artificial Intelligence, Dynamic Programming, JELIA 2010, Propositional Answer-set Programming