FRINK Linked Data Fragments server

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

• W2949984744 abstract "Two distinct semantics have been considered for knowledge in the context of strategic reasoning, depending on whether players know each other's strategy or not. The problem of distributed synthesis for epistemic temporal specifications is known to be undecidable for the latter semantics, already on systems with information. However, for the other, uninformed semantics, the problem is decidable on such systems. In this work we generalise this result by introducing an epistemic extension of Strategy Logic with imperfect information. The semantics of knowledge operators is uninformed, and captures agents that can change observation power when they change strategies. We solve the model-checking problem on a class of hierarchical instances, which provides a solution to a vast class of strategic problems with epistemic temporal specifications on systems, such as distributed synthesis or rational synthesis." @default.
• W2949984744 created "2019-06-27" @default.
• W2949984744 creator A5020611616 @default.
• W2949984744 creator A5055415505 @default.
• W2949984744 date "2018-05-31" @default.
• W2949984744 modified "2023-09-25" @default.
• W2949984744 title "Reasoning about Knowledge and Strategies under Hierarchical Information" @default.
• W2949984744 cites W1497329491 @default.
• W2949984744 cites W1499833455 @default.
• W2949984744 cites W1543448521 @default.
• W2949984744 cites W1547981982 @default.
• W2949984744 cites W1678564987 @default.
• W2949984744 cites W1783469492 @default.
• W2949984744 cites W1966974117 @default.
• W2949984744 cites W2022205872 @default.
• W2949984744 cites W2041403185 @default.
• W2949984744 cites W2048905609 @default.
• W2949984744 cites W2060041197 @default.
• W2949984744 cites W2090968815 @default.
• W2949984744 cites W2092977061 @default.
• W2949984744 cites W2108947407 @default.
• W2949984744 cites W2110930028 @default.
• W2949984744 cites W2146819619 @default.
• W2949984744 cites W2147999468 @default.
• W2949984744 cites W2152976548 @default.
• W2949984744 cites W2157438678 @default.
• W2949984744 cites W2174970731 @default.
• W2949984744 cites W2473183186 @default.
• W2949984744 cites W2533969236 @default.
• W2949984744 cites W2767293653 @default.
• W2949984744 cites W2804741915 @default.
• W2949984744 cites W2895527274 @default.
• W2949984744 cites W2912248071 @default.
• W2949984744 cites W2964791136 @default.
• W2949984744 cites W3104116428 @default.
• W2949984744 cites W824553004 @default.
• W2949984744 hasPublicationYear "2018" @default.
• W2949984744 type Work @default.
• W2949984744 sameAs 2949984744 @default.
• W2949984744 citedByCount "5" @default.
• W2949984744 countsByYear W29499847442019 @default.
• W2949984744 countsByYear W29499847442020 @default.
• W2949984744 countsByYear W29499847442021 @default.
• W2949984744 crossrefType "posted-content" @default.
• W2949984744 hasAuthorship W2949984744A5020611616 @default.
• W2949984744 hasAuthorship W2949984744A5055415505 @default.
• W2949984744 hasConcept C102993220 @default.
• W2949984744 hasConcept C107247716 @default.
• W2949984744 hasConcept C123676819 @default.
• W2949984744 hasConcept C144237770 @default.
• W2949984744 hasConcept C151730666 @default.
• W2949984744 hasConcept C153269930 @default.
• W2949984744 hasConcept C154945302 @default.
• W2949984744 hasConcept C184337299 @default.
• W2949984744 hasConcept C192034797 @default.
• W2949984744 hasConcept C195818886 @default.
• W2949984744 hasConcept C199360897 @default.
• W2949984744 hasConcept C203659156 @default.
• W2949984744 hasConcept C25016198 @default.
• W2949984744 hasConcept C2777212361 @default.
• W2949984744 hasConcept C2778029271 @default.
• W2949984744 hasConcept C2779343474 @default.
• W2949984744 hasConcept C33923547 @default.
• W2949984744 hasConcept C41008148 @default.
• W2949984744 hasConcept C80444323 @default.
• W2949984744 hasConcept C86803240 @default.
• W2949984744 hasConceptScore W2949984744C102993220 @default.
• W2949984744 hasConceptScore W2949984744C107247716 @default.
• W2949984744 hasConceptScore W2949984744C123676819 @default.
• W2949984744 hasConceptScore W2949984744C144237770 @default.
• W2949984744 hasConceptScore W2949984744C151730666 @default.
• W2949984744 hasConceptScore W2949984744C153269930 @default.
• W2949984744 hasConceptScore W2949984744C154945302 @default.
• W2949984744 hasConceptScore W2949984744C184337299 @default.
• W2949984744 hasConceptScore W2949984744C192034797 @default.
• W2949984744 hasConceptScore W2949984744C195818886 @default.
• W2949984744 hasConceptScore W2949984744C199360897 @default.
• W2949984744 hasConceptScore W2949984744C203659156 @default.
• W2949984744 hasConceptScore W2949984744C25016198 @default.
• W2949984744 hasConceptScore W2949984744C2777212361 @default.
• W2949984744 hasConceptScore W2949984744C2778029271 @default.
• W2949984744 hasConceptScore W2949984744C2779343474 @default.
• W2949984744 hasConceptScore W2949984744C33923547 @default.
• W2949984744 hasConceptScore W2949984744C41008148 @default.
• W2949984744 hasConceptScore W2949984744C80444323 @default.
• W2949984744 hasConceptScore W2949984744C86803240 @default.
• W2949984744 hasLocation W29499847441 @default.
• W2949984744 hasOpenAccess W2949984744 @default.
• W2949984744 hasPrimaryLocation W29499847441 @default.
• W2949984744 hasRelatedWork W15233957 @default.
• W2949984744 hasRelatedWork W166549988 @default.
• W2949984744 hasRelatedWork W188308814 @default.
• W2949984744 hasRelatedWork W1966063923 @default.
• W2949984744 hasRelatedWork W2003068314 @default.
• W2949984744 hasRelatedWork W2038127099 @default.
• W2949984744 hasRelatedWork W2050963409 @default.
• W2949984744 hasRelatedWork W2108947407 @default.
• W2949984744 hasRelatedWork W2143959755 @default.
• W2949984744 hasRelatedWork W2157438678 @default.
• W2949984744 hasRelatedWork W2174970731 @default.

• next