Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912248071> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2912248071 endingPage "693" @default.
- W2912248071 startingPage "677" @default.
- W2912248071 abstract "We introduce strategy logic , a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properties of nonzero-sum games in a simple and natural way. We show that the one-alternation fragment of strategy logic is strong enough to express the existence of Nash equilibria and secure equilibria, and subsumes other logics that were introduced to reason about games, such as ATL, ATL ∗ , and game logic. We show that strategy logic is decidable, by constructing tree automata that recognize sets of strategies. While for the general logic, our decision procedure is nonelementary, for the simple fragment that is used above we show that the complexity is polynomial in the size of the game graph and optimal in the size of the formula (ranging from polynomial to 2EXPTIME depending on the form of the formula)." @default.
- W2912248071 created "2019-02-21" @default.
- W2912248071 creator A5045161607 @default.
- W2912248071 creator A5052607806 @default.
- W2912248071 creator A5080555605 @default.
- W2912248071 date "2010-06-01" @default.
- W2912248071 modified "2023-10-01" @default.
- W2912248071 title "Strategy logic" @default.
- W2912248071 cites W1816620374 @default.
- W2912248071 cites W1966347268 @default.
- W2912248071 cites W1990609140 @default.
- W2912248071 cites W1996207810 @default.
- W2912248071 cites W2015640848 @default.
- W2912248071 cites W2016206563 @default.
- W2912248071 cites W2017759899 @default.
- W2912248071 cites W2048905609 @default.
- W2912248071 cites W2067050450 @default.
- W2912248071 cites W2118268563 @default.
- W2912248071 cites W2150447589 @default.
- W2912248071 cites W2157319504 @default.
- W2912248071 cites W2913210435 @default.
- W2912248071 cites W2914000465 @default.
- W2912248071 cites W4248784701 @default.
- W2912248071 doi "https://doi.org/10.1016/j.ic.2009.07.004" @default.
- W2912248071 hasPublicationYear "2010" @default.
- W2912248071 type Work @default.
- W2912248071 sameAs 2912248071 @default.
- W2912248071 citedByCount "170" @default.
- W2912248071 countsByYear W29122480712012 @default.
- W2912248071 countsByYear W29122480712013 @default.
- W2912248071 countsByYear W29122480712014 @default.
- W2912248071 countsByYear W29122480712015 @default.
- W2912248071 countsByYear W29122480712016 @default.
- W2912248071 countsByYear W29122480712017 @default.
- W2912248071 countsByYear W29122480712018 @default.
- W2912248071 countsByYear W29122480712019 @default.
- W2912248071 countsByYear W29122480712020 @default.
- W2912248071 countsByYear W29122480712021 @default.
- W2912248071 countsByYear W29122480712022 @default.
- W2912248071 countsByYear W29122480712023 @default.
- W2912248071 crossrefType "journal-article" @default.
- W2912248071 hasAuthorship W2912248071A5045161607 @default.
- W2912248071 hasAuthorship W2912248071A5052607806 @default.
- W2912248071 hasAuthorship W2912248071A5080555605 @default.
- W2912248071 hasBestOaLocation W29122480711 @default.
- W2912248071 hasConcept C111472728 @default.
- W2912248071 hasConcept C112505250 @default.
- W2912248071 hasConcept C11413529 @default.
- W2912248071 hasConcept C118615104 @default.
- W2912248071 hasConcept C138885662 @default.
- W2912248071 hasConcept C153269930 @default.
- W2912248071 hasConcept C25016198 @default.
- W2912248071 hasConcept C26826806 @default.
- W2912248071 hasConcept C2776235265 @default.
- W2912248071 hasConcept C2780586882 @default.
- W2912248071 hasConcept C33923547 @default.
- W2912248071 hasConcept C41008148 @default.
- W2912248071 hasConcept C41895202 @default.
- W2912248071 hasConcept C80444323 @default.
- W2912248071 hasConceptScore W2912248071C111472728 @default.
- W2912248071 hasConceptScore W2912248071C112505250 @default.
- W2912248071 hasConceptScore W2912248071C11413529 @default.
- W2912248071 hasConceptScore W2912248071C118615104 @default.
- W2912248071 hasConceptScore W2912248071C138885662 @default.
- W2912248071 hasConceptScore W2912248071C153269930 @default.
- W2912248071 hasConceptScore W2912248071C25016198 @default.
- W2912248071 hasConceptScore W2912248071C26826806 @default.
- W2912248071 hasConceptScore W2912248071C2776235265 @default.
- W2912248071 hasConceptScore W2912248071C2780586882 @default.
- W2912248071 hasConceptScore W2912248071C33923547 @default.
- W2912248071 hasConceptScore W2912248071C41008148 @default.
- W2912248071 hasConceptScore W2912248071C41895202 @default.
- W2912248071 hasConceptScore W2912248071C80444323 @default.
- W2912248071 hasIssue "6" @default.
- W2912248071 hasLocation W29122480711 @default.
- W2912248071 hasOpenAccess W2912248071 @default.
- W2912248071 hasPrimaryLocation W29122480711 @default.
- W2912248071 hasRelatedWork W1560269247 @default.
- W2912248071 hasRelatedWork W1834081712 @default.
- W2912248071 hasRelatedWork W1880816751 @default.
- W2912248071 hasRelatedWork W2036947848 @default.
- W2912248071 hasRelatedWork W2088800856 @default.
- W2912248071 hasRelatedWork W2279163573 @default.
- W2912248071 hasRelatedWork W2581629772 @default.
- W2912248071 hasRelatedWork W3159912674 @default.
- W2912248071 hasRelatedWork W3177160037 @default.
- W2912248071 hasRelatedWork W4300794829 @default.
- W2912248071 hasVolume "208" @default.
- W2912248071 isParatext "false" @default.
- W2912248071 isRetracted "false" @default.
- W2912248071 magId "2912248071" @default.
- W2912248071 workType "article" @default.