Sciweavers

3 search results - page 1 / 1
» Versatile and declarative dynamic programming using pair alg...
Sort
View
CPM
2000
Springer
143views Combinatorics» more  CPM 2000»
13 years 10 months ago
Explaining and Controlling Ambiguity in Dynamic Programming
Abstract. Ambiguity in dynamic programming arises from two independent sources, the non-uniqueness of optimal solutions and the particular recursion scheme by which the search spac...
Robert Giegerich
TPLP
2002
90views more  TPLP 2002»
13 years 5 months ago
Properties of input-consuming derivations
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...
Annalisa Bossi, Sandro Etalle, Sabina Rossi