Matches in SemOpenAlex for { <https://semopenalex.org/work/W2289856779> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2289856779 endingPage "746" @default.
- W2289856779 startingPage "733" @default.
- W2289856779 abstract "This paper presents a logical framework that extends the Game Description Language with coalition operators from Alternating-time Temporal Logic and prioritised strategy connectives. Our semantics is built upon the standard state transition model. The new framework allows us to formalise van Benthem’s game-oriented principles in multi-player games, and formally derive Weak Determinacy and Zermelo’s Theorem for two-player games. We demonstrate with a real-world game how to use our language to specify a game and design a strategy, and how to use our framework to verify a winning/no-losing strategy. Finally, we show that the model-checking problem of our logic is in 2EXPTIME with respect to the size of game structure and the length of formula, which is no worse than the model-checking problem in ATL ⋆ ." @default.
- W2289856779 created "2016-06-24" @default.
- W2289856779 creator A5050217126 @default.
- W2289856779 creator A5056665433 @default.
- W2289856779 creator A5059252015 @default.
- W2289856779 date "2014-01-01" @default.
- W2289856779 modified "2023-10-16" @default.
- W2289856779 title "GDL Meets ATL: A Logic for Game Description and Strategic Reasoning" @default.
- W2289856779 cites W1597481850 @default.
- W2289856779 cites W17749007 @default.
- W2289856779 cites W1828503850 @default.
- W2289856779 cites W193053345 @default.
- W2289856779 cites W1976598135 @default.
- W2289856779 cites W1990386132 @default.
- W2289856779 cites W1994685255 @default.
- W2289856779 cites W2007959953 @default.
- W2289856779 cites W2027140054 @default.
- W2289856779 cites W2048905609 @default.
- W2289856779 cites W2054071520 @default.
- W2289856779 cites W2097831824 @default.
- W2289856779 cites W2109058602 @default.
- W2289856779 cites W2110750971 @default.
- W2289856779 cites W2123081947 @default.
- W2289856779 cites W2912248071 @default.
- W2289856779 cites W4238601864 @default.
- W2289856779 doi "https://doi.org/10.1007/978-3-319-13560-1_58" @default.
- W2289856779 hasPublicationYear "2014" @default.
- W2289856779 type Work @default.
- W2289856779 sameAs 2289856779 @default.
- W2289856779 citedByCount "4" @default.
- W2289856779 countsByYear W22898567792015 @default.
- W2289856779 countsByYear W22898567792020 @default.
- W2289856779 crossrefType "book-chapter" @default.
- W2289856779 hasAuthorship W2289856779A5050217126 @default.
- W2289856779 hasAuthorship W2289856779A5056665433 @default.
- W2289856779 hasAuthorship W2289856779A5059252015 @default.
- W2289856779 hasBestOaLocation W22898567792 @default.
- W2289856779 hasConcept C134306372 @default.
- W2289856779 hasConcept C144237770 @default.
- W2289856779 hasConcept C156325763 @default.
- W2289856779 hasConcept C177142836 @default.
- W2289856779 hasConcept C184337299 @default.
- W2289856779 hasConcept C199360897 @default.
- W2289856779 hasConcept C207648694 @default.
- W2289856779 hasConcept C25016198 @default.
- W2289856779 hasConcept C33923547 @default.
- W2289856779 hasConcept C41008148 @default.
- W2289856779 hasConcept C58468513 @default.
- W2289856779 hasConcept C80444323 @default.
- W2289856779 hasConcept C9672783 @default.
- W2289856779 hasConceptScore W2289856779C134306372 @default.
- W2289856779 hasConceptScore W2289856779C144237770 @default.
- W2289856779 hasConceptScore W2289856779C156325763 @default.
- W2289856779 hasConceptScore W2289856779C177142836 @default.
- W2289856779 hasConceptScore W2289856779C184337299 @default.
- W2289856779 hasConceptScore W2289856779C199360897 @default.
- W2289856779 hasConceptScore W2289856779C207648694 @default.
- W2289856779 hasConceptScore W2289856779C25016198 @default.
- W2289856779 hasConceptScore W2289856779C33923547 @default.
- W2289856779 hasConceptScore W2289856779C41008148 @default.
- W2289856779 hasConceptScore W2289856779C58468513 @default.
- W2289856779 hasConceptScore W2289856779C80444323 @default.
- W2289856779 hasConceptScore W2289856779C9672783 @default.
- W2289856779 hasLocation W22898567791 @default.
- W2289856779 hasLocation W22898567792 @default.
- W2289856779 hasLocation W22898567793 @default.
- W2289856779 hasLocation W22898567794 @default.
- W2289856779 hasLocation W22898567795 @default.
- W2289856779 hasOpenAccess W2289856779 @default.
- W2289856779 hasPrimaryLocation W22898567791 @default.
- W2289856779 hasRelatedWork W1587224678 @default.
- W2289856779 hasRelatedWork W2125406856 @default.
- W2289856779 hasRelatedWork W2166247150 @default.
- W2289856779 hasRelatedWork W2244075056 @default.
- W2289856779 hasRelatedWork W2289856779 @default.
- W2289856779 hasRelatedWork W2753815840 @default.
- W2289856779 hasRelatedWork W2798278864 @default.
- W2289856779 hasRelatedWork W2952136710 @default.
- W2289856779 hasRelatedWork W2995091630 @default.
- W2289856779 hasRelatedWork W4287991282 @default.
- W2289856779 isParatext "false" @default.
- W2289856779 isRetracted "false" @default.
- W2289856779 magId "2289856779" @default.
- W2289856779 workType "book-chapter" @default.