Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488304818> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1488304818 abstract "This paper is concerned with extension and belief revision in Reiter's default reasoning. First we introduce a new notion of pseudo extension which is successively constructed from a given default theory. We show that the set of pseudo extensions contains the set of extensions, so that we can get some reasonable candidates of extension in a constructive way. This should be a first step towards computerization of the default reasoning. We also discuss the belief revision problem from the viewpoint of Shapiro's inductive inference of models." @default.
- W1488304818 created "2016-06-24" @default.
- W1488304818 creator A5039284792 @default.
- W1488304818 creator A5073809667 @default.
- W1488304818 date "1989-01-01" @default.
- W1488304818 modified "2023-09-24" @default.
- W1488304818 title "Pseudo extension in default reasoning and belief revision by model inference" @default.
- W1488304818 cites W1996347293 @default.
- W1488304818 doi "https://doi.org/10.1007/3-540-51564-x_53" @default.
- W1488304818 hasPublicationYear "1989" @default.
- W1488304818 type Work @default.
- W1488304818 sameAs 1488304818 @default.
- W1488304818 citedByCount "1" @default.
- W1488304818 crossrefType "book-chapter" @default.
- W1488304818 hasAuthorship W1488304818A5039284792 @default.
- W1488304818 hasAuthorship W1488304818A5073809667 @default.
- W1488304818 hasBestOaLocation W14883048182 @default.
- W1488304818 hasConcept C102993220 @default.
- W1488304818 hasConcept C11413529 @default.
- W1488304818 hasConcept C128913409 @default.
- W1488304818 hasConcept C154945302 @default.
- W1488304818 hasConcept C159032336 @default.
- W1488304818 hasConcept C160236029 @default.
- W1488304818 hasConcept C177264268 @default.
- W1488304818 hasConcept C199360897 @default.
- W1488304818 hasConcept C203659156 @default.
- W1488304818 hasConcept C21563000 @default.
- W1488304818 hasConcept C2776214188 @default.
- W1488304818 hasConcept C2778029271 @default.
- W1488304818 hasConcept C2778701210 @default.
- W1488304818 hasConcept C2780432614 @default.
- W1488304818 hasConcept C3845977 @default.
- W1488304818 hasConcept C41008148 @default.
- W1488304818 hasConcept C80444323 @default.
- W1488304818 hasConcept C98045186 @default.
- W1488304818 hasConceptScore W1488304818C102993220 @default.
- W1488304818 hasConceptScore W1488304818C11413529 @default.
- W1488304818 hasConceptScore W1488304818C128913409 @default.
- W1488304818 hasConceptScore W1488304818C154945302 @default.
- W1488304818 hasConceptScore W1488304818C159032336 @default.
- W1488304818 hasConceptScore W1488304818C160236029 @default.
- W1488304818 hasConceptScore W1488304818C177264268 @default.
- W1488304818 hasConceptScore W1488304818C199360897 @default.
- W1488304818 hasConceptScore W1488304818C203659156 @default.
- W1488304818 hasConceptScore W1488304818C21563000 @default.
- W1488304818 hasConceptScore W1488304818C2776214188 @default.
- W1488304818 hasConceptScore W1488304818C2778029271 @default.
- W1488304818 hasConceptScore W1488304818C2778701210 @default.
- W1488304818 hasConceptScore W1488304818C2780432614 @default.
- W1488304818 hasConceptScore W1488304818C3845977 @default.
- W1488304818 hasConceptScore W1488304818C41008148 @default.
- W1488304818 hasConceptScore W1488304818C80444323 @default.
- W1488304818 hasConceptScore W1488304818C98045186 @default.
- W1488304818 hasLocation W14883048181 @default.
- W1488304818 hasLocation W14883048182 @default.
- W1488304818 hasOpenAccess W1488304818 @default.
- W1488304818 hasPrimaryLocation W14883048181 @default.
- W1488304818 hasRelatedWork W12022855 @default.
- W1488304818 hasRelatedWork W1503836239 @default.
- W1488304818 hasRelatedWork W1529677420 @default.
- W1488304818 hasRelatedWork W1531840983 @default.
- W1488304818 hasRelatedWork W1555877973 @default.
- W1488304818 hasRelatedWork W1600182449 @default.
- W1488304818 hasRelatedWork W1601784262 @default.
- W1488304818 hasRelatedWork W1610119672 @default.
- W1488304818 hasRelatedWork W2020153579 @default.
- W1488304818 hasRelatedWork W2030586002 @default.
- W1488304818 hasRelatedWork W2053255400 @default.
- W1488304818 hasRelatedWork W2054098217 @default.
- W1488304818 hasRelatedWork W2059970836 @default.
- W1488304818 hasRelatedWork W2062539190 @default.
- W1488304818 hasRelatedWork W2081817312 @default.
- W1488304818 hasRelatedWork W2092435617 @default.
- W1488304818 hasRelatedWork W2092680857 @default.
- W1488304818 hasRelatedWork W2093111282 @default.
- W1488304818 hasRelatedWork W2117280283 @default.
- W1488304818 hasRelatedWork W2490333804 @default.
- W1488304818 isParatext "false" @default.
- W1488304818 isRetracted "false" @default.
- W1488304818 magId "1488304818" @default.
- W1488304818 workType "book-chapter" @default.