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 9 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 4 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