FRINK Linked Data Fragments server

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

• W2969320851 endingPage "276" @default.
• W2969320851 startingPage "259" @default.
• W2969320851 abstract "We introduce a novel comprehensive framework for epistemic reasoning in multi-agent systems where agents may behave asynchronously and may be byzantine faulty. Extending Fagin et al.’s classic runs-and-systems framework to agents who may arbitrarily deviate from their protocols, it combines epistemic and temporal logic and incorporates fine-grained mechanisms for specifying distributed protocols and their behaviors. Besides our framework’s ability to express any type of faulty behavior, from fully byzantine to fully benign, it allows to specify arbitrary timing and synchronization properties. As a consequence, it can be adapted to any message-passing distributed computing model we are aware of, including synchronous processes and communication, (un-)reliable uni-/multi-/broadcast communication, and even coordinated action. The utility of our framework is demonstrated by formalizing the brain-in-a-vat scenario, which exposes the substantial limitations of what can be known by asynchronous agents in fault-tolerant distributed systems. Given the knowledge of preconditions principle, this restricts preconditions that error-prone agents can use in their protocols. In particular, it is usually necessary to relativize preconditions with respect to the correctness of the acting agent." @default.
• W2969320851 created "2019-08-29" @default.
• W2969320851 creator A5006249454 @default.
• W2969320851 creator A5022955553 @default.
• W2969320851 creator A5038193686 @default.
• W2969320851 creator A5082531855 @default.
• W2969320851 date "2019-01-01" @default.
• W2969320851 modified "2023-09-30" @default.
• W2969320851 title "Epistemic Reasoning with Byzantine-Faulty Agents" @default.
• W2969320851 cites W1587990038 @default.
• W2969320851 cites W1950554995 @default.
• W2969320851 cites W1991407706 @default.
• W2969320851 cites W1998337263 @default.
• W2969320851 cites W2004306397 @default.
• W2969320851 cites W2022205872 @default.
• W2969320851 cites W2030987061 @default.
• W2969320851 cites W2055848982 @default.
• W2969320851 cites W2063031064 @default.
• W2969320851 cites W2065083916 @default.
• W2969320851 cites W2087700841 @default.
• W2969320851 cites W2091004544 @default.
• W2969320851 cites W2092431596 @default.
• W2969320851 cites W2144501579 @default.
• W2969320851 cites W2468048735 @default.
• W2969320851 cites W2546866793 @default.
• W2969320851 cites W2799327262 @default.
• W2969320851 cites W3037461512 @default.
• W2969320851 cites W3137092842 @default.
• W2969320851 cites W4237322245 @default.
• W2969320851 doi "https://doi.org/10.1007/978-3-030-29007-8_15" @default.
• W2969320851 hasPublicationYear "2019" @default.
• W2969320851 type Work @default.
• W2969320851 sameAs 2969320851 @default.
• W2969320851 citedByCount "7" @default.
• W2969320851 countsByYear W29693208512019 @default.
• W2969320851 countsByYear W29693208512020 @default.
• W2969320851 countsByYear W29693208512021 @default.
• W2969320851 countsByYear W29693208512023 @default.
• W2969320851 crossrefType "book-chapter" @default.
• W2969320851 hasAuthorship W2969320851A5006249454 @default.
• W2969320851 hasAuthorship W2969320851A5022955553 @default.
• W2969320851 hasAuthorship W2969320851A5038193686 @default.
• W2969320851 hasAuthorship W2969320851A5082531855 @default.
• W2969320851 hasConcept C102993220 @default.
• W2969320851 hasConcept C104562893 @default.
• W2969320851 hasConcept C107247716 @default.
• W2969320851 hasConcept C11413529 @default.
• W2969320851 hasConcept C120314980 @default.
• W2969320851 hasConcept C121332964 @default.
• W2969320851 hasConcept C127162648 @default.
• W2969320851 hasConcept C151319957 @default.
• W2969320851 hasConcept C168021876 @default.
• W2969320851 hasConcept C17532199 @default.
• W2969320851 hasConcept C195244886 @default.
• W2969320851 hasConcept C203659156 @default.
• W2969320851 hasConcept C25016198 @default.
• W2969320851 hasConcept C2778562939 @default.
• W2969320851 hasConcept C2780791683 @default.
• W2969320851 hasConcept C31258907 @default.
• W2969320851 hasConcept C41008148 @default.
• W2969320851 hasConcept C55439883 @default.
• W2969320851 hasConcept C62520636 @default.
• W2969320851 hasConcept C63540848 @default.
• W2969320851 hasConcept C80444323 @default.
• W2969320851 hasConcept C854659 @default.
• W2969320851 hasConcept C95457728 @default.
• W2969320851 hasConceptScore W2969320851C102993220 @default.
• W2969320851 hasConceptScore W2969320851C104562893 @default.
• W2969320851 hasConceptScore W2969320851C107247716 @default.
• W2969320851 hasConceptScore W2969320851C11413529 @default.
• W2969320851 hasConceptScore W2969320851C120314980 @default.
• W2969320851 hasConceptScore W2969320851C121332964 @default.
• W2969320851 hasConceptScore W2969320851C127162648 @default.
• W2969320851 hasConceptScore W2969320851C151319957 @default.
• W2969320851 hasConceptScore W2969320851C168021876 @default.
• W2969320851 hasConceptScore W2969320851C17532199 @default.
• W2969320851 hasConceptScore W2969320851C195244886 @default.
• W2969320851 hasConceptScore W2969320851C203659156 @default.
• W2969320851 hasConceptScore W2969320851C25016198 @default.
• W2969320851 hasConceptScore W2969320851C2778562939 @default.
• W2969320851 hasConceptScore W2969320851C2780791683 @default.
• W2969320851 hasConceptScore W2969320851C31258907 @default.
• W2969320851 hasConceptScore W2969320851C41008148 @default.
• W2969320851 hasConceptScore W2969320851C55439883 @default.
• W2969320851 hasConceptScore W2969320851C62520636 @default.
• W2969320851 hasConceptScore W2969320851C63540848 @default.
• W2969320851 hasConceptScore W2969320851C80444323 @default.
• W2969320851 hasConceptScore W2969320851C854659 @default.
• W2969320851 hasConceptScore W2969320851C95457728 @default.
• W2969320851 hasLocation W29693208511 @default.
• W2969320851 hasOpenAccess W2969320851 @default.
• W2969320851 hasPrimaryLocation W29693208511 @default.
• W2969320851 hasRelatedWork W2120793351 @default.
• W2969320851 hasRelatedWork W2364921833 @default.
• W2969320851 hasRelatedWork W2365944311 @default.
• W2969320851 hasRelatedWork W2535240814 @default.
• W2969320851 hasRelatedWork W2546731809 @default.
• W2969320851 hasRelatedWork W2969320851 @default.

• next