Dynamic Programming Algorithms as Products of Weighted Logic Programs.
Shay B. CohenRobert J. SimmonsNoah A. SmithPublished in: ICLP (2008)
Keyphrases
- logic programs
- dynamic programming algorithms
- logic programming
- dynamic programming
- answer sets
- stable models
- answer set programming
- partial deduction
- fixpoint
- computational properties
- normal logic programs
- prolog programs
- optimal policy
- stable model semantics
- strong equivalence
- np complete problems
- loop formulas
- term rewriting systems
- learning algorithm
- orders of magnitude
- default logic
- heuristic search
- least squares
- knowledge base