FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1798501970> ?p ?o ?g. }

• W1798501970 abstract "This paper introduces a modal logic for reasoning about game strategies. The logic is based on a variant of the well-known game description language for describing game rules and further extends it with two modalities for reasoning about actions and strategies. We develop an axiomatic system and prove its soundness and completeness with respect to a specific semantics based on the state transition model of games. Interestingly, the completeness proof makes use of forgetting techniques that have been widely used in the KR&R literature. We demonstrate how general game-playing systems can apply the logic to develop game strategies." @default.
• W1798501970 created "2016-06-24" @default.
• W1798501970 creator A5056665433 @default.
• W1798501970 creator A5057895161 @default.
• W1798501970 date "2015-02-18" @default.
• W1798501970 modified "2023-10-11" @default.
• W1798501970 title "A Logic for Reasoning About Game Strategies" @default.
• W1798501970 cites W1547132963 @default.
• W1798501970 cites W165491838 @default.
• W1798501970 cites W1994685255 @default.
• W1798501970 cites W2027140054 @default.
• W1798501970 cites W2048905609 @default.
• W1798501970 cites W2054071520 @default.
• W1798501970 cites W2063490482 @default.
• W1798501970 cites W2073634681 @default.
• W1798501970 cites W2099587183 @default.
• W1798501970 cites W2104907826 @default.
• W1798501970 cites W2122659384 @default.
• W1798501970 cites W2159131252 @default.
• W1798501970 cites W2187158804 @default.
• W1798501970 cites W2912248071 @default.
• W1798501970 cites W58580010 @default.
• W1798501970 doi "https://doi.org/10.1609/aaai.v29i1.9416" @default.
• W1798501970 hasPublicationYear "2015" @default.
• W1798501970 type Work @default.
• W1798501970 sameAs 1798501970 @default.
• W1798501970 citedByCount "22" @default.
• W1798501970 countsByYear W17985019702015 @default.
• W1798501970 countsByYear W17985019702016 @default.
• W1798501970 countsByYear W17985019702017 @default.
• W1798501970 countsByYear W17985019702018 @default.
• W1798501970 countsByYear W17985019702019 @default.
• W1798501970 countsByYear W17985019702020 @default.
• W1798501970 countsByYear W17985019702021 @default.
• W1798501970 countsByYear W17985019702022 @default.
• W1798501970 crossrefType "journal-article" @default.
• W1798501970 hasAuthorship W1798501970A5056665433 @default.
• W1798501970 hasAuthorship W1798501970A5057895161 @default.
• W1798501970 hasBestOaLocation W17985019701 @default.
• W1798501970 hasConcept C121332964 @default.
• W1798501970 hasConcept C134306372 @default.
• W1798501970 hasConcept C138885662 @default.
• W1798501970 hasConcept C154945302 @default.
• W1798501970 hasConcept C165801399 @default.
• W1798501970 hasConcept C167729594 @default.
• W1798501970 hasConcept C17231256 @default.
• W1798501970 hasConcept C172385210 @default.
• W1798501970 hasConcept C185592680 @default.
• W1798501970 hasConcept C188027245 @default.
• W1798501970 hasConcept C199360897 @default.
• W1798501970 hasConcept C2524010 @default.
• W1798501970 hasConcept C27508121 @default.
• W1798501970 hasConcept C2777796570 @default.
• W1798501970 hasConcept C33923547 @default.
• W1798501970 hasConcept C39920170 @default.
• W1798501970 hasConcept C41008148 @default.
• W1798501970 hasConcept C41895202 @default.
• W1798501970 hasConcept C62520636 @default.
• W1798501970 hasConcept C71139939 @default.
• W1798501970 hasConcept C7149132 @default.
• W1798501970 hasConcept C80444323 @default.
• W1798501970 hasConceptScore W1798501970C121332964 @default.
• W1798501970 hasConceptScore W1798501970C134306372 @default.
• W1798501970 hasConceptScore W1798501970C138885662 @default.
• W1798501970 hasConceptScore W1798501970C154945302 @default.
• W1798501970 hasConceptScore W1798501970C165801399 @default.
• W1798501970 hasConceptScore W1798501970C167729594 @default.
• W1798501970 hasConceptScore W1798501970C17231256 @default.
• W1798501970 hasConceptScore W1798501970C172385210 @default.
• W1798501970 hasConceptScore W1798501970C185592680 @default.
• W1798501970 hasConceptScore W1798501970C188027245 @default.
• W1798501970 hasConceptScore W1798501970C199360897 @default.
• W1798501970 hasConceptScore W1798501970C2524010 @default.
• W1798501970 hasConceptScore W1798501970C27508121 @default.
• W1798501970 hasConceptScore W1798501970C2777796570 @default.
• W1798501970 hasConceptScore W1798501970C33923547 @default.
• W1798501970 hasConceptScore W1798501970C39920170 @default.
• W1798501970 hasConceptScore W1798501970C41008148 @default.
• W1798501970 hasConceptScore W1798501970C41895202 @default.
• W1798501970 hasConceptScore W1798501970C62520636 @default.
• W1798501970 hasConceptScore W1798501970C71139939 @default.
• W1798501970 hasConceptScore W1798501970C7149132 @default.
• W1798501970 hasConceptScore W1798501970C80444323 @default.
• W1798501970 hasIssue "1" @default.
• W1798501970 hasLocation W17985019701 @default.
• W1798501970 hasOpenAccess W1798501970 @default.
• W1798501970 hasPrimaryLocation W17985019701 @default.
• W1798501970 hasRelatedWork W1575766660 @default.
• W1798501970 hasRelatedWork W1675171940 @default.
• W1798501970 hasRelatedWork W1798501970 @default.
• W1798501970 hasRelatedWork W2120613606 @default.
• W1798501970 hasRelatedWork W3110790126 @default.
• W1798501970 hasRelatedWork W3111592226 @default.
• W1798501970 hasRelatedWork W4213255959 @default.
• W1798501970 hasRelatedWork W4225845219 @default.
• W1798501970 hasRelatedWork W2186175931 @default.
• W1798501970 hasRelatedWork W4221155792 @default.
• W1798501970 hasVolume "29" @default.
• W1798501970 isParatext "false" @default.
• W1798501970 isRetracted "false" @default.

• next