Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012217975> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2012217975 endingPage "300" @default.
- W2012217975 startingPage "279" @default.
- W2012217975 abstract "Global SLS resolution is an ideal procedural semantics for the well-founded semantics. We present a more effective variant of global SLS resolution, called XOLDTNF resolution, which incorporates simple mechanisms for loop detection and handling. Termination is guaranteed for all programs with the bounded-term-size property. We establish the soundness and (search space) completeness of XOLDTNF resolution. An implementation of XOLDTNF resolution in Prolog is available via FTP." @default.
- W2012217975 created "2016-06-24" @default.
- W2012217975 creator A5024584263 @default.
- W2012217975 creator A5055338447 @default.
- W2012217975 date "1993-11-01" @default.
- W2012217975 modified "2023-09-27" @default.
- W2012217975 title "A goal-oriented approach to computing the well-founded semantics" @default.
- W2012217975 cites W1522225310 @default.
- W2012217975 cites W1968513265 @default.
- W2012217975 cites W1984715534 @default.
- W2012217975 cites W1987660355 @default.
- W2012217975 cites W1995303925 @default.
- W2012217975 cites W2012662948 @default.
- W2012217975 cites W2024612361 @default.
- W2012217975 cites W2031868932 @default.
- W2012217975 cites W2050571300 @default.
- W2012217975 cites W2055093184 @default.
- W2012217975 cites W2069453418 @default.
- W2012217975 cites W2070553391 @default.
- W2012217975 cites W2075610180 @default.
- W2012217975 cites W2100264125 @default.
- W2012217975 doi "https://doi.org/10.1016/0743-1066(93)90034-e" @default.
- W2012217975 hasPublicationYear "1993" @default.
- W2012217975 type Work @default.
- W2012217975 sameAs 2012217975 @default.
- W2012217975 citedByCount "30" @default.
- W2012217975 countsByYear W20122179752012 @default.
- W2012217975 countsByYear W20122179752014 @default.
- W2012217975 countsByYear W20122179752015 @default.
- W2012217975 countsByYear W20122179752016 @default.
- W2012217975 countsByYear W20122179752018 @default.
- W2012217975 countsByYear W20122179752019 @default.
- W2012217975 countsByYear W20122179752021 @default.
- W2012217975 crossrefType "journal-article" @default.
- W2012217975 hasAuthorship W2012217975A5024584263 @default.
- W2012217975 hasAuthorship W2012217975A5055338447 @default.
- W2012217975 hasConcept C111472728 @default.
- W2012217975 hasConcept C134306372 @default.
- W2012217975 hasConcept C138268822 @default.
- W2012217975 hasConcept C138885662 @default.
- W2012217975 hasConcept C17231256 @default.
- W2012217975 hasConcept C184337299 @default.
- W2012217975 hasConcept C189950617 @default.
- W2012217975 hasConcept C199360897 @default.
- W2012217975 hasConcept C2776639384 @default.
- W2012217975 hasConcept C2780586882 @default.
- W2012217975 hasConcept C33923547 @default.
- W2012217975 hasConcept C39920170 @default.
- W2012217975 hasConcept C41008148 @default.
- W2012217975 hasConcept C80444323 @default.
- W2012217975 hasConcept C81721847 @default.
- W2012217975 hasConceptScore W2012217975C111472728 @default.
- W2012217975 hasConceptScore W2012217975C134306372 @default.
- W2012217975 hasConceptScore W2012217975C138268822 @default.
- W2012217975 hasConceptScore W2012217975C138885662 @default.
- W2012217975 hasConceptScore W2012217975C17231256 @default.
- W2012217975 hasConceptScore W2012217975C184337299 @default.
- W2012217975 hasConceptScore W2012217975C189950617 @default.
- W2012217975 hasConceptScore W2012217975C199360897 @default.
- W2012217975 hasConceptScore W2012217975C2776639384 @default.
- W2012217975 hasConceptScore W2012217975C2780586882 @default.
- W2012217975 hasConceptScore W2012217975C33923547 @default.
- W2012217975 hasConceptScore W2012217975C39920170 @default.
- W2012217975 hasConceptScore W2012217975C41008148 @default.
- W2012217975 hasConceptScore W2012217975C80444323 @default.
- W2012217975 hasConceptScore W2012217975C81721847 @default.
- W2012217975 hasIssue "2-4" @default.
- W2012217975 hasLocation W20122179751 @default.
- W2012217975 hasOpenAccess W2012217975 @default.
- W2012217975 hasPrimaryLocation W20122179751 @default.
- W2012217975 hasRelatedWork W2012217975 @default.
- W2012217975 hasRelatedWork W2097714997 @default.
- W2012217975 hasRelatedWork W2114658236 @default.
- W2012217975 hasRelatedWork W2160972085 @default.
- W2012217975 hasRelatedWork W2274183736 @default.
- W2012217975 hasRelatedWork W2548065651 @default.
- W2012217975 hasRelatedWork W2587578306 @default.
- W2012217975 hasRelatedWork W2623938116 @default.
- W2012217975 hasRelatedWork W2914888562 @default.
- W2012217975 hasRelatedWork W4213033251 @default.
- W2012217975 hasVolume "17" @default.
- W2012217975 isParatext "false" @default.
- W2012217975 isRetracted "false" @default.
- W2012217975 magId "2012217975" @default.
- W2012217975 workType "article" @default.