Matches in SemOpenAlex for { <https://semopenalex.org/work/W3035367612> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3035367612 abstract "Strategy representation and reasoning has recently received much attention in artificial intelligence. Impartial combinatorial games (ICGs) are a type of elementary and fundamental games in game theory. One of the challenging problems of ICGs is to construct winning strategies, particularly, generalized winning strategies for possibly infinitely many instances of ICGs. In this paper, we investigate synthesizing generalized winning strategies for ICGs. To this end, we first propose a logical framework to formalize ICGs based on the linear integer arithmetic fragment of numeric part of PDDL. We then propose an approach to generating the winning formula that exactly captures the states in which the player can force to win. Furthermore, we compute winning strategies for ICGs based on the winning formula. Experimental results on several games demonstrate the effectiveness of our approach." @default.
- W3035367612 created "2020-06-19" @default.
- W3035367612 creator A5009707168 @default.
- W3035367612 creator A5029490756 @default.
- W3035367612 creator A5037196049 @default.
- W3035367612 creator A5047497317 @default.
- W3035367612 creator A5052469496 @default.
- W3035367612 creator A5067489790 @default.
- W3035367612 creator A5077872786 @default.
- W3035367612 date "2020-07-01" @default.
- W3035367612 modified "2023-10-18" @default.
- W3035367612 title "Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers" @default.
- W3035367612 cites W105409620 @default.
- W3035367612 cites W1568797836 @default.
- W3035367612 cites W1606824214 @default.
- W3035367612 cites W1963610481 @default.
- W3035367612 cites W2007959953 @default.
- W3035367612 cites W2011209637 @default.
- W3035367612 cites W2016206563 @default.
- W3035367612 cites W2068462394 @default.
- W3035367612 cites W2087540330 @default.
- W3035367612 cites W2119709400 @default.
- W3035367612 cites W2127972144 @default.
- W3035367612 cites W2330301979 @default.
- W3035367612 cites W2573916726 @default.
- W3035367612 cites W2578463151 @default.
- W3035367612 cites W2778034045 @default.
- W3035367612 cites W2956992268 @default.
- W3035367612 doi "https://doi.org/10.24963/ijcai.2020/236" @default.
- W3035367612 hasPublicationYear "2020" @default.
- W3035367612 type Work @default.
- W3035367612 sameAs 3035367612 @default.
- W3035367612 citedByCount "0" @default.
- W3035367612 crossrefType "proceedings-article" @default.
- W3035367612 hasAuthorship W3035367612A5009707168 @default.
- W3035367612 hasAuthorship W3035367612A5029490756 @default.
- W3035367612 hasAuthorship W3035367612A5037196049 @default.
- W3035367612 hasAuthorship W3035367612A5047497317 @default.
- W3035367612 hasAuthorship W3035367612A5052469496 @default.
- W3035367612 hasAuthorship W3035367612A5067489790 @default.
- W3035367612 hasAuthorship W3035367612A5077872786 @default.
- W3035367612 hasBestOaLocation W30353676121 @default.
- W3035367612 hasConcept C11413529 @default.
- W3035367612 hasConcept C126255220 @default.
- W3035367612 hasConcept C144237770 @default.
- W3035367612 hasConcept C177142836 @default.
- W3035367612 hasConcept C17744445 @default.
- W3035367612 hasConcept C199360897 @default.
- W3035367612 hasConcept C199539241 @default.
- W3035367612 hasConcept C2776359362 @default.
- W3035367612 hasConcept C2780801425 @default.
- W3035367612 hasConcept C33923547 @default.
- W3035367612 hasConcept C41008148 @default.
- W3035367612 hasConcept C56086750 @default.
- W3035367612 hasConcept C80444323 @default.
- W3035367612 hasConcept C94625758 @default.
- W3035367612 hasConceptScore W3035367612C11413529 @default.
- W3035367612 hasConceptScore W3035367612C126255220 @default.
- W3035367612 hasConceptScore W3035367612C144237770 @default.
- W3035367612 hasConceptScore W3035367612C177142836 @default.
- W3035367612 hasConceptScore W3035367612C17744445 @default.
- W3035367612 hasConceptScore W3035367612C199360897 @default.
- W3035367612 hasConceptScore W3035367612C199539241 @default.
- W3035367612 hasConceptScore W3035367612C2776359362 @default.
- W3035367612 hasConceptScore W3035367612C2780801425 @default.
- W3035367612 hasConceptScore W3035367612C33923547 @default.
- W3035367612 hasConceptScore W3035367612C41008148 @default.
- W3035367612 hasConceptScore W3035367612C56086750 @default.
- W3035367612 hasConceptScore W3035367612C80444323 @default.
- W3035367612 hasConceptScore W3035367612C94625758 @default.
- W3035367612 hasLocation W30353676121 @default.
- W3035367612 hasOpenAccess W3035367612 @default.
- W3035367612 hasPrimaryLocation W30353676121 @default.
- W3035367612 hasRelatedWork W1549289070 @default.
- W3035367612 hasRelatedWork W1966593072 @default.
- W3035367612 hasRelatedWork W1969324738 @default.
- W3035367612 hasRelatedWork W2292224385 @default.
- W3035367612 hasRelatedWork W2351571780 @default.
- W3035367612 hasRelatedWork W2355833191 @default.
- W3035367612 hasRelatedWork W4214611649 @default.
- W3035367612 hasRelatedWork W4236545990 @default.
- W3035367612 hasRelatedWork W630570861 @default.
- W3035367612 hasRelatedWork W2592569039 @default.
- W3035367612 isParatext "false" @default.
- W3035367612 isRetracted "false" @default.
- W3035367612 magId "3035367612" @default.
- W3035367612 workType "article" @default.