Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890638605> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2890638605 abstract "This paper describes how XSB combines top-down and bottom-up computation through the mechanisms of variant tabling and subsumptive tabling with abstraction, respectively. It is well known that top-down evaluation of logical rules in Prolog has a procedural interpretation as recursive procedure invocation (Kowalski 1986). Tabling adds the intuition of short-circuiting redundant computations (Warren 1992). This paper shows how to introduce into tabled logic program evaluation a bottom-up component, whose procedural intuition is the initialization of a data structure, in which a relation is initially computed and filled, on first demand, and then used throughout the remainder of a larger computation for efficient lookup. This allows many Prolog programs to be expressed fully declaratively, programs which formerly required procedural features, such as assert, to be made efficient." @default.
- W2890638605 created "2018-09-27" @default.
- W2890638605 creator A5055338447 @default.
- W2890638605 date "2018-05-31" @default.
- W2890638605 modified "2023-09-23" @default.
- W2890638605 title "Top-down and Bottom-up Evaluation Procedurally Integrated" @default.
- W2890638605 doi "https://doi.org/10.29007/94bv" @default.
- W2890638605 hasPublicationYear "2018" @default.
- W2890638605 type Work @default.
- W2890638605 sameAs 2890638605 @default.
- W2890638605 citedByCount "0" @default.
- W2890638605 crossrefType "report-series" @default.
- W2890638605 hasAuthorship W2890638605A5055338447 @default.
- W2890638605 hasBestOaLocation W28906386051 @default.
- W2890638605 hasConcept C111472728 @default.
- W2890638605 hasConcept C114466953 @default.
- W2890638605 hasConcept C128838566 @default.
- W2890638605 hasConcept C132010649 @default.
- W2890638605 hasConcept C138885662 @default.
- W2890638605 hasConcept C189790780 @default.
- W2890638605 hasConcept C199360897 @default.
- W2890638605 hasConcept C41008148 @default.
- W2890638605 hasConcept C45374587 @default.
- W2890638605 hasConcept C80444323 @default.
- W2890638605 hasConcept C81721847 @default.
- W2890638605 hasConceptScore W2890638605C111472728 @default.
- W2890638605 hasConceptScore W2890638605C114466953 @default.
- W2890638605 hasConceptScore W2890638605C128838566 @default.
- W2890638605 hasConceptScore W2890638605C132010649 @default.
- W2890638605 hasConceptScore W2890638605C138885662 @default.
- W2890638605 hasConceptScore W2890638605C189790780 @default.
- W2890638605 hasConceptScore W2890638605C199360897 @default.
- W2890638605 hasConceptScore W2890638605C41008148 @default.
- W2890638605 hasConceptScore W2890638605C45374587 @default.
- W2890638605 hasConceptScore W2890638605C80444323 @default.
- W2890638605 hasConceptScore W2890638605C81721847 @default.
- W2890638605 hasLocation W28906386051 @default.
- W2890638605 hasLocation W28906386052 @default.
- W2890638605 hasOpenAccess W2890638605 @default.
- W2890638605 hasPrimaryLocation W28906386051 @default.
- W2890638605 hasRelatedWork W1505565262 @default.
- W2890638605 hasRelatedWork W1569467303 @default.
- W2890638605 hasRelatedWork W1690472830 @default.
- W2890638605 hasRelatedWork W1772624392 @default.
- W2890638605 hasRelatedWork W1824790454 @default.
- W2890638605 hasRelatedWork W1974583144 @default.
- W2890638605 hasRelatedWork W1991405126 @default.
- W2890638605 hasRelatedWork W2032853531 @default.
- W2890638605 hasRelatedWork W2062653699 @default.
- W2890638605 hasRelatedWork W2099232008 @default.
- W2890638605 hasRelatedWork W2105423659 @default.
- W2890638605 hasRelatedWork W2110276831 @default.
- W2890638605 hasRelatedWork W2113740617 @default.
- W2890638605 hasRelatedWork W2155062053 @default.
- W2890638605 hasRelatedWork W2257628339 @default.
- W2890638605 hasRelatedWork W238188421 @default.
- W2890638605 hasRelatedWork W2749943653 @default.
- W2890638605 hasRelatedWork W2964025851 @default.
- W2890638605 hasRelatedWork W37965492 @default.
- W2890638605 hasRelatedWork W2911410926 @default.
- W2890638605 isParatext "false" @default.
- W2890638605 isRetracted "false" @default.
- W2890638605 magId "2890638605" @default.
- W2890638605 workType "paratext" @default.