Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300484727> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4300484727 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. We introduced the Horn knowledge base dynamics to deal with two important points: first, to handle belief states that need not be deductively closed; and the second point is the ability to declare certain parts of the belief as immutable. In this paper, we address another, radically new approach to this problem. This approach is very close to the Hansson's dyadic representation of belief. Here, we consider the immutable part as defining a new logical system. By a logical system, we mean that it defines its own consequence relation and closure operator. Based on this, we provide an abductive framework for Horn knowledge base dynamics." @default.
- W4300484727 created "2022-10-03" @default.
- W4300484727 creator A5073663123 @default.
- W4300484727 date "2014-05-12" @default.
- W4300484727 modified "2023-09-26" @default.
- W4300484727 title "An Abductive Framework for Horn Knowledge Base Dynamics" @default.
- W4300484727 doi "https://doi.org/10.48550/arxiv.1405.2642" @default.
- W4300484727 hasPublicationYear "2014" @default.
- W4300484727 type Work @default.
- W4300484727 citedByCount "0" @default.
- W4300484727 crossrefType "posted-content" @default.
- W4300484727 hasAuthorship W4300484727A5073663123 @default.
- W4300484727 hasBestOaLocation W43004847271 @default.
- W4300484727 hasConcept C104317684 @default.
- W4300484727 hasConcept C124101348 @default.
- W4300484727 hasConcept C128913409 @default.
- W4300484727 hasConcept C134306372 @default.
- W4300484727 hasConcept C145912823 @default.
- W4300484727 hasConcept C152076505 @default.
- W4300484727 hasConcept C154945302 @default.
- W4300484727 hasConcept C15744967 @default.
- W4300484727 hasConcept C158448853 @default.
- W4300484727 hasConcept C161301231 @default.
- W4300484727 hasConcept C17020691 @default.
- W4300484727 hasConcept C17744445 @default.
- W4300484727 hasConcept C185592680 @default.
- W4300484727 hasConcept C19417346 @default.
- W4300484727 hasConcept C199360897 @default.
- W4300484727 hasConcept C199539241 @default.
- W4300484727 hasConcept C20693621 @default.
- W4300484727 hasConcept C2524010 @default.
- W4300484727 hasConcept C25343380 @default.
- W4300484727 hasConcept C2776359362 @default.
- W4300484727 hasConcept C28719098 @default.
- W4300484727 hasConcept C33923547 @default.
- W4300484727 hasConcept C41008148 @default.
- W4300484727 hasConcept C42058472 @default.
- W4300484727 hasConcept C4554734 @default.
- W4300484727 hasConcept C55493867 @default.
- W4300484727 hasConcept C86339819 @default.
- W4300484727 hasConcept C94625758 @default.
- W4300484727 hasConceptScore W4300484727C104317684 @default.
- W4300484727 hasConceptScore W4300484727C124101348 @default.
- W4300484727 hasConceptScore W4300484727C128913409 @default.
- W4300484727 hasConceptScore W4300484727C134306372 @default.
- W4300484727 hasConceptScore W4300484727C145912823 @default.
- W4300484727 hasConceptScore W4300484727C152076505 @default.
- W4300484727 hasConceptScore W4300484727C154945302 @default.
- W4300484727 hasConceptScore W4300484727C15744967 @default.
- W4300484727 hasConceptScore W4300484727C158448853 @default.
- W4300484727 hasConceptScore W4300484727C161301231 @default.
- W4300484727 hasConceptScore W4300484727C17020691 @default.
- W4300484727 hasConceptScore W4300484727C17744445 @default.
- W4300484727 hasConceptScore W4300484727C185592680 @default.
- W4300484727 hasConceptScore W4300484727C19417346 @default.
- W4300484727 hasConceptScore W4300484727C199360897 @default.
- W4300484727 hasConceptScore W4300484727C199539241 @default.
- W4300484727 hasConceptScore W4300484727C20693621 @default.
- W4300484727 hasConceptScore W4300484727C2524010 @default.
- W4300484727 hasConceptScore W4300484727C25343380 @default.
- W4300484727 hasConceptScore W4300484727C2776359362 @default.
- W4300484727 hasConceptScore W4300484727C28719098 @default.
- W4300484727 hasConceptScore W4300484727C33923547 @default.
- W4300484727 hasConceptScore W4300484727C41008148 @default.
- W4300484727 hasConceptScore W4300484727C42058472 @default.
- W4300484727 hasConceptScore W4300484727C4554734 @default.
- W4300484727 hasConceptScore W4300484727C55493867 @default.
- W4300484727 hasConceptScore W4300484727C86339819 @default.
- W4300484727 hasConceptScore W4300484727C94625758 @default.
- W4300484727 hasLocation W43004847271 @default.
- W4300484727 hasLocation W43004847272 @default.
- W4300484727 hasOpenAccess W4300484727 @default.
- W4300484727 hasPrimaryLocation W43004847271 @default.
- W4300484727 hasRelatedWork W1568564986 @default.
- W4300484727 hasRelatedWork W189167212 @default.
- W4300484727 hasRelatedWork W2050166550 @default.
- W4300484727 hasRelatedWork W2104168313 @default.
- W4300484727 hasRelatedWork W2355172082 @default.
- W4300484727 hasRelatedWork W2787986796 @default.
- W4300484727 hasRelatedWork W2952854166 @default.
- W4300484727 hasRelatedWork W3012350883 @default.
- W4300484727 hasRelatedWork W3108728726 @default.
- W4300484727 hasRelatedWork W4300484727 @default.
- W4300484727 isParatext "false" @default.
- W4300484727 isRetracted "false" @default.
- W4300484727 workType "article" @default.