Matches in SemOpenAlex for { <https://semopenalex.org/work/W1504169145> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1504169145 endingPage "17" @default.
- W1504169145 startingPage "1" @default.
- W1504169145 abstract "We study here the recursion theoretic complexity of the perfect (Herbrand) models of stratified logic programs. We show that these models lie arbitrarily high in the arithmetic hierarchy. As a byproduct we obtain a similar characterization of the recursion theoretic complexity of the set of consequences in a number of formalisms for non-monotonic reasoning. We show that under some circumstances this complexity can be brought down to recursive enumerability." @default.
- W1504169145 created "2016-06-24" @default.
- W1504169145 creator A5035679301 @default.
- W1504169145 creator A5042418599 @default.
- W1504169145 date "1990-01-01" @default.
- W1504169145 modified "2023-10-11" @default.
- W1504169145 title "Arithmetic Classification of Perfect Models of Stratified Programs" @default.
- W1504169145 doi "https://doi.org/10.3233/fi-1990-13103" @default.
- W1504169145 hasPublicationYear "1990" @default.
- W1504169145 type Work @default.
- W1504169145 sameAs 1504169145 @default.
- W1504169145 citedByCount "45" @default.
- W1504169145 countsByYear W15041691452012 @default.
- W1504169145 countsByYear W15041691452013 @default.
- W1504169145 crossrefType "journal-article" @default.
- W1504169145 hasAuthorship W1504169145A5035679301 @default.
- W1504169145 hasAuthorship W1504169145A5042418599 @default.
- W1504169145 hasBestOaLocation W15041691452 @default.
- W1504169145 hasConcept C11413529 @default.
- W1504169145 hasConcept C118615104 @default.
- W1504169145 hasConcept C134306372 @default.
- W1504169145 hasConcept C136119220 @default.
- W1504169145 hasConcept C162324750 @default.
- W1504169145 hasConcept C168773036 @default.
- W1504169145 hasConcept C171018156 @default.
- W1504169145 hasConcept C177264268 @default.
- W1504169145 hasConcept C199360897 @default.
- W1504169145 hasConcept C202444582 @default.
- W1504169145 hasConcept C2524010 @default.
- W1504169145 hasConcept C31170391 @default.
- W1504169145 hasConcept C33923547 @default.
- W1504169145 hasConcept C34447519 @default.
- W1504169145 hasConcept C41008148 @default.
- W1504169145 hasConcept C72169020 @default.
- W1504169145 hasConcept C80444323 @default.
- W1504169145 hasConcept C94375191 @default.
- W1504169145 hasConceptScore W1504169145C11413529 @default.
- W1504169145 hasConceptScore W1504169145C118615104 @default.
- W1504169145 hasConceptScore W1504169145C134306372 @default.
- W1504169145 hasConceptScore W1504169145C136119220 @default.
- W1504169145 hasConceptScore W1504169145C162324750 @default.
- W1504169145 hasConceptScore W1504169145C168773036 @default.
- W1504169145 hasConceptScore W1504169145C171018156 @default.
- W1504169145 hasConceptScore W1504169145C177264268 @default.
- W1504169145 hasConceptScore W1504169145C199360897 @default.
- W1504169145 hasConceptScore W1504169145C202444582 @default.
- W1504169145 hasConceptScore W1504169145C2524010 @default.
- W1504169145 hasConceptScore W1504169145C31170391 @default.
- W1504169145 hasConceptScore W1504169145C33923547 @default.
- W1504169145 hasConceptScore W1504169145C34447519 @default.
- W1504169145 hasConceptScore W1504169145C41008148 @default.
- W1504169145 hasConceptScore W1504169145C72169020 @default.
- W1504169145 hasConceptScore W1504169145C80444323 @default.
- W1504169145 hasConceptScore W1504169145C94375191 @default.
- W1504169145 hasIssue "1" @default.
- W1504169145 hasLocation W15041691451 @default.
- W1504169145 hasLocation W15041691452 @default.
- W1504169145 hasLocation W15041691453 @default.
- W1504169145 hasLocation W15041691454 @default.
- W1504169145 hasLocation W15041691455 @default.
- W1504169145 hasOpenAccess W1504169145 @default.
- W1504169145 hasPrimaryLocation W15041691451 @default.
- W1504169145 hasRelatedWork W1996878159 @default.
- W1504169145 hasRelatedWork W2014538672 @default.
- W1504169145 hasRelatedWork W2050668358 @default.
- W1504169145 hasRelatedWork W2080268478 @default.
- W1504169145 hasRelatedWork W2085040191 @default.
- W1504169145 hasRelatedWork W2109244780 @default.
- W1504169145 hasRelatedWork W2112562798 @default.
- W1504169145 hasRelatedWork W2319248641 @default.
- W1504169145 hasRelatedWork W2889728348 @default.
- W1504169145 hasRelatedWork W3216020848 @default.
- W1504169145 hasVolume "13" @default.
- W1504169145 isParatext "false" @default.
- W1504169145 isRetracted "false" @default.
- W1504169145 magId "1504169145" @default.
- W1504169145 workType "article" @default.