Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288264211> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4288264211 abstract "We define reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models. We first consider the setting where an external controller with perfect information interacts with an environment and aims at reaching some epistemic goal state regarding the passive agents of the system. We study the problem of strategy existence for the controller, which generalises the classic epistemic planning problem, and we solve it for several types of actions such as public announcements and public actions. We then consider a yet richer setting where agents themselves are players, whose strategies must be based on their observations. We establish several (un)decidability results for the problem of existence of a distributed strategy, depending on the type of actions the players can use, and relate them to results from the literature on multiplayer games with imperfect information." @default.
- W4288264211 created "2022-07-28" @default.
- W4288264211 creator A5020611616 @default.
- W4288264211 creator A5045320227 @default.
- W4288264211 creator A5064915259 @default.
- W4288264211 date "2019-08-10" @default.
- W4288264211 modified "2023-10-16" @default.
- W4288264211 title "Reachability Games in Dynamic Epistemic Logic" @default.
- W4288264211 hasPublicationYear "2019" @default.
- W4288264211 type Work @default.
- W4288264211 citedByCount "0" @default.
- W4288264211 crossrefType "proceedings-article" @default.
- W4288264211 hasAuthorship W4288264211A5020611616 @default.
- W4288264211 hasAuthorship W4288264211A5045320227 @default.
- W4288264211 hasAuthorship W4288264211A5064915259 @default.
- W4288264211 hasBestOaLocation W42882642111 @default.
- W4288264211 hasConcept C102993220 @default.
- W4288264211 hasConcept C107247716 @default.
- W4288264211 hasConcept C11413529 @default.
- W4288264211 hasConcept C121332964 @default.
- W4288264211 hasConcept C123676819 @default.
- W4288264211 hasConcept C136643341 @default.
- W4288264211 hasConcept C138885662 @default.
- W4288264211 hasConcept C144237770 @default.
- W4288264211 hasConcept C153269930 @default.
- W4288264211 hasConcept C154945302 @default.
- W4288264211 hasConcept C203479927 @default.
- W4288264211 hasConcept C203659156 @default.
- W4288264211 hasConcept C22497172 @default.
- W4288264211 hasConcept C25016198 @default.
- W4288264211 hasConcept C2775924081 @default.
- W4288264211 hasConcept C2777669093 @default.
- W4288264211 hasConcept C2780310539 @default.
- W4288264211 hasConcept C2780791683 @default.
- W4288264211 hasConcept C33923547 @default.
- W4288264211 hasConcept C41008148 @default.
- W4288264211 hasConcept C41895202 @default.
- W4288264211 hasConcept C48103436 @default.
- W4288264211 hasConcept C62520636 @default.
- W4288264211 hasConcept C6557445 @default.
- W4288264211 hasConcept C80444323 @default.
- W4288264211 hasConcept C86803240 @default.
- W4288264211 hasConceptScore W4288264211C102993220 @default.
- W4288264211 hasConceptScore W4288264211C107247716 @default.
- W4288264211 hasConceptScore W4288264211C11413529 @default.
- W4288264211 hasConceptScore W4288264211C121332964 @default.
- W4288264211 hasConceptScore W4288264211C123676819 @default.
- W4288264211 hasConceptScore W4288264211C136643341 @default.
- W4288264211 hasConceptScore W4288264211C138885662 @default.
- W4288264211 hasConceptScore W4288264211C144237770 @default.
- W4288264211 hasConceptScore W4288264211C153269930 @default.
- W4288264211 hasConceptScore W4288264211C154945302 @default.
- W4288264211 hasConceptScore W4288264211C203479927 @default.
- W4288264211 hasConceptScore W4288264211C203659156 @default.
- W4288264211 hasConceptScore W4288264211C22497172 @default.
- W4288264211 hasConceptScore W4288264211C25016198 @default.
- W4288264211 hasConceptScore W4288264211C2775924081 @default.
- W4288264211 hasConceptScore W4288264211C2777669093 @default.
- W4288264211 hasConceptScore W4288264211C2780310539 @default.
- W4288264211 hasConceptScore W4288264211C2780791683 @default.
- W4288264211 hasConceptScore W4288264211C33923547 @default.
- W4288264211 hasConceptScore W4288264211C41008148 @default.
- W4288264211 hasConceptScore W4288264211C41895202 @default.
- W4288264211 hasConceptScore W4288264211C48103436 @default.
- W4288264211 hasConceptScore W4288264211C62520636 @default.
- W4288264211 hasConceptScore W4288264211C6557445 @default.
- W4288264211 hasConceptScore W4288264211C80444323 @default.
- W4288264211 hasConceptScore W4288264211C86803240 @default.
- W4288264211 hasLocation W42882642111 @default.
- W4288264211 hasOpenAccess W4288264211 @default.
- W4288264211 hasPrimaryLocation W42882642111 @default.
- W4288264211 hasRelatedWork W2047831585 @default.
- W4288264211 hasRelatedWork W2177564498 @default.
- W4288264211 hasRelatedWork W2215757563 @default.
- W4288264211 hasRelatedWork W2522627362 @default.
- W4288264211 hasRelatedWork W2947255904 @default.
- W4288264211 hasRelatedWork W2961758588 @default.
- W4288264211 hasRelatedWork W2963566691 @default.
- W4288264211 hasRelatedWork W2964414270 @default.
- W4288264211 hasRelatedWork W2972175790 @default.
- W4288264211 hasRelatedWork W3208672221 @default.
- W4288264211 isParatext "false" @default.
- W4288264211 isRetracted "false" @default.
- W4288264211 workType "article" @default.