Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949106966> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2949106966 abstract "Notion of strategy in game theory is static and presumably constructed before the game play. The static, pre-determined notion of strategies falls short analyzing perfect information games. Because, we, people, do not strategize as such even in perfect information games - largely because we are not logically omniscient, and we have limited computational power and bounded memory. In this paper, we focus on what we call move updates where some moves become unavailable during the game. Our goal here is to present a formal framework for move based strategy restrictions extending strategy logic which was introduced by Ramanujam and Simon. In this paper, we present a dynamic version of strategy logic, prove its completeness and decidability along with the decidability of the strategy logic which was an open problem so far. We also present an analysis of centipede by using our logic." @default.
- W2949106966 created "2019-06-27" @default.
- W2949106966 creator A5040722553 @default.
- W2949106966 date "2011-07-25" @default.
- W2949106966 modified "2023-09-27" @default.
- W2949106966 title "A Logic for Strategy Updates" @default.
- W2949106966 cites W197077171 @default.
- W2949106966 cites W2004306067 @default.
- W2949106966 cites W2060336054 @default.
- W2949106966 cites W2069746367 @default.
- W2949106966 cites W2075928479 @default.
- W2949106966 cites W2076078461 @default.
- W2949106966 cites W2096959337 @default.
- W2949106966 cites W2099126437 @default.
- W2949106966 cites W2112855957 @default.
- W2949106966 cites W2159131252 @default.
- W2949106966 cites W2396555304 @default.
- W2949106966 cites W2404831476 @default.
- W2949106966 cites W2968832504 @default.
- W2949106966 cites W3121168242 @default.
- W2949106966 hasPublicationYear "2011" @default.
- W2949106966 type Work @default.
- W2949106966 sameAs 2949106966 @default.
- W2949106966 citedByCount "0" @default.
- W2949106966 crossrefType "posted-content" @default.
- W2949106966 hasAuthorship W2949106966A5040722553 @default.
- W2949106966 hasConcept C120665830 @default.
- W2949106966 hasConcept C121332964 @default.
- W2949106966 hasConcept C123676819 @default.
- W2949106966 hasConcept C134306372 @default.
- W2949106966 hasConcept C144237770 @default.
- W2949106966 hasConcept C153269930 @default.
- W2949106966 hasConcept C165801399 @default.
- W2949106966 hasConcept C17231256 @default.
- W2949106966 hasConcept C172385210 @default.
- W2949106966 hasConcept C177142836 @default.
- W2949106966 hasConcept C192209626 @default.
- W2949106966 hasConcept C195818886 @default.
- W2949106966 hasConcept C2777796570 @default.
- W2949106966 hasConcept C33923547 @default.
- W2949106966 hasConcept C41008148 @default.
- W2949106966 hasConcept C62520636 @default.
- W2949106966 hasConcept C80444323 @default.
- W2949106966 hasConceptScore W2949106966C120665830 @default.
- W2949106966 hasConceptScore W2949106966C121332964 @default.
- W2949106966 hasConceptScore W2949106966C123676819 @default.
- W2949106966 hasConceptScore W2949106966C134306372 @default.
- W2949106966 hasConceptScore W2949106966C144237770 @default.
- W2949106966 hasConceptScore W2949106966C153269930 @default.
- W2949106966 hasConceptScore W2949106966C165801399 @default.
- W2949106966 hasConceptScore W2949106966C17231256 @default.
- W2949106966 hasConceptScore W2949106966C172385210 @default.
- W2949106966 hasConceptScore W2949106966C177142836 @default.
- W2949106966 hasConceptScore W2949106966C192209626 @default.
- W2949106966 hasConceptScore W2949106966C195818886 @default.
- W2949106966 hasConceptScore W2949106966C2777796570 @default.
- W2949106966 hasConceptScore W2949106966C33923547 @default.
- W2949106966 hasConceptScore W2949106966C41008148 @default.
- W2949106966 hasConceptScore W2949106966C62520636 @default.
- W2949106966 hasConceptScore W2949106966C80444323 @default.
- W2949106966 hasLocation W29491069661 @default.
- W2949106966 hasOpenAccess W2949106966 @default.
- W2949106966 hasPrimaryLocation W29491069661 @default.
- W2949106966 hasRelatedWork W1449423580 @default.
- W2949106966 hasRelatedWork W1478361522 @default.
- W2949106966 hasRelatedWork W1547701690 @default.
- W2949106966 hasRelatedWork W179404023 @default.
- W2949106966 hasRelatedWork W1798501970 @default.
- W2949106966 hasRelatedWork W1899466088 @default.
- W2949106966 hasRelatedWork W1966063923 @default.
- W2949106966 hasRelatedWork W2005939826 @default.
- W2949106966 hasRelatedWork W2146242204 @default.
- W2949106966 hasRelatedWork W2207775294 @default.
- W2949106966 hasRelatedWork W2353335216 @default.
- W2949106966 hasRelatedWork W2775722550 @default.
- W2949106966 hasRelatedWork W2889496947 @default.
- W2949106966 hasRelatedWork W2898622275 @default.
- W2949106966 hasRelatedWork W2953044902 @default.
- W2949106966 hasRelatedWork W2964414270 @default.
- W2949106966 hasRelatedWork W3091580919 @default.
- W2949106966 hasRelatedWork W3121356876 @default.
- W2949106966 hasRelatedWork W2234535651 @default.
- W2949106966 hasRelatedWork W2515815606 @default.
- W2949106966 isParatext "false" @default.
- W2949106966 isRetracted "false" @default.
- W2949106966 magId "2949106966" @default.
- W2949106966 workType "article" @default.