Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000665740> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2000665740 endingPage "333" @default.
- W2000665740 startingPage "325" @default.
- W2000665740 abstract "Dynamic programming has been used since the late 1950s to solve numerical problems that have natural recursive formulations that succumb to divide-and-conquer strategies. However, to improve the efficiency of the divide-and-conquer strategy, conventional methods of dynamic programming use intricate and imperative tabular techniques that are entirely excluded from the purely relational/functional world of logic programming. This is ironic when one considers that dynamic programming is often used for problems that can be specified elegantly in logic, abstracting away from considerations of table storage and access. This paper describes a method by which problems normally solved by dynamic programming can be expressed in Horn clauses, which are then used together with a goal clause to construct dataflow graphs with the same efficient computational properties as a dynamic-programming solution. The method is implemented, and takes the form of a compiler from Horn clauses to dataflow graphs. The method is demonstrated on two typical problems: the series of probabilities and the optimal association of matrix chain products. A class of problems, which includes the integer maximal knapsack problem, is identified to which the method is not applicable." @default.
- W2000665740 created "2016-06-24" @default.
- W2000665740 creator A5089443542 @default.
- W2000665740 date "1992-04-01" @default.
- W2000665740 modified "2023-10-18" @default.
- W2000665740 title "Logic-programming specification and execution of dynamic-programming problems" @default.
- W2000665740 cites W1655990431 @default.
- W2000665740 cites W173628438 @default.
- W2000665740 cites W1976811743 @default.
- W2000665740 cites W2039504742 @default.
- W2000665740 cites W2520237150 @default.
- W2000665740 cites W2753176400 @default.
- W2000665740 cites W3150041682 @default.
- W2000665740 doi "https://doi.org/10.1016/0743-1066(92)90006-o" @default.
- W2000665740 hasPublicationYear "1992" @default.
- W2000665740 type Work @default.
- W2000665740 sameAs 2000665740 @default.
- W2000665740 citedByCount "0" @default.
- W2000665740 crossrefType "journal-article" @default.
- W2000665740 hasAuthorship W2000665740A5089443542 @default.
- W2000665740 hasBestOaLocation W20006657401 @default.
- W2000665740 hasConcept C11413529 @default.
- W2000665740 hasConcept C128838566 @default.
- W2000665740 hasConcept C146206909 @default.
- W2000665740 hasConcept C154945302 @default.
- W2000665740 hasConcept C169590947 @default.
- W2000665740 hasConcept C189790780 @default.
- W2000665740 hasConcept C199360897 @default.
- W2000665740 hasConcept C2777212361 @default.
- W2000665740 hasConcept C34165917 @default.
- W2000665740 hasConcept C37404715 @default.
- W2000665740 hasConcept C41008148 @default.
- W2000665740 hasConcept C50033165 @default.
- W2000665740 hasConcept C71559656 @default.
- W2000665740 hasConcept C80444323 @default.
- W2000665740 hasConcept C96315309 @default.
- W2000665740 hasConcept C96324660 @default.
- W2000665740 hasConceptScore W2000665740C11413529 @default.
- W2000665740 hasConceptScore W2000665740C128838566 @default.
- W2000665740 hasConceptScore W2000665740C146206909 @default.
- W2000665740 hasConceptScore W2000665740C154945302 @default.
- W2000665740 hasConceptScore W2000665740C169590947 @default.
- W2000665740 hasConceptScore W2000665740C189790780 @default.
- W2000665740 hasConceptScore W2000665740C199360897 @default.
- W2000665740 hasConceptScore W2000665740C2777212361 @default.
- W2000665740 hasConceptScore W2000665740C34165917 @default.
- W2000665740 hasConceptScore W2000665740C37404715 @default.
- W2000665740 hasConceptScore W2000665740C41008148 @default.
- W2000665740 hasConceptScore W2000665740C50033165 @default.
- W2000665740 hasConceptScore W2000665740C71559656 @default.
- W2000665740 hasConceptScore W2000665740C80444323 @default.
- W2000665740 hasConceptScore W2000665740C96315309 @default.
- W2000665740 hasConceptScore W2000665740C96324660 @default.
- W2000665740 hasIssue "4" @default.
- W2000665740 hasLocation W20006657401 @default.
- W2000665740 hasOpenAccess W2000665740 @default.
- W2000665740 hasPrimaryLocation W20006657401 @default.
- W2000665740 hasRelatedWork W124876985 @default.
- W2000665740 hasRelatedWork W2000665740 @default.
- W2000665740 hasRelatedWork W2161156675 @default.
- W2000665740 hasRelatedWork W2348463574 @default.
- W2000665740 hasRelatedWork W2540089100 @default.
- W2000665740 hasRelatedWork W2542995117 @default.
- W2000665740 hasRelatedWork W2553706208 @default.
- W2000665740 hasRelatedWork W4248411942 @default.
- W2000665740 hasRelatedWork W574022443 @default.
- W2000665740 hasRelatedWork W648195185 @default.
- W2000665740 hasVolume "12" @default.
- W2000665740 isParatext "false" @default.
- W2000665740 isRetracted "false" @default.
- W2000665740 magId "2000665740" @default.
- W2000665740 workType "article" @default.