Matches in SemOpenAlex for { <https://semopenalex.org/work/W1506042709> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1506042709 endingPage "38" @default.
- W1506042709 startingPage "24" @default.
- W1506042709 abstract "Justification is the process of constructing evidence, in terms of proof, for the truth or falsity of an answer derived by tabled evaluation. The evidence is most easily constructed by post-processing the memo tables created during query evaluation. In this paper we introduce online justification, based on program transformation, to efficiently construct the evidence during query evaluation, while adding little overhead to the evaluation itself. Apart from its efficiency, online justification separates evidence generation from exploration thereby providing flexibility in exploring the evidence either declaratively or procedurally. We present experimental results obtained on examples that construct large evidences which demonstrate the scalability of online justification." @default.
- W1506042709 created "2016-06-24" @default.
- W1506042709 creator A5005648942 @default.
- W1506042709 creator A5056708608 @default.
- W1506042709 creator A5058412427 @default.
- W1506042709 creator A5075613260 @default.
- W1506042709 creator A5090991667 @default.
- W1506042709 date "2004-01-01" @default.
- W1506042709 modified "2023-10-16" @default.
- W1506042709 title "Online Justification for Tabled Logic Programs" @default.
- W1506042709 cites W1508161107 @default.
- W1506042709 cites W1518621415 @default.
- W1506042709 cites W1595925275 @default.
- W1506042709 cites W2027026606 @default.
- W1506042709 cites W2068981034 @default.
- W1506042709 cites W2087187280 @default.
- W1506042709 cites W2100112273 @default.
- W1506042709 cites W2119543166 @default.
- W1506042709 cites W2141830665 @default.
- W1506042709 cites W2155945137 @default.
- W1506042709 cites W4206370914 @default.
- W1506042709 cites W6279871 @default.
- W1506042709 cites W95576201 @default.
- W1506042709 doi "https://doi.org/10.1007/978-3-540-24754-8_4" @default.
- W1506042709 hasPublicationYear "2004" @default.
- W1506042709 type Work @default.
- W1506042709 sameAs 1506042709 @default.
- W1506042709 citedByCount "29" @default.
- W1506042709 countsByYear W15060427092012 @default.
- W1506042709 countsByYear W15060427092013 @default.
- W1506042709 countsByYear W15060427092014 @default.
- W1506042709 countsByYear W15060427092015 @default.
- W1506042709 countsByYear W15060427092019 @default.
- W1506042709 countsByYear W15060427092020 @default.
- W1506042709 crossrefType "book-chapter" @default.
- W1506042709 hasAuthorship W1506042709A5005648942 @default.
- W1506042709 hasAuthorship W1506042709A5056708608 @default.
- W1506042709 hasAuthorship W1506042709A5058412427 @default.
- W1506042709 hasAuthorship W1506042709A5075613260 @default.
- W1506042709 hasAuthorship W1506042709A5090991667 @default.
- W1506042709 hasConcept C104317684 @default.
- W1506042709 hasConcept C105795698 @default.
- W1506042709 hasConcept C111472728 @default.
- W1506042709 hasConcept C138885662 @default.
- W1506042709 hasConcept C185592680 @default.
- W1506042709 hasConcept C199360897 @default.
- W1506042709 hasConcept C204241405 @default.
- W1506042709 hasConcept C23123220 @default.
- W1506042709 hasConcept C2777685122 @default.
- W1506042709 hasConcept C2779960059 @default.
- W1506042709 hasConcept C2780598303 @default.
- W1506042709 hasConcept C2780801425 @default.
- W1506042709 hasConcept C33923547 @default.
- W1506042709 hasConcept C41008148 @default.
- W1506042709 hasConcept C48044578 @default.
- W1506042709 hasConcept C55493867 @default.
- W1506042709 hasConcept C77088390 @default.
- W1506042709 hasConcept C80444323 @default.
- W1506042709 hasConcept C98045186 @default.
- W1506042709 hasConceptScore W1506042709C104317684 @default.
- W1506042709 hasConceptScore W1506042709C105795698 @default.
- W1506042709 hasConceptScore W1506042709C111472728 @default.
- W1506042709 hasConceptScore W1506042709C138885662 @default.
- W1506042709 hasConceptScore W1506042709C185592680 @default.
- W1506042709 hasConceptScore W1506042709C199360897 @default.
- W1506042709 hasConceptScore W1506042709C204241405 @default.
- W1506042709 hasConceptScore W1506042709C23123220 @default.
- W1506042709 hasConceptScore W1506042709C2777685122 @default.
- W1506042709 hasConceptScore W1506042709C2779960059 @default.
- W1506042709 hasConceptScore W1506042709C2780598303 @default.
- W1506042709 hasConceptScore W1506042709C2780801425 @default.
- W1506042709 hasConceptScore W1506042709C33923547 @default.
- W1506042709 hasConceptScore W1506042709C41008148 @default.
- W1506042709 hasConceptScore W1506042709C48044578 @default.
- W1506042709 hasConceptScore W1506042709C55493867 @default.
- W1506042709 hasConceptScore W1506042709C77088390 @default.
- W1506042709 hasConceptScore W1506042709C80444323 @default.
- W1506042709 hasConceptScore W1506042709C98045186 @default.
- W1506042709 hasLocation W15060427091 @default.
- W1506042709 hasOpenAccess W1506042709 @default.
- W1506042709 hasPrimaryLocation W15060427091 @default.
- W1506042709 hasRelatedWork W1527726406 @default.
- W1506042709 hasRelatedWork W1595151633 @default.
- W1506042709 hasRelatedWork W2066910195 @default.
- W1506042709 hasRelatedWork W2354217827 @default.
- W1506042709 hasRelatedWork W2379147087 @default.
- W1506042709 hasRelatedWork W2383597676 @default.
- W1506042709 hasRelatedWork W2392704026 @default.
- W1506042709 hasRelatedWork W3120511008 @default.
- W1506042709 hasRelatedWork W4210526454 @default.
- W1506042709 hasRelatedWork W94000989 @default.
- W1506042709 isParatext "false" @default.
- W1506042709 isRetracted "false" @default.
- W1506042709 magId "1506042709" @default.
- W1506042709 workType "book-chapter" @default.