Matches in SemOpenAlex for { <https://semopenalex.org/work/W1875993002> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1875993002 endingPage "88" @default.
- W1875993002 startingPage "82" @default.
- W1875993002 abstract "Recent work on rule-based updates provided new frameworks for updates in more general knowledge domains [Marek and Truszczriski, 1994; Baral, 1994; Przymusinski and Turner, 1995]. In this paper, we consider a simple generalization of rule-based updates where incomplete knowledge bases are allowed and update rules may contain two types of negations. It turns out that previous methods cannot deal with this generalized rule-based update properly. To overcome the difficulty, we argue that necessary preferences between update rules and inertia rules must be taken into account in update specifications. From this motivation, we propose prioritized logic programs (PLPs) by adding preferences into extended logic programs. [Gelfond and Lifschitz, 1991]. Formal semantics of PLPs is provided in terms of the answer set semantics of extended logic programs. We then show that the procedure of generalized rule-based update can be formalized in the framework of PLPs. The minimal change property of the update is also investigated." @default.
- W1875993002 created "2016-06-24" @default.
- W1875993002 creator A5074632621 @default.
- W1875993002 creator A5086664284 @default.
- W1875993002 date "1997-08-23" @default.
- W1875993002 modified "2023-09-23" @default.
- W1875993002 title "Towards generalized rule-based updates" @default.
- W1875993002 cites W1504608774 @default.
- W1875993002 cites W1847820984 @default.
- W1875993002 cites W2076698873 @default.
- W1875993002 cites W2094341147 @default.
- W1875993002 hasPublicationYear "1997" @default.
- W1875993002 type Work @default.
- W1875993002 sameAs 1875993002 @default.
- W1875993002 citedByCount "12" @default.
- W1875993002 countsByYear W18759930022016 @default.
- W1875993002 crossrefType "proceedings-article" @default.
- W1875993002 hasAuthorship W1875993002A5074632621 @default.
- W1875993002 hasAuthorship W1875993002A5086664284 @default.
- W1875993002 hasConcept C111472728 @default.
- W1875993002 hasConcept C127001435 @default.
- W1875993002 hasConcept C128838566 @default.
- W1875993002 hasConcept C134306372 @default.
- W1875993002 hasConcept C138885662 @default.
- W1875993002 hasConcept C149271511 @default.
- W1875993002 hasConcept C154945302 @default.
- W1875993002 hasConcept C156325763 @default.
- W1875993002 hasConcept C159032336 @default.
- W1875993002 hasConcept C177148314 @default.
- W1875993002 hasConcept C177264268 @default.
- W1875993002 hasConcept C184337299 @default.
- W1875993002 hasConcept C189950617 @default.
- W1875993002 hasConcept C199360897 @default.
- W1875993002 hasConcept C2185349 @default.
- W1875993002 hasConcept C2780586882 @default.
- W1875993002 hasConcept C2987117450 @default.
- W1875993002 hasConcept C33923547 @default.
- W1875993002 hasConcept C41008148 @default.
- W1875993002 hasConcept C80444323 @default.
- W1875993002 hasConceptScore W1875993002C111472728 @default.
- W1875993002 hasConceptScore W1875993002C127001435 @default.
- W1875993002 hasConceptScore W1875993002C128838566 @default.
- W1875993002 hasConceptScore W1875993002C134306372 @default.
- W1875993002 hasConceptScore W1875993002C138885662 @default.
- W1875993002 hasConceptScore W1875993002C149271511 @default.
- W1875993002 hasConceptScore W1875993002C154945302 @default.
- W1875993002 hasConceptScore W1875993002C156325763 @default.
- W1875993002 hasConceptScore W1875993002C159032336 @default.
- W1875993002 hasConceptScore W1875993002C177148314 @default.
- W1875993002 hasConceptScore W1875993002C177264268 @default.
- W1875993002 hasConceptScore W1875993002C184337299 @default.
- W1875993002 hasConceptScore W1875993002C189950617 @default.
- W1875993002 hasConceptScore W1875993002C199360897 @default.
- W1875993002 hasConceptScore W1875993002C2185349 @default.
- W1875993002 hasConceptScore W1875993002C2780586882 @default.
- W1875993002 hasConceptScore W1875993002C2987117450 @default.
- W1875993002 hasConceptScore W1875993002C33923547 @default.
- W1875993002 hasConceptScore W1875993002C41008148 @default.
- W1875993002 hasConceptScore W1875993002C80444323 @default.
- W1875993002 hasLocation W18759930021 @default.
- W1875993002 hasOpenAccess W1875993002 @default.
- W1875993002 hasPrimaryLocation W18759930021 @default.
- W1875993002 hasRelatedWork W1483545604 @default.
- W1875993002 hasRelatedWork W1484166989 @default.
- W1875993002 hasRelatedWork W150743059 @default.
- W1875993002 hasRelatedWork W1551453953 @default.
- W1875993002 hasRelatedWork W1577410338 @default.
- W1875993002 hasRelatedWork W1594099509 @default.
- W1875993002 hasRelatedWork W1672891595 @default.
- W1875993002 hasRelatedWork W175258934 @default.
- W1875993002 hasRelatedWork W1847820984 @default.
- W1875993002 hasRelatedWork W1985274317 @default.
- W1875993002 hasRelatedWork W2022482529 @default.
- W1875993002 hasRelatedWork W2058658036 @default.
- W1875993002 hasRelatedWork W2076698873 @default.
- W1875993002 hasRelatedWork W2105631606 @default.
- W1875993002 hasRelatedWork W2124627636 @default.
- W1875993002 hasRelatedWork W2147194283 @default.
- W1875993002 hasRelatedWork W2149420462 @default.
- W1875993002 hasRelatedWork W59923821 @default.
- W1875993002 hasRelatedWork W68974267 @default.
- W1875993002 hasRelatedWork W90143897 @default.
- W1875993002 isParatext "false" @default.
- W1875993002 isRetracted "false" @default.
- W1875993002 magId "1875993002" @default.
- W1875993002 workType "article" @default.