Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098495937> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2098495937 endingPage "106" @default.
- W2098495937 startingPage "89" @default.
- W2098495937 abstract "SLDNF-resolution is a standard operational semantics for negation as (finite) failure. For some programs and goals, SLDNF-resolution is incomplete with respect to the Kunen semantics (program completion in three-valued logic). Intuitively, the reason for incompleteness is floundering. This fact, however, has not been proven formally. The existing papers study syntactic classes of programs and goals for which SLDNF-resolution is complete. We prove completeness of SLDNF-resolution for arbitrary programs, fair selection rules, and nonfloundering queries. For this, we need an appropriate notion of floundering. We introduce two versions of this notion, one simple but crude, the other more sophisticated. To be able to deal with fairness, we introduce an alternative definition of SLDNF-resolution. We also show how the three-valued completion semantics can be expressed in terms of the classical two-valued logic." @default.
- W2098495937 created "2016-06-24" @default.
- W2098495937 creator A5066576127 @default.
- W2098495937 date "1996-05-01" @default.
- W2098495937 modified "2023-09-27" @default.
- W2098495937 title "Completeness of SLDNF-resolution for nonfloundering queries" @default.
- W2098495937 cites W1532674857 @default.
- W2098495937 cites W1969037975 @default.
- W2098495937 cites W1993979893 @default.
- W2098495937 cites W2006697948 @default.
- W2098495937 cites W2007502694 @default.
- W2098495937 cites W2010104109 @default.
- W2098495937 cites W2036335871 @default.
- W2098495937 cites W2064772169 @default.
- W2098495937 cites W2069972706 @default.
- W2098495937 cites W2097366413 @default.
- W2098495937 cites W2140857706 @default.
- W2098495937 doi "https://doi.org/10.1016/0743-1066(95)00118-2" @default.
- W2098495937 hasPublicationYear "1996" @default.
- W2098495937 type Work @default.
- W2098495937 sameAs 2098495937 @default.
- W2098495937 citedByCount "9" @default.
- W2098495937 countsByYear W20984959372022 @default.
- W2098495937 countsByYear W20984959372023 @default.
- W2098495937 crossrefType "journal-article" @default.
- W2098495937 hasAuthorship W2098495937A5066576127 @default.
- W2098495937 hasConcept C111472728 @default.
- W2098495937 hasConcept C127001435 @default.
- W2098495937 hasConcept C134306372 @default.
- W2098495937 hasConcept C138268822 @default.
- W2098495937 hasConcept C138885662 @default.
- W2098495937 hasConcept C154945302 @default.
- W2098495937 hasConcept C156325763 @default.
- W2098495937 hasConcept C17231256 @default.
- W2098495937 hasConcept C184337299 @default.
- W2098495937 hasConcept C194146651 @default.
- W2098495937 hasConcept C199360897 @default.
- W2098495937 hasConcept C2185349 @default.
- W2098495937 hasConcept C2780586882 @default.
- W2098495937 hasConcept C33923547 @default.
- W2098495937 hasConcept C41008148 @default.
- W2098495937 hasConcept C80444323 @default.
- W2098495937 hasConcept C81917197 @default.
- W2098495937 hasConceptScore W2098495937C111472728 @default.
- W2098495937 hasConceptScore W2098495937C127001435 @default.
- W2098495937 hasConceptScore W2098495937C134306372 @default.
- W2098495937 hasConceptScore W2098495937C138268822 @default.
- W2098495937 hasConceptScore W2098495937C138885662 @default.
- W2098495937 hasConceptScore W2098495937C154945302 @default.
- W2098495937 hasConceptScore W2098495937C156325763 @default.
- W2098495937 hasConceptScore W2098495937C17231256 @default.
- W2098495937 hasConceptScore W2098495937C184337299 @default.
- W2098495937 hasConceptScore W2098495937C194146651 @default.
- W2098495937 hasConceptScore W2098495937C199360897 @default.
- W2098495937 hasConceptScore W2098495937C2185349 @default.
- W2098495937 hasConceptScore W2098495937C2780586882 @default.
- W2098495937 hasConceptScore W2098495937C33923547 @default.
- W2098495937 hasConceptScore W2098495937C41008148 @default.
- W2098495937 hasConceptScore W2098495937C80444323 @default.
- W2098495937 hasConceptScore W2098495937C81917197 @default.
- W2098495937 hasIssue "2" @default.
- W2098495937 hasLocation W20984959371 @default.
- W2098495937 hasOpenAccess W2098495937 @default.
- W2098495937 hasPrimaryLocation W20984959371 @default.
- W2098495937 hasRelatedWork W1485261310 @default.
- W2098495937 hasRelatedWork W1601169590 @default.
- W2098495937 hasRelatedWork W1603049456 @default.
- W2098495937 hasRelatedWork W1820469889 @default.
- W2098495937 hasRelatedWork W2062391009 @default.
- W2098495937 hasRelatedWork W2091631741 @default.
- W2098495937 hasRelatedWork W2098495937 @default.
- W2098495937 hasRelatedWork W2128180241 @default.
- W2098495937 hasRelatedWork W4008227 @default.
- W2098495937 hasRelatedWork W51882692 @default.
- W2098495937 hasVolume "27" @default.
- W2098495937 isParatext "false" @default.
- W2098495937 isRetracted "false" @default.
- W2098495937 magId "2098495937" @default.
- W2098495937 workType "article" @default.