Matches in SemOpenAlex for { <https://semopenalex.org/work/W224041582> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W224041582 endingPage "568" @default.
- W224041582 startingPage "554" @default.
- W224041582 abstract "Abstract This paper describes some extensions of Tamaki-Sato's (1984) unfold/fold transformation of definite programs. We first propose unfold/fold rules also preserving the finite failure set (by SLD-resolution) of a definite program, which the original rules proposed by Tamaki and Sato do not. Then, we show that our unfold/fold rules can be extended to rules for stratified programs and prove that both the success set and the finite failure set (by SLDNF-resolution) of a stratified program are preserved. Preservation of equivalence of the perfect model semantics (Przymusinski (1988)) is also discussed." @default.
- W224041582 created "2016-06-24" @default.
- W224041582 creator A5033835378 @default.
- W224041582 date "1989-01-01" @default.
- W224041582 modified "2023-09-25" @default.
- W224041582 title "Unfold/Fold Transformation of Stratified Programs." @default.
- W224041582 hasPublicationYear "1989" @default.
- W224041582 type Work @default.
- W224041582 sameAs 224041582 @default.
- W224041582 citedByCount "5" @default.
- W224041582 crossrefType "proceedings-article" @default.
- W224041582 hasAuthorship W224041582A5033835378 @default.
- W224041582 hasConcept C11413529 @default.
- W224041582 hasConcept C118615104 @default.
- W224041582 hasConcept C128838566 @default.
- W224041582 hasConcept C177264268 @default.
- W224041582 hasConcept C184337299 @default.
- W224041582 hasConcept C199360897 @default.
- W224041582 hasConcept C2778361913 @default.
- W224041582 hasConcept C2780069185 @default.
- W224041582 hasConcept C2987117450 @default.
- W224041582 hasConcept C33923547 @default.
- W224041582 hasConcept C41008148 @default.
- W224041582 hasConcept C53942344 @default.
- W224041582 hasConcept C80444323 @default.
- W224041582 hasConceptScore W224041582C11413529 @default.
- W224041582 hasConceptScore W224041582C118615104 @default.
- W224041582 hasConceptScore W224041582C128838566 @default.
- W224041582 hasConceptScore W224041582C177264268 @default.
- W224041582 hasConceptScore W224041582C184337299 @default.
- W224041582 hasConceptScore W224041582C199360897 @default.
- W224041582 hasConceptScore W224041582C2778361913 @default.
- W224041582 hasConceptScore W224041582C2780069185 @default.
- W224041582 hasConceptScore W224041582C2987117450 @default.
- W224041582 hasConceptScore W224041582C33923547 @default.
- W224041582 hasConceptScore W224041582C41008148 @default.
- W224041582 hasConceptScore W224041582C53942344 @default.
- W224041582 hasConceptScore W224041582C80444323 @default.
- W224041582 hasLocation W2240415821 @default.
- W224041582 hasOpenAccess W224041582 @default.
- W224041582 hasPrimaryLocation W2240415821 @default.
- W224041582 hasRelatedWork W11173561 @default.
- W224041582 hasRelatedWork W1531044637 @default.
- W224041582 hasRelatedWork W1541434994 @default.
- W224041582 hasRelatedWork W16194962 @default.
- W224041582 hasRelatedWork W178589107 @default.
- W224041582 hasRelatedWork W1793667514 @default.
- W224041582 hasRelatedWork W1965483956 @default.
- W224041582 hasRelatedWork W1968728708 @default.
- W224041582 hasRelatedWork W2023299380 @default.
- W224041582 hasRelatedWork W2037035101 @default.
- W224041582 hasRelatedWork W2059855028 @default.
- W224041582 hasRelatedWork W2142100108 @default.
- W224041582 hasRelatedWork W2147335415 @default.
- W224041582 hasRelatedWork W2164767950 @default.
- W224041582 hasRelatedWork W2479043907 @default.
- W224041582 hasRelatedWork W2616349957 @default.
- W224041582 hasRelatedWork W2889566068 @default.
- W224041582 hasRelatedWork W2949282174 @default.
- W224041582 hasRelatedWork W3145886794 @default.
- W224041582 hasRelatedWork W977525907 @default.
- W224041582 isParatext "false" @default.
- W224041582 isRetracted "false" @default.
- W224041582 magId "224041582" @default.
- W224041582 workType "article" @default.