Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102156954> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3102156954 endingPage "567" @default.
- W3102156954 startingPage "553" @default.
- W3102156954 abstract "Resolution-based Knowledge Representation and Reasoning (KRR) systems, such as Flora-2, Silk or Ergo, can scale to tens or hundreds of millions of facts, while supporting reasoning that includes Hilog, inheritance, defeasibility theories, and equality theories. These systems handle the termination and complexity issues that arise from the use of these features by a heavy use of tabled resolution. In fact, such systems table by default all rules defined by users, unless they are simple facts. Performing dynamic updates within such systems is nearly impossible unless the tables themselves can be made to react to changes. Incremental tabling as first implemented in XSB (Saha 2006) partially addressed this problem, but the implementation was limited in scope and not always easy to use. In this paper, we introduce transparent incremental tabling which at the semantic level supports updates in the 3-valued well-founded semantics, while guaranteeing full consistency of all tabled queries. Transparent incremental tabling also has significant performance improvements over previous implementations, including lazy recomputation, and control over the dependency structures used to determine how tables are updated." @default.
- W3102156954 created "2020-11-23" @default.
- W3102156954 creator A5066015052 @default.
- W3102156954 date "2014-07-01" @default.
- W3102156954 modified "2023-09-26" @default.
- W3102156954 title "Incremental Tabling in Support of Knowledge Representation and Reasoning" @default.
- W3102156954 cites W1561578420 @default.
- W3102156954 cites W1976943774 @default.
- W3102156954 cites W1984187667 @default.
- W3102156954 cites W1985819576 @default.
- W3102156954 cites W1994977110 @default.
- W3102156954 cites W1997210046 @default.
- W3102156954 cites W2070598037 @default.
- W3102156954 cites W2082976092 @default.
- W3102156954 cites W2091478774 @default.
- W3102156954 cites W2091652888 @default.
- W3102156954 cites W2097626996 @default.
- W3102156954 cites W2142044962 @default.
- W3102156954 cites W2163660741 @default.
- W3102156954 cites W2165876990 @default.
- W3102156954 cites W2199182687 @default.
- W3102156954 cites W2963676309 @default.
- W3102156954 doi "https://doi.org/10.1017/s1471068414000209" @default.
- W3102156954 hasPublicationYear "2014" @default.
- W3102156954 type Work @default.
- W3102156954 sameAs 3102156954 @default.
- W3102156954 citedByCount "8" @default.
- W3102156954 countsByYear W31021569542015 @default.
- W3102156954 countsByYear W31021569542016 @default.
- W3102156954 countsByYear W31021569542017 @default.
- W3102156954 countsByYear W31021569542021 @default.
- W3102156954 countsByYear W31021569542023 @default.
- W3102156954 crossrefType "journal-article" @default.
- W3102156954 hasAuthorship W3102156954A5066015052 @default.
- W3102156954 hasBestOaLocation W31021569542 @default.
- W3102156954 hasConcept C138268822 @default.
- W3102156954 hasConcept C140843580 @default.
- W3102156954 hasConcept C154945302 @default.
- W3102156954 hasConcept C161301231 @default.
- W3102156954 hasConcept C17744445 @default.
- W3102156954 hasConcept C184337299 @default.
- W3102156954 hasConcept C199360897 @default.
- W3102156954 hasConcept C199539241 @default.
- W3102156954 hasConcept C26713055 @default.
- W3102156954 hasConcept C2776359362 @default.
- W3102156954 hasConcept C2776436953 @default.
- W3102156954 hasConcept C2778012447 @default.
- W3102156954 hasConcept C41008148 @default.
- W3102156954 hasConcept C80444323 @default.
- W3102156954 hasConcept C94625758 @default.
- W3102156954 hasConceptScore W3102156954C138268822 @default.
- W3102156954 hasConceptScore W3102156954C140843580 @default.
- W3102156954 hasConceptScore W3102156954C154945302 @default.
- W3102156954 hasConceptScore W3102156954C161301231 @default.
- W3102156954 hasConceptScore W3102156954C17744445 @default.
- W3102156954 hasConceptScore W3102156954C184337299 @default.
- W3102156954 hasConceptScore W3102156954C199360897 @default.
- W3102156954 hasConceptScore W3102156954C199539241 @default.
- W3102156954 hasConceptScore W3102156954C26713055 @default.
- W3102156954 hasConceptScore W3102156954C2776359362 @default.
- W3102156954 hasConceptScore W3102156954C2776436953 @default.
- W3102156954 hasConceptScore W3102156954C2778012447 @default.
- W3102156954 hasConceptScore W3102156954C41008148 @default.
- W3102156954 hasConceptScore W3102156954C80444323 @default.
- W3102156954 hasConceptScore W3102156954C94625758 @default.
- W3102156954 hasIssue "4-5" @default.
- W3102156954 hasLocation W31021569541 @default.
- W3102156954 hasLocation W31021569542 @default.
- W3102156954 hasOpenAccess W3102156954 @default.
- W3102156954 hasPrimaryLocation W31021569541 @default.
- W3102156954 hasRelatedWork W1554764448 @default.
- W3102156954 hasRelatedWork W1565501066 @default.
- W3102156954 hasRelatedWork W1587224678 @default.
- W3102156954 hasRelatedWork W1855927527 @default.
- W3102156954 hasRelatedWork W1984757784 @default.
- W3102156954 hasRelatedWork W2047793074 @default.
- W3102156954 hasRelatedWork W2090686886 @default.
- W3102156954 hasRelatedWork W2808750505 @default.
- W3102156954 hasRelatedWork W2901917862 @default.
- W3102156954 hasRelatedWork W3017169783 @default.
- W3102156954 hasVolume "14" @default.
- W3102156954 isParatext "false" @default.
- W3102156954 isRetracted "false" @default.
- W3102156954 magId "3102156954" @default.
- W3102156954 workType "article" @default.