Matches in SemOpenAlex for { <https://semopenalex.org/work/W4178132> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4178132 endingPage "568" @default.
- W4178132 startingPage "562" @default.
- W4178132 abstract "It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA (Winslett 1988), are generally problematic for updating knowledge bases with disjunctive information. In this paper, we propose two different approaches to deal with this problem - one is called the minimal change with exceptions (MCE), the other is called the minimal change with maximal disjunctive inclusions (MCD). The first method is syntax-based, while the second is model-theoretic. We show that these two approaches are equivalent for propositional knowledge base updates, and the second method is also appropriate for first order knowledge base updates. We then prove that our new update approaches still satisfy the standard Katsuno and Mendelzon's update postulates." @default.
- W4178132 created "2016-06-24" @default.
- W4178132 creator A5074632621 @default.
- W4178132 creator A5086664284 @default.
- W4178132 date "1996-08-04" @default.
- W4178132 modified "2023-09-24" @default.
- W4178132 title "Updating knowledge bases with disjunctive information" @default.
- W4178132 cites W1504608774 @default.
- W4178132 cites W1505436358 @default.
- W4178132 cites W1507278324 @default.
- W4178132 cites W175258934 @default.
- W4178132 cites W2007457223 @default.
- W4178132 cites W2014895071 @default.
- W4178132 cites W2060353552 @default.
- W4178132 cites W2160579271 @default.
- W4178132 cites W2335386552 @default.
- W4178132 hasPublicationYear "1996" @default.
- W4178132 type Work @default.
- W4178132 sameAs 4178132 @default.
- W4178132 citedByCount "12" @default.
- W4178132 countsByYear W41781322016 @default.
- W4178132 crossrefType "proceedings-article" @default.
- W4178132 hasAuthorship W4178132A5074632621 @default.
- W4178132 hasAuthorship W4178132A5086664284 @default.
- W4178132 hasConcept C128913409 @default.
- W4178132 hasConcept C134306372 @default.
- W4178132 hasConcept C154945302 @default.
- W4178132 hasConcept C33923547 @default.
- W4178132 hasConcept C41008148 @default.
- W4178132 hasConcept C42058472 @default.
- W4178132 hasConcept C4554734 @default.
- W4178132 hasConcept C60048249 @default.
- W4178132 hasConcept C80444323 @default.
- W4178132 hasConceptScore W4178132C128913409 @default.
- W4178132 hasConceptScore W4178132C134306372 @default.
- W4178132 hasConceptScore W4178132C154945302 @default.
- W4178132 hasConceptScore W4178132C33923547 @default.
- W4178132 hasConceptScore W4178132C41008148 @default.
- W4178132 hasConceptScore W4178132C42058472 @default.
- W4178132 hasConceptScore W4178132C4554734 @default.
- W4178132 hasConceptScore W4178132C60048249 @default.
- W4178132 hasConceptScore W4178132C80444323 @default.
- W4178132 hasLocation W41781321 @default.
- W4178132 hasOpenAccess W4178132 @default.
- W4178132 hasPrimaryLocation W41781321 @default.
- W4178132 hasRelatedWork W1504608774 @default.
- W4178132 hasRelatedWork W1543451444 @default.
- W4178132 hasRelatedWork W1549799088 @default.
- W4178132 hasRelatedWork W1568907523 @default.
- W4178132 hasRelatedWork W1594099509 @default.
- W4178132 hasRelatedWork W175258934 @default.
- W4178132 hasRelatedWork W181685262 @default.
- W4178132 hasRelatedWork W1982345710 @default.
- W4178132 hasRelatedWork W1990764990 @default.
- W4178132 hasRelatedWork W2007012284 @default.
- W4178132 hasRelatedWork W2007457223 @default.
- W4178132 hasRelatedWork W2038896017 @default.
- W4178132 hasRelatedWork W2103274744 @default.
- W4178132 hasRelatedWork W2111398557 @default.
- W4178132 hasRelatedWork W2138359650 @default.
- W4178132 hasRelatedWork W2142027944 @default.
- W4178132 hasRelatedWork W2149420462 @default.
- W4178132 hasRelatedWork W2160579271 @default.
- W4178132 hasRelatedWork W2233992046 @default.
- W4178132 hasRelatedWork W2621289400 @default.
- W4178132 isParatext "false" @default.
- W4178132 isRetracted "false" @default.
- W4178132 magId "4178132" @default.
- W4178132 workType "article" @default.