Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994977110> ?p ?o ?g. }
- W1994977110 endingPage "41" @default.
- W1994977110 startingPage "1" @default.
- W1994977110 abstract "The well-founded semantics has gained wide acceptance partly because it is a skeptical semantics. That is, the well-founded model posits as unknown atoms which are deemed true or false in other formalisms such as stable models. This skepticism makes the well-founded model not only useful in itself, but also suitable as a basis for other forms of non-monotonic reasoning. For instance, since algorithms to compute stable models are intractable, the atoms relevant to such algorithms can be limited to those undefined in the well-founded model. Thus, an engine that efficiently evaluates programs according to the well-founded semantics can be seen as a prerequisite to practical systems for non-monotonic reasoning. This paper describes the architecture of the Warren Abstract Machine (WAM)-based abstract machine underlying the XSB system. This abstract machine, called the SLG-WAM, uses tabling to efficiently compute the well-founded semantics of non-ground normal logic programs in a goal-directed way. To do so, the SLG-WAM requires sophisticated extensions to its core tabling engine for fixed-order stratified programs. A mechanism must be implemented to represent answers that are neither true nor false, and the delay and simplification operations – which serve to break and to resolve cycles through negation, must be implemented. We describe fully these extensions to our tabling engine, and demonstrate the efficiency of our implementation in two ways. First, we present a theorem that bounds the need for delay to those literals which are not dynamically stratified for a fixed-order computation. Second, we present performance results that indicate that the overhead of delay and simplification to Prolog – or tabled – evaluations is minimal." @default.
- W1994977110 created "2016-06-24" @default.
- W1994977110 creator A5009640372 @default.
- W1994977110 creator A5055338447 @default.
- W1994977110 creator A5066015052 @default.
- W1994977110 date "2000-09-01" @default.
- W1994977110 modified "2023-09-27" @default.
- W1994977110 title "An abstract machine for efficiently computing queries to well-founded models" @default.
- W1994977110 cites W121573966 @default.
- W1994977110 cites W1520935955 @default.
- W1994977110 cites W1520957705 @default.
- W1994977110 cites W1522225310 @default.
- W1994977110 cites W1524332517 @default.
- W1994977110 cites W1541434994 @default.
- W1994977110 cites W1559402073 @default.
- W1994977110 cites W1570025952 @default.
- W1994977110 cites W1575741940 @default.
- W1994977110 cites W1859992415 @default.
- W1994977110 cites W1968513265 @default.
- W1994977110 cites W1968592673 @default.
- W1994977110 cites W1971107784 @default.
- W1994977110 cites W1979064340 @default.
- W1994977110 cites W1997210046 @default.
- W1994977110 cites W1998915208 @default.
- W1994977110 cites W2026433347 @default.
- W1994977110 cites W2031868932 @default.
- W1994977110 cites W2036258467 @default.
- W1994977110 cites W2061236588 @default.
- W1994977110 cites W2070598037 @default.
- W1994977110 cites W2071433880 @default.
- W1994977110 cites W2075610180 @default.
- W1994977110 cites W2085609918 @default.
- W1994977110 cites W2091478774 @default.
- W1994977110 cites W2100264125 @default.
- W1994977110 cites W2106000595 @default.
- W1994977110 cites W2132574120 @default.
- W1994977110 cites W2139875914 @default.
- W1994977110 cites W42134522 @default.
- W1994977110 cites W64652629 @default.
- W1994977110 doi "https://doi.org/10.1016/s0743-1066(00)00005-4" @default.
- W1994977110 hasPublicationYear "2000" @default.
- W1994977110 type Work @default.
- W1994977110 sameAs 1994977110 @default.
- W1994977110 citedByCount "10" @default.
- W1994977110 countsByYear W19949771102012 @default.
- W1994977110 countsByYear W19949771102014 @default.
- W1994977110 countsByYear W19949771102018 @default.
- W1994977110 crossrefType "journal-article" @default.
- W1994977110 hasAuthorship W1994977110A5009640372 @default.
- W1994977110 hasAuthorship W1994977110A5055338447 @default.
- W1994977110 hasAuthorship W1994977110A5066015052 @default.
- W1994977110 hasBestOaLocation W19949771101 @default.
- W1994977110 hasConcept C11413529 @default.
- W1994977110 hasConcept C127001435 @default.
- W1994977110 hasConcept C154945302 @default.
- W1994977110 hasConcept C156325763 @default.
- W1994977110 hasConcept C171018156 @default.
- W1994977110 hasConcept C184337299 @default.
- W1994977110 hasConcept C199360897 @default.
- W1994977110 hasConcept C2185349 @default.
- W1994977110 hasConcept C2524010 @default.
- W1994977110 hasConcept C33923547 @default.
- W1994977110 hasConcept C41008148 @default.
- W1994977110 hasConcept C45374587 @default.
- W1994977110 hasConcept C80444323 @default.
- W1994977110 hasConcept C88977235 @default.
- W1994977110 hasConceptScore W1994977110C11413529 @default.
- W1994977110 hasConceptScore W1994977110C127001435 @default.
- W1994977110 hasConceptScore W1994977110C154945302 @default.
- W1994977110 hasConceptScore W1994977110C156325763 @default.
- W1994977110 hasConceptScore W1994977110C171018156 @default.
- W1994977110 hasConceptScore W1994977110C184337299 @default.
- W1994977110 hasConceptScore W1994977110C199360897 @default.
- W1994977110 hasConceptScore W1994977110C2185349 @default.
- W1994977110 hasConceptScore W1994977110C2524010 @default.
- W1994977110 hasConceptScore W1994977110C33923547 @default.
- W1994977110 hasConceptScore W1994977110C41008148 @default.
- W1994977110 hasConceptScore W1994977110C45374587 @default.
- W1994977110 hasConceptScore W1994977110C80444323 @default.
- W1994977110 hasConceptScore W1994977110C88977235 @default.
- W1994977110 hasIssue "1-3" @default.
- W1994977110 hasLocation W19949771101 @default.
- W1994977110 hasLocation W19949771102 @default.
- W1994977110 hasOpenAccess W1994977110 @default.
- W1994977110 hasPrimaryLocation W19949771101 @default.
- W1994977110 hasRelatedWork W1485855639 @default.
- W1994977110 hasRelatedWork W1532306186 @default.
- W1994977110 hasRelatedWork W1561664582 @default.
- W1994977110 hasRelatedWork W1601169590 @default.
- W1994977110 hasRelatedWork W1975980014 @default.
- W1994977110 hasRelatedWork W2103767425 @default.
- W1994977110 hasRelatedWork W2113913457 @default.
- W1994977110 hasRelatedWork W2161628186 @default.
- W1994977110 hasRelatedWork W2540354435 @default.
- W1994977110 hasRelatedWork W2543063436 @default.
- W1994977110 hasVolume "45" @default.
- W1994977110 isParatext "false" @default.
- W1994977110 isRetracted "false" @default.