Matches in SemOpenAlex for { <https://semopenalex.org/work/W3106364110> ?p ?o ?g. }
- W3106364110 endingPage "480" @default.
- W3106364110 startingPage "466" @default.
- W3106364110 abstract "The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. In order to apply the rationality result of belief dynamics theory to various practical problems, it should be generalized in two respects: first it should allow a certain part of belief to be declared as immutable; and second, the belief state need not be deductively closed. Such a generalization of belief dynamics, referred to as base dynamics, is presented in this paper, along with the concept of a generalized revision algorithm for knowledge bases (Horn or Horn logic with stratified negation). We show that knowledge base dynamics has an interesting connection with kernel change via hitting set and abduction. In this paper, we show how techniques from disjunctive logic programming can be used for efficient (deductive) database updates. The key idea is to transform the given database together with the update request into a disjunctive (datalog) logic program and apply disjunctive techniques (such as minimal model reasoning) to solve the original update problem. The approach extends and integrates standard techniques for efficient query answering and integrity checking. The generation of a hitting set is carried out through a hyper tableaux calculus and magic set that is focused on the goal of minimality." @default.
- W3106364110 created "2020-11-23" @default.
- W3106364110 creator A5073663123 @default.
- W3106364110 creator A5089356465 @default.
- W3106364110 date "2014-11-11" @default.
- W3106364110 modified "2023-10-06" @default.
- W3106364110 title "A new rational algorithm for view updating in relational databases" @default.
- W3106364110 cites W1496385246 @default.
- W3106364110 cites W1520084898 @default.
- W3106364110 cites W1526733996 @default.
- W3106364110 cites W1538004751 @default.
- W3106364110 cites W1577599253 @default.
- W3106364110 cites W1584332128 @default.
- W3106364110 cites W1668237659 @default.
- W3106364110 cites W1696024426 @default.
- W3106364110 cites W179632501 @default.
- W3106364110 cites W183250031 @default.
- W3106364110 cites W1966781086 @default.
- W3106364110 cites W1982853556 @default.
- W3106364110 cites W2006645710 @default.
- W3106364110 cites W2007012284 @default.
- W3106364110 cites W2015512057 @default.
- W3106364110 cites W2026124000 @default.
- W3106364110 cites W2030151461 @default.
- W3106364110 cites W2039781767 @default.
- W3106364110 cites W2054490363 @default.
- W3106364110 cites W2064494097 @default.
- W3106364110 cites W2066882247 @default.
- W3106364110 cites W2078954026 @default.
- W3106364110 cites W2085261789 @default.
- W3106364110 cites W2117854600 @default.
- W3106364110 cites W2123859812 @default.
- W3106364110 cites W2148105490 @default.
- W3106364110 cites W2149420462 @default.
- W3106364110 cites W2167117783 @default.
- W3106364110 cites W3103700189 @default.
- W3106364110 cites W4239925251 @default.
- W3106364110 cites W4253647193 @default.
- W3106364110 doi "https://doi.org/10.1007/s10489-014-0579-0" @default.
- W3106364110 hasPublicationYear "2014" @default.
- W3106364110 type Work @default.
- W3106364110 sameAs 3106364110 @default.
- W3106364110 citedByCount "4" @default.
- W3106364110 countsByYear W31063641102014 @default.
- W3106364110 countsByYear W31063641102015 @default.
- W3106364110 countsByYear W31063641102020 @default.
- W3106364110 countsByYear W31063641102023 @default.
- W3106364110 crossrefType "journal-article" @default.
- W3106364110 hasAuthorship W3106364110A5073663123 @default.
- W3106364110 hasAuthorship W3106364110A5089356465 @default.
- W3106364110 hasBestOaLocation W31063641102 @default.
- W3106364110 hasConcept C11413529 @default.
- W3106364110 hasConcept C128838566 @default.
- W3106364110 hasConcept C128913409 @default.
- W3106364110 hasConcept C134306372 @default.
- W3106364110 hasConcept C148230440 @default.
- W3106364110 hasConcept C154945302 @default.
- W3106364110 hasConcept C177148314 @default.
- W3106364110 hasConcept C177264268 @default.
- W3106364110 hasConcept C182620335 @default.
- W3106364110 hasConcept C189790780 @default.
- W3106364110 hasConcept C199360897 @default.
- W3106364110 hasConcept C2185349 @default.
- W3106364110 hasConcept C2777502361 @default.
- W3106364110 hasConcept C2779382394 @default.
- W3106364110 hasConcept C33923547 @default.
- W3106364110 hasConcept C41008148 @default.
- W3106364110 hasConcept C4554734 @default.
- W3106364110 hasConcept C5655090 @default.
- W3106364110 hasConcept C77088390 @default.
- W3106364110 hasConcept C80444323 @default.
- W3106364110 hasConceptScore W3106364110C11413529 @default.
- W3106364110 hasConceptScore W3106364110C128838566 @default.
- W3106364110 hasConceptScore W3106364110C128913409 @default.
- W3106364110 hasConceptScore W3106364110C134306372 @default.
- W3106364110 hasConceptScore W3106364110C148230440 @default.
- W3106364110 hasConceptScore W3106364110C154945302 @default.
- W3106364110 hasConceptScore W3106364110C177148314 @default.
- W3106364110 hasConceptScore W3106364110C177264268 @default.
- W3106364110 hasConceptScore W3106364110C182620335 @default.
- W3106364110 hasConceptScore W3106364110C189790780 @default.
- W3106364110 hasConceptScore W3106364110C199360897 @default.
- W3106364110 hasConceptScore W3106364110C2185349 @default.
- W3106364110 hasConceptScore W3106364110C2777502361 @default.
- W3106364110 hasConceptScore W3106364110C2779382394 @default.
- W3106364110 hasConceptScore W3106364110C33923547 @default.
- W3106364110 hasConceptScore W3106364110C41008148 @default.
- W3106364110 hasConceptScore W3106364110C4554734 @default.
- W3106364110 hasConceptScore W3106364110C5655090 @default.
- W3106364110 hasConceptScore W3106364110C77088390 @default.
- W3106364110 hasConceptScore W3106364110C80444323 @default.
- W3106364110 hasIssue "3" @default.
- W3106364110 hasLocation W31063641101 @default.
- W3106364110 hasLocation W31063641102 @default.
- W3106364110 hasOpenAccess W3106364110 @default.
- W3106364110 hasPrimaryLocation W31063641101 @default.
- W3106364110 hasRelatedWork W1565767456 @default.
- W3106364110 hasRelatedWork W1582387176 @default.