Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952801947> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2952801947 abstract "Alternating-time Temporal Logic (ATL*) is a central logic for multiagent systems. Its extension to the imperfect information setting (ATL*i ) is well known to have an undecidable model-checking problem when agents have perfect recall. Studies have thus mostly focused either on agents without memory, or on alternative semantics to retrieve decidability. In this work we establish new decidability results for agents with perfect recall: We first prove a meta-theorem that allows the transfer of decidability results for classes of multiplayer games with imperfect information, such as games with hierarchical observation, to the model-checking problem for ATL*i . We then establish that model checking ATL* with strategy context and imperfect information is decidable when restricted to hierarchical instances." @default.
- W2952801947 created "2019-06-27" @default.
- W2952801947 creator A5020611616 @default.
- W2952801947 creator A5055415505 @default.
- W2952801947 creator A5068382207 @default.
- W2952801947 date "2018-05-31" @default.
- W2952801947 modified "2023-09-25" @default.
- W2952801947 title "Decidability results for ATL* with imperfect information and perfect recall" @default.
- W2952801947 cites W1492378530 @default.
- W2952801947 cites W1499833455 @default.
- W2952801947 cites W1783469492 @default.
- W2952801947 cites W2098035530 @default.
- W2952801947 cites W2146819619 @default.
- W2952801947 cites W3104116428 @default.
- W2952801947 cites W824553004 @default.
- W2952801947 hasPublicationYear "2018" @default.
- W2952801947 type Work @default.
- W2952801947 sameAs 2952801947 @default.
- W2952801947 citedByCount "1" @default.
- W2952801947 countsByYear W29528019472018 @default.
- W2952801947 crossrefType "posted-content" @default.
- W2952801947 hasAuthorship W2952801947A5020611616 @default.
- W2952801947 hasAuthorship W2952801947A5055415505 @default.
- W2952801947 hasAuthorship W2952801947A5068382207 @default.
- W2952801947 hasConcept C110251889 @default.
- W2952801947 hasConcept C123676819 @default.
- W2952801947 hasConcept C138885662 @default.
- W2952801947 hasConcept C144237770 @default.
- W2952801947 hasConcept C151730666 @default.
- W2952801947 hasConcept C153269930 @default.
- W2952801947 hasConcept C192034797 @default.
- W2952801947 hasConcept C199360897 @default.
- W2952801947 hasConcept C25016198 @default.
- W2952801947 hasConcept C2778029271 @default.
- W2952801947 hasConcept C2779343474 @default.
- W2952801947 hasConcept C2780310539 @default.
- W2952801947 hasConcept C33923547 @default.
- W2952801947 hasConcept C41008148 @default.
- W2952801947 hasConcept C41895202 @default.
- W2952801947 hasConcept C80444323 @default.
- W2952801947 hasConcept C86803240 @default.
- W2952801947 hasConceptScore W2952801947C110251889 @default.
- W2952801947 hasConceptScore W2952801947C123676819 @default.
- W2952801947 hasConceptScore W2952801947C138885662 @default.
- W2952801947 hasConceptScore W2952801947C144237770 @default.
- W2952801947 hasConceptScore W2952801947C151730666 @default.
- W2952801947 hasConceptScore W2952801947C153269930 @default.
- W2952801947 hasConceptScore W2952801947C192034797 @default.
- W2952801947 hasConceptScore W2952801947C199360897 @default.
- W2952801947 hasConceptScore W2952801947C25016198 @default.
- W2952801947 hasConceptScore W2952801947C2778029271 @default.
- W2952801947 hasConceptScore W2952801947C2779343474 @default.
- W2952801947 hasConceptScore W2952801947C2780310539 @default.
- W2952801947 hasConceptScore W2952801947C33923547 @default.
- W2952801947 hasConceptScore W2952801947C41008148 @default.
- W2952801947 hasConceptScore W2952801947C41895202 @default.
- W2952801947 hasConceptScore W2952801947C80444323 @default.
- W2952801947 hasConceptScore W2952801947C86803240 @default.
- W2952801947 hasLocation W29528019471 @default.
- W2952801947 hasOpenAccess W2952801947 @default.
- W2952801947 hasPrimaryLocation W29528019471 @default.
- W2952801947 hasRelatedWork W1535578980 @default.
- W2952801947 hasRelatedWork W1585425999 @default.
- W2952801947 hasRelatedWork W1775249002 @default.
- W2952801947 hasRelatedWork W2091618588 @default.
- W2952801947 hasRelatedWork W2102886905 @default.
- W2952801947 hasRelatedWork W2116143151 @default.
- W2952801947 hasRelatedWork W2159652932 @default.
- W2952801947 hasRelatedWork W2519530603 @default.
- W2952801947 hasRelatedWork W2526576663 @default.
- W2952801947 hasRelatedWork W2763204712 @default.
- W2952801947 hasRelatedWork W2887835352 @default.
- W2952801947 hasRelatedWork W2946692713 @default.
- W2952801947 hasRelatedWork W2952059577 @default.
- W2952801947 hasRelatedWork W2955955966 @default.
- W2952801947 hasRelatedWork W2967553997 @default.
- W2952801947 hasRelatedWork W2971834608 @default.
- W2952801947 hasRelatedWork W3098296430 @default.
- W2952801947 hasRelatedWork W3100101430 @default.
- W2952801947 hasRelatedWork W3121464555 @default.
- W2952801947 hasRelatedWork W3209871473 @default.
- W2952801947 isParatext "false" @default.
- W2952801947 isRetracted "false" @default.
- W2952801947 magId "2952801947" @default.
- W2952801947 workType "article" @default.