Matches in SemOpenAlex for { <https://semopenalex.org/work/W2027140054> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2027140054 abstract "We introduce ATLES - a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences of path quantifiers, and, as a consequence, it possible to express in ATLES some properties that cannot be expressed even in ATL*. We present a complete axiomatic system for ATLES. Moreover, we show that satisfiability problem for ATLES is no more complex than for ATL: it is ExpTime-complete. We identify two variants of the model-checking problem for ATLES and investigate their computational complexity. Finally, we show how ATLES can be used to reason about extensive games." @default.
- W2027140054 created "2016-06-24" @default.
- W2027140054 creator A5033965949 @default.
- W2027140054 creator A5061257841 @default.
- W2027140054 creator A5065393757 @default.
- W2027140054 date "2007-01-01" @default.
- W2027140054 modified "2023-10-14" @default.
- W2027140054 title "Alternating-time temporal logic with explicit strategies" @default.
- W2027140054 cites W117707387 @default.
- W2027140054 cites W133274798 @default.
- W2027140054 cites W1500928105 @default.
- W2027140054 cites W1529693658 @default.
- W2027140054 cites W1612453857 @default.
- W2027140054 cites W1982773655 @default.
- W2027140054 cites W1999134680 @default.
- W2027140054 cites W2048905609 @default.
- W2027140054 cites W2054071520 @default.
- W2027140054 cites W2102886905 @default.
- W2027140054 cites W2132750992 @default.
- W2027140054 cites W2160254449 @default.
- W2027140054 doi "https://doi.org/10.1145/1324249.1324285" @default.
- W2027140054 hasPublicationYear "2007" @default.
- W2027140054 type Work @default.
- W2027140054 sameAs 2027140054 @default.
- W2027140054 citedByCount "67" @default.
- W2027140054 countsByYear W20271400542012 @default.
- W2027140054 countsByYear W20271400542013 @default.
- W2027140054 countsByYear W20271400542014 @default.
- W2027140054 countsByYear W20271400542015 @default.
- W2027140054 countsByYear W20271400542016 @default.
- W2027140054 countsByYear W20271400542017 @default.
- W2027140054 countsByYear W20271400542019 @default.
- W2027140054 countsByYear W20271400542020 @default.
- W2027140054 countsByYear W20271400542021 @default.
- W2027140054 countsByYear W20271400542022 @default.
- W2027140054 countsByYear W20271400542023 @default.
- W2027140054 crossrefType "proceedings-article" @default.
- W2027140054 hasAuthorship W2027140054A5033965949 @default.
- W2027140054 hasAuthorship W2027140054A5061257841 @default.
- W2027140054 hasAuthorship W2027140054A5065393757 @default.
- W2027140054 hasBestOaLocation W20271400542 @default.
- W2027140054 hasConcept C110251889 @default.
- W2027140054 hasConcept C11413529 @default.
- W2027140054 hasConcept C154945302 @default.
- W2027140054 hasConcept C167729594 @default.
- W2027140054 hasConcept C168773769 @default.
- W2027140054 hasConcept C179799912 @default.
- W2027140054 hasConcept C197685441 @default.
- W2027140054 hasConcept C199360897 @default.
- W2027140054 hasConcept C25016198 @default.
- W2027140054 hasConcept C2524010 @default.
- W2027140054 hasConcept C2777735758 @default.
- W2027140054 hasConcept C2781238097 @default.
- W2027140054 hasConcept C33923547 @default.
- W2027140054 hasConcept C41008148 @default.
- W2027140054 hasConcept C56049555 @default.
- W2027140054 hasConcept C6943359 @default.
- W2027140054 hasConcept C80444323 @default.
- W2027140054 hasConceptScore W2027140054C110251889 @default.
- W2027140054 hasConceptScore W2027140054C11413529 @default.
- W2027140054 hasConceptScore W2027140054C154945302 @default.
- W2027140054 hasConceptScore W2027140054C167729594 @default.
- W2027140054 hasConceptScore W2027140054C168773769 @default.
- W2027140054 hasConceptScore W2027140054C179799912 @default.
- W2027140054 hasConceptScore W2027140054C197685441 @default.
- W2027140054 hasConceptScore W2027140054C199360897 @default.
- W2027140054 hasConceptScore W2027140054C25016198 @default.
- W2027140054 hasConceptScore W2027140054C2524010 @default.
- W2027140054 hasConceptScore W2027140054C2777735758 @default.
- W2027140054 hasConceptScore W2027140054C2781238097 @default.
- W2027140054 hasConceptScore W2027140054C33923547 @default.
- W2027140054 hasConceptScore W2027140054C41008148 @default.
- W2027140054 hasConceptScore W2027140054C56049555 @default.
- W2027140054 hasConceptScore W2027140054C6943359 @default.
- W2027140054 hasConceptScore W2027140054C80444323 @default.
- W2027140054 hasLocation W20271400541 @default.
- W2027140054 hasLocation W20271400542 @default.
- W2027140054 hasOpenAccess W2027140054 @default.
- W2027140054 hasPrimaryLocation W20271400541 @default.
- W2027140054 hasRelatedWork W1537589219 @default.
- W2027140054 hasRelatedWork W1543261728 @default.
- W2027140054 hasRelatedWork W1879375111 @default.
- W2027140054 hasRelatedWork W2027140054 @default.
- W2027140054 hasRelatedWork W2141500543 @default.
- W2027140054 hasRelatedWork W2337512840 @default.
- W2027140054 hasRelatedWork W2396641696 @default.
- W2027140054 hasRelatedWork W2404089326 @default.
- W2027140054 hasRelatedWork W4283659387 @default.
- W2027140054 hasRelatedWork W925486019 @default.
- W2027140054 isParatext "false" @default.
- W2027140054 isRetracted "false" @default.
- W2027140054 magId "2027140054" @default.
- W2027140054 workType "article" @default.