Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490246830> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1490246830 abstract "In this paper we present a framework of retrospective reasoning to deal with the belief revision problem in knowledge systems. First, a first-order knowledge base is represented by a set of formulas in a first order epistemic belief language that contains objective formulas as well as belief formulas. Secondly, we define the revision operation by applying a form of prioritized circumscription to this representation of the knowledge base." @default.
- W1490246830 created "2016-06-24" @default.
- W1490246830 creator A5029937685 @default.
- W1490246830 creator A5072151614 @default.
- W1490246830 date "1993-01-01" @default.
- W1490246830 modified "2023-09-25" @default.
- W1490246830 title "Knowledge base revision using circumscription" @default.
- W1490246830 cites W1532924489 @default.
- W1490246830 cites W2007457223 @default.
- W1490246830 cites W2124299249 @default.
- W1490246830 cites W2149420462 @default.
- W1490246830 doi "https://doi.org/10.1007/3-540-57530-8_29" @default.
- W1490246830 hasPublicationYear "1993" @default.
- W1490246830 type Work @default.
- W1490246830 sameAs 1490246830 @default.
- W1490246830 citedByCount "0" @default.
- W1490246830 crossrefType "book-chapter" @default.
- W1490246830 hasAuthorship W1490246830A5029937685 @default.
- W1490246830 hasAuthorship W1490246830A5072151614 @default.
- W1490246830 hasConcept C115925183 @default.
- W1490246830 hasConcept C128913409 @default.
- W1490246830 hasConcept C134306372 @default.
- W1490246830 hasConcept C154945302 @default.
- W1490246830 hasConcept C161301231 @default.
- W1490246830 hasConcept C177264268 @default.
- W1490246830 hasConcept C17744445 @default.
- W1490246830 hasConcept C199360897 @default.
- W1490246830 hasConcept C199539241 @default.
- W1490246830 hasConcept C2776359362 @default.
- W1490246830 hasConcept C33923547 @default.
- W1490246830 hasConcept C41008148 @default.
- W1490246830 hasConcept C42058472 @default.
- W1490246830 hasConcept C4554734 @default.
- W1490246830 hasConcept C62360110 @default.
- W1490246830 hasConcept C94625758 @default.
- W1490246830 hasConceptScore W1490246830C115925183 @default.
- W1490246830 hasConceptScore W1490246830C128913409 @default.
- W1490246830 hasConceptScore W1490246830C134306372 @default.
- W1490246830 hasConceptScore W1490246830C154945302 @default.
- W1490246830 hasConceptScore W1490246830C161301231 @default.
- W1490246830 hasConceptScore W1490246830C177264268 @default.
- W1490246830 hasConceptScore W1490246830C17744445 @default.
- W1490246830 hasConceptScore W1490246830C199360897 @default.
- W1490246830 hasConceptScore W1490246830C199539241 @default.
- W1490246830 hasConceptScore W1490246830C2776359362 @default.
- W1490246830 hasConceptScore W1490246830C33923547 @default.
- W1490246830 hasConceptScore W1490246830C41008148 @default.
- W1490246830 hasConceptScore W1490246830C42058472 @default.
- W1490246830 hasConceptScore W1490246830C4554734 @default.
- W1490246830 hasConceptScore W1490246830C62360110 @default.
- W1490246830 hasConceptScore W1490246830C94625758 @default.
- W1490246830 hasLocation W14902468301 @default.
- W1490246830 hasOpenAccess W1490246830 @default.
- W1490246830 hasPrimaryLocation W14902468301 @default.
- W1490246830 hasRelatedWork W102058981 @default.
- W1490246830 hasRelatedWork W1513543985 @default.
- W1490246830 hasRelatedWork W1525436267 @default.
- W1490246830 hasRelatedWork W1541556122 @default.
- W1490246830 hasRelatedWork W1595990156 @default.
- W1490246830 hasRelatedWork W1644748346 @default.
- W1490246830 hasRelatedWork W1954101959 @default.
- W1490246830 hasRelatedWork W1967138724 @default.
- W1490246830 hasRelatedWork W1990709055 @default.
- W1490246830 hasRelatedWork W2021003968 @default.
- W1490246830 hasRelatedWork W2148105490 @default.
- W1490246830 hasRelatedWork W2153906874 @default.
- W1490246830 hasRelatedWork W2250154770 @default.
- W1490246830 hasRelatedWork W2739885649 @default.
- W1490246830 hasRelatedWork W2949763169 @default.
- W1490246830 hasRelatedWork W3012350883 @default.
- W1490246830 hasRelatedWork W3170941860 @default.
- W1490246830 hasRelatedWork W3172566269 @default.
- W1490246830 hasRelatedWork W69432615 @default.
- W1490246830 hasRelatedWork W19298009 @default.
- W1490246830 isParatext "false" @default.
- W1490246830 isRetracted "false" @default.
- W1490246830 magId "1490246830" @default.
- W1490246830 workType "book-chapter" @default.