Matches in SemOpenAlex for { <https://semopenalex.org/work/W2127390095> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2127390095 abstract "We introduce a simple game family, called constraint logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be interpreted in many different game-theoretic settings, ranging from zero-player automata to a more economic setting of team multiplayer games with hidden information. Each setting gives rise to a model of computation that we show corresponds to a classic complexity class. In this way we obtain a uniform framework for modeling various complexities of computation as games. Most surprising among our results is that a game with three players and a bounded amount of state can simulate any (infinite) Turing computation, making the game undecidable. Our framework also provides a more graphical, less formulaic viewpoint of computation. This graph model has been shown to be particularly appropriate for reducing to many existing combinatorial games and puzzles - such as Sokoban, rush hour, river crossing, tipover, the warehouseman's problem, pushing blocks, hinged-dissection reconfiguration, Amazons, and Konane (hawaiian checkers) - which have an intrinsically planar structure. Our framework makes it substantially easier to prove completeness of such games in their appropriate complexity classes." @default.
- W2127390095 created "2016-06-24" @default.
- W2127390095 creator A5066969615 @default.
- W2127390095 creator A5083684609 @default.
- W2127390095 date "2008-06-01" @default.
- W2127390095 modified "2023-10-16" @default.
- W2127390095 title "Constraint Logic: A Uniform Framework for Modeling Computation as Games" @default.
- W2127390095 cites W1556354817 @default.
- W2127390095 cites W1574089563 @default.
- W2127390095 cites W1782559531 @default.
- W2127390095 cites W1965172764 @default.
- W2127390095 cites W1973302434 @default.
- W2127390095 cites W1982129592 @default.
- W2127390095 cites W1983796355 @default.
- W2127390095 cites W1991572458 @default.
- W2127390095 cites W2007426955 @default.
- W2127390095 cites W2025201948 @default.
- W2127390095 cites W2032056620 @default.
- W2127390095 cites W2036265926 @default.
- W2127390095 cites W2042714866 @default.
- W2127390095 cites W2066219736 @default.
- W2127390095 cites W2066577300 @default.
- W2127390095 cites W2083659666 @default.
- W2127390095 cites W2088043394 @default.
- W2127390095 cites W2091133474 @default.
- W2127390095 cites W2115040698 @default.
- W2127390095 cites W2147999468 @default.
- W2127390095 cites W2160653514 @default.
- W2127390095 cites W2247931544 @default.
- W2127390095 cites W4236182480 @default.
- W2127390095 cites W4237942241 @default.
- W2127390095 cites W4239242491 @default.
- W2127390095 cites W4241108585 @default.
- W2127390095 cites W4243099941 @default.
- W2127390095 doi "https://doi.org/10.1109/ccc.2008.35" @default.
- W2127390095 hasPublicationYear "2008" @default.
- W2127390095 type Work @default.
- W2127390095 sameAs 2127390095 @default.
- W2127390095 citedByCount "21" @default.
- W2127390095 countsByYear W21273900952012 @default.
- W2127390095 countsByYear W21273900952013 @default.
- W2127390095 countsByYear W21273900952014 @default.
- W2127390095 countsByYear W21273900952015 @default.
- W2127390095 countsByYear W21273900952016 @default.
- W2127390095 countsByYear W21273900952018 @default.
- W2127390095 countsByYear W21273900952019 @default.
- W2127390095 countsByYear W21273900952020 @default.
- W2127390095 countsByYear W21273900952022 @default.
- W2127390095 countsByYear W21273900952023 @default.
- W2127390095 crossrefType "proceedings-article" @default.
- W2127390095 hasAuthorship W2127390095A5066969615 @default.
- W2127390095 hasAuthorship W2127390095A5083684609 @default.
- W2127390095 hasConcept C112505250 @default.
- W2127390095 hasConcept C11413529 @default.
- W2127390095 hasConcept C132525143 @default.
- W2127390095 hasConcept C153269930 @default.
- W2127390095 hasConcept C184596265 @default.
- W2127390095 hasConcept C192034797 @default.
- W2127390095 hasConcept C41008148 @default.
- W2127390095 hasConcept C45374587 @default.
- W2127390095 hasConcept C80444323 @default.
- W2127390095 hasConcept C80899671 @default.
- W2127390095 hasConceptScore W2127390095C112505250 @default.
- W2127390095 hasConceptScore W2127390095C11413529 @default.
- W2127390095 hasConceptScore W2127390095C132525143 @default.
- W2127390095 hasConceptScore W2127390095C153269930 @default.
- W2127390095 hasConceptScore W2127390095C184596265 @default.
- W2127390095 hasConceptScore W2127390095C192034797 @default.
- W2127390095 hasConceptScore W2127390095C41008148 @default.
- W2127390095 hasConceptScore W2127390095C45374587 @default.
- W2127390095 hasConceptScore W2127390095C80444323 @default.
- W2127390095 hasConceptScore W2127390095C80899671 @default.
- W2127390095 hasLocation W21273900951 @default.
- W2127390095 hasOpenAccess W2127390095 @default.
- W2127390095 hasPrimaryLocation W21273900951 @default.
- W2127390095 hasRelatedWork W1490819493 @default.
- W2127390095 hasRelatedWork W1536365843 @default.
- W2127390095 hasRelatedWork W1575028430 @default.
- W2127390095 hasRelatedWork W2059157438 @default.
- W2127390095 hasRelatedWork W2098148669 @default.
- W2127390095 hasRelatedWork W2120230527 @default.
- W2127390095 hasRelatedWork W2125797022 @default.
- W2127390095 hasRelatedWork W4213113597 @default.
- W2127390095 hasRelatedWork W4301046126 @default.
- W2127390095 hasRelatedWork W877657525 @default.
- W2127390095 isParatext "false" @default.
- W2127390095 isRetracted "false" @default.
- W2127390095 magId "2127390095" @default.
- W2127390095 workType "article" @default.