FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1596565505> ?p ?o ?g. }

• W1596565505 endingPage "586" @default.
• W1596565505 startingPage "576" @default.
• W1596565505 abstract "In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason about its own or other agents' knowledge. In our framework, two notions namely agents' observable variables and the weakest sufficient condition play important roles in knowledge reasoning. Given a background knowledge base T and a set of observable variables Oi, for each agent i, we show that the notion of agent i knowing a formula φ can be defined as a weakest sufficient condition of φ on Oi under T. Moreover, we show how to capture the notion of common knowledge by using a generalized notion of weakest sufficient condition. We also discuss possible applications of our framework in some interesting domains such as the automated analysis of the well-known muddy children puzzle and the verification of the revised Needham-Schroeder protocol." @default.
• W1596565505 created "2016-06-24" @default.
• W1596565505 creator A5037325282 @default.
• W1596565505 creator A5070182721 @default.
• W1596565505 creator A5086664284 @default.
• W1596565505 date "2004-06-02" @default.
• W1596565505 modified "2023-09-25" @default.
• W1596565505 title "Reasoning about knowledge by variable forgetting" @default.
• W1596565505 cites W102693356 @default.
• W1596565505 cites W146287317 @default.
• W1596565505 cites W1508084520 @default.
• W1596565505 cites W1511042226 @default.
• W1596565505 cites W1513902634 @default.
• W1596565505 cites W1518725080 @default.
• W1596565505 cites W15217643 @default.
• W1596565505 cites W1549420241 @default.
• W1596565505 cites W1566400168 @default.
• W1596565505 cites W1578044518 @default.
• W1596565505 cites W1655669983 @default.
• W1596565505 cites W1708670429 @default.
• W1596565505 cites W1988699312 @default.
• W1596565505 cites W1991972474 @default.
• W1596565505 cites W2010939995 @default.
• W1596565505 cites W2029693536 @default.
• W1596565505 cites W2045478049 @default.
• W1596565505 cites W2046213250 @default.
• W1596565505 cites W2077025369 @default.
• W1596565505 cites W2104907826 @default.
• W1596565505 cites W2146819619 @default.
• W1596565505 cites W2146973388 @default.
• W1596565505 cites W2155032609 @default.
• W1596565505 cites W2158367212 @default.
• W1596565505 cites W2290014530 @default.
• W1596565505 cites W3140030144 @default.
• W1596565505 cites W5642659 @default.
• W1596565505 cites W6065477 @default.
• W1596565505 hasPublicationYear "2004" @default.
• W1596565505 type Work @default.
• W1596565505 sameAs 1596565505 @default.
• W1596565505 citedByCount "8" @default.
• W1596565505 crossrefType "proceedings-article" @default.
• W1596565505 hasAuthorship W1596565505A5037325282 @default.
• W1596565505 hasAuthorship W1596565505A5070182721 @default.
• W1596565505 hasAuthorship W1596565505A5086664284 @default.
• W1596565505 hasConcept C111472728 @default.
• W1596565505 hasConcept C121332964 @default.
• W1596565505 hasConcept C134306372 @default.
• W1596565505 hasConcept C138885662 @default.
• W1596565505 hasConcept C154945302 @default.
• W1596565505 hasConcept C15744967 @default.
• W1596565505 hasConcept C177264268 @default.
• W1596565505 hasConcept C180747234 @default.
• W1596565505 hasConcept C182365436 @default.
• W1596565505 hasConcept C199360897 @default.
• W1596565505 hasConcept C2780586882 @default.
• W1596565505 hasConcept C32848918 @default.
• W1596565505 hasConcept C33923547 @default.
• W1596565505 hasConcept C41008148 @default.
• W1596565505 hasConcept C4554734 @default.
• W1596565505 hasConcept C62520636 @default.
• W1596565505 hasConcept C7149132 @default.
• W1596565505 hasConcept C80444323 @default.
• W1596565505 hasConceptScore W1596565505C111472728 @default.
• W1596565505 hasConceptScore W1596565505C121332964 @default.
• W1596565505 hasConceptScore W1596565505C134306372 @default.
• W1596565505 hasConceptScore W1596565505C138885662 @default.
• W1596565505 hasConceptScore W1596565505C154945302 @default.
• W1596565505 hasConceptScore W1596565505C15744967 @default.
• W1596565505 hasConceptScore W1596565505C177264268 @default.
• W1596565505 hasConceptScore W1596565505C180747234 @default.
• W1596565505 hasConceptScore W1596565505C182365436 @default.
• W1596565505 hasConceptScore W1596565505C199360897 @default.
• W1596565505 hasConceptScore W1596565505C2780586882 @default.
• W1596565505 hasConceptScore W1596565505C32848918 @default.
• W1596565505 hasConceptScore W1596565505C33923547 @default.
• W1596565505 hasConceptScore W1596565505C41008148 @default.
• W1596565505 hasConceptScore W1596565505C4554734 @default.
• W1596565505 hasConceptScore W1596565505C62520636 @default.
• W1596565505 hasConceptScore W1596565505C7149132 @default.
• W1596565505 hasConceptScore W1596565505C80444323 @default.
• W1596565505 hasLocation W15965655051 @default.
• W1596565505 hasOpenAccess W1596565505 @default.
• W1596565505 hasPrimaryLocation W15965655051 @default.
• W1596565505 hasRelatedWork W116509193 @default.
• W1596565505 hasRelatedWork W146287317 @default.
• W1596565505 hasRelatedWork W1552095982 @default.
• W1596565505 hasRelatedWork W156832481 @default.
• W1596565505 hasRelatedWork W1585029676 @default.
• W1596565505 hasRelatedWork W196428740 @default.
• W1596565505 hasRelatedWork W1976904791 @default.
• W1596565505 hasRelatedWork W2037576563 @default.
• W1596565505 hasRelatedWork W2104907826 @default.
• W1596565505 hasRelatedWork W2107075658 @default.
• W1596565505 hasRelatedWork W2114549239 @default.
• W1596565505 hasRelatedWork W2140198764 @default.
• W1596565505 hasRelatedWork W2146819619 @default.
• W1596565505 hasRelatedWork W2163431465 @default.
• W1596565505 hasRelatedWork W2174970731 @default.

• next