Matches in SemOpenAlex for { <https://semopenalex.org/work/W228973515> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W228973515 abstract "Tabling is a particularly successful resolution mechanism that overcomes some limitations of the SLD resolution method found in Prolog systems, namely, in dealing with recursion and redundant sub-computations. In tabling, first calls to tabled subgoals are evaluated through program resolution, while similar calls are evaluated by consuming answers stored in the table space by the corresponding similar subgoal. In general, we can distinguish between two main approaches to determine if a subgoal A is similar to a subgoal B: variant-based tabling and subsumption-based tabling. In variant-based tabling, A is similar toB if they are the same up to variable renaming. In subsumptionbased tabling, A is similar to B when A is subsumed by B (or B subsumes A). This stems from a simple principle: if A is subsumed by B and SA and SB are the respective answer sets, then SA ⊆ SB. While subsumption-based tabling (or call subsumption) can yield superior time performance by allowing greater answer reuse, its efficient implementation is harder than variant-based tabling, which makes tabling engines with variant checks much more popular in the logic community. This thesis first addresses the porting and integration of the Time Stamped Tries mechanism from the SLG-WAM tabling engine into the YapTab tabling engine. Our performance results show that our integration efforts were successful, with comparable speedups when using subsumptive-based tabling against variant-based tabling. In the second part of this thesis we present the design, implementation, and evaluation of a novel extension based on subsumption-based tabling called Retroactive Call Subsumption (RCS). RCS overcomes some limitations of traditional call subsumption, namely, the fact that the call order of the subgoals can greatly affect its success and applicability. RCS allows full sharing of answers, independently of the order they are called by selectively pruning and restarting the evaluation of subsumed subgoals. Our results show considerable gains for programs that can take advantage of RCS, while programs that do not benefit from it show a small overhead using the new mechanisms." @default.
- W228973515 created "2016-06-24" @default.
- W228973515 creator A5091030627 @default.
- W228973515 date "2010-01-01" @default.
- W228973515 modified "2023-09-24" @default.
- W228973515 title "Call subsumption mechanisms for tabled logic programs" @default.
- W228973515 cites W1284694 @default.
- W228973515 cites W1505752097 @default.
- W228973515 cites W1518621415 @default.
- W228973515 cites W1541434994 @default.
- W228973515 cites W1559402073 @default.
- W228973515 cites W1572843276 @default.
- W228973515 cites W1595761884 @default.
- W228973515 cites W1752657798 @default.
- W228973515 cites W1965784613 @default.
- W228973515 cites W1968513265 @default.
- W228973515 cites W1997210046 @default.
- W228973515 cites W2023578426 @default.
- W228973515 cites W2070598037 @default.
- W228973515 cites W2085609918 @default.
- W228973515 cites W2091478774 @default.
- W228973515 cites W2096979400 @default.
- W228973515 cites W2108172832 @default.
- W228973515 cites W2112962394 @default.
- W228973515 cites W2118382442 @default.
- W228973515 cites W2118889869 @default.
- W228973515 cites W2124004121 @default.
- W228973515 cites W2127409356 @default.
- W228973515 cites W2130683061 @default.
- W228973515 cites W2155945137 @default.
- W228973515 cites W2163984064 @default.
- W228973515 cites W2337480916 @default.
- W228973515 cites W6279871 @default.
- W228973515 cites W89291972 @default.
- W228973515 cites W99094816 @default.
- W228973515 cites W206929973 @default.
- W228973515 hasPublicationYear "2010" @default.
- W228973515 type Work @default.
- W228973515 sameAs 228973515 @default.
- W228973515 citedByCount "0" @default.
- W228973515 crossrefType "dissertation" @default.
- W228973515 hasAuthorship W228973515A5091030627 @default.
- W228973515 hasConcept C128838566 @default.
- W228973515 hasConcept C138268822 @default.
- W228973515 hasConcept C154945302 @default.
- W228973515 hasConcept C199360897 @default.
- W228973515 hasConcept C41008148 @default.
- W228973515 hasConcept C81721847 @default.
- W228973515 hasConceptScore W228973515C128838566 @default.
- W228973515 hasConceptScore W228973515C138268822 @default.
- W228973515 hasConceptScore W228973515C154945302 @default.
- W228973515 hasConceptScore W228973515C199360897 @default.
- W228973515 hasConceptScore W228973515C41008148 @default.
- W228973515 hasConceptScore W228973515C81721847 @default.
- W228973515 hasLocation W2289735151 @default.
- W228973515 hasOpenAccess W228973515 @default.
- W228973515 hasPrimaryLocation W2289735151 @default.
- W228973515 hasRelatedWork W1853765081 @default.
- W228973515 hasRelatedWork W1970102673 @default.
- W228973515 hasRelatedWork W2153315667 @default.
- W228973515 isParatext "false" @default.
- W228973515 isRetracted "false" @default.
- W228973515 magId "228973515" @default.
- W228973515 workType "dissertation" @default.