Matches in SemOpenAlex for { <https://semopenalex.org/work/W3215511104> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3215511104 endingPage "3052" @default.
- W3215511104 startingPage "3052" @default.
- W3215511104 abstract "Specification and verification of coalitional strategic abilities have been an active research area in multi-agent systems, artificial intelligence, and game theory. Recently, many strategic logics, e.g., Strategy Logic (SL) and alternating-time temporal logic (ATL*), have been proposed based on classical temporal logics, e.g., linear-time temporal logic (LTL) and computational tree logic (CTL*), respectively. However, these logics cannot express general ω-regular properties, the need for which are considered compelling from practical applications, especially in industry. To remedy this problem, in this paper, based on linear dynamic logic (LDL), proposed by Moshe Y. Vardi, we propose LDL-based Strategy Logic (LDL-SL). Interpreted on concurrent game structures, LDL-SL extends SL, which contains existential/universal quantification operators about regular expressions. Here we adopt a branching-time version. This logic can express general ω-regular properties and describe more programmed constraints about individual/group strategies. Then we study three types of fragments (i.e., one-goal, ATL-like, star-free) of LDL-SL. Furthermore, we show that prevalent strategic logics based on LTL/CTL*, such as SL/ATL*, are exactly equivalent with those corresponding star-free strategic logics, where only star-free regular expressions are considered. Moreover, results show that reasoning complexity about the model-checking problems for these new logics, including one-goal and ATL-like fragments, is not harder than those of corresponding SL or ATL*." @default.
- W3215511104 created "2021-12-06" @default.
- W3215511104 creator A5037196049 @default.
- W3215511104 creator A5046702689 @default.
- W3215511104 date "2021-11-27" @default.
- W3215511104 modified "2023-09-25" @default.
- W3215511104 title "Representation and Reasoning about Strategic Abilities with ω-Regular Properties" @default.
- W3215511104 cites W1497329491 @default.
- W3215511104 cites W1968086929 @default.
- W3215511104 cites W1970603830 @default.
- W3215511104 cites W2004306067 @default.
- W3215511104 cites W2015640848 @default.
- W3215511104 cites W2031522732 @default.
- W3215511104 cites W2048905609 @default.
- W3215511104 cites W2050073538 @default.
- W3215511104 cites W2069709605 @default.
- W3215511104 cites W2108947407 @default.
- W3215511104 cites W2109058602 @default.
- W3215511104 cites W2126711026 @default.
- W3215511104 cites W2145394419 @default.
- W3215511104 cites W2806619258 @default.
- W3215511104 cites W2912248071 @default.
- W3215511104 cites W2913210435 @default.
- W3215511104 cites W2952908521 @default.
- W3215511104 cites W2963943124 @default.
- W3215511104 cites W2996139545 @default.
- W3215511104 cites W3014890138 @default.
- W3215511104 cites W4231685078 @default.
- W3215511104 cites W824553004 @default.
- W3215511104 doi "https://doi.org/10.3390/math9233052" @default.
- W3215511104 hasPublicationYear "2021" @default.
- W3215511104 type Work @default.
- W3215511104 sameAs 3215511104 @default.
- W3215511104 citedByCount "0" @default.
- W3215511104 crossrefType "journal-article" @default.
- W3215511104 hasAuthorship W3215511104A5037196049 @default.
- W3215511104 hasAuthorship W3215511104A5046702689 @default.
- W3215511104 hasBestOaLocation W32155111041 @default.
- W3215511104 hasConcept C110251889 @default.
- W3215511104 hasConcept C118615104 @default.
- W3215511104 hasConcept C159985019 @default.
- W3215511104 hasConcept C192562407 @default.
- W3215511104 hasConcept C198008173 @default.
- W3215511104 hasConcept C206175624 @default.
- W3215511104 hasConcept C25016198 @default.
- W3215511104 hasConcept C33923547 @default.
- W3215511104 hasConcept C41008148 @default.
- W3215511104 hasConcept C4777664 @default.
- W3215511104 hasConcept C80444323 @default.
- W3215511104 hasConceptScore W3215511104C110251889 @default.
- W3215511104 hasConceptScore W3215511104C118615104 @default.
- W3215511104 hasConceptScore W3215511104C159985019 @default.
- W3215511104 hasConceptScore W3215511104C192562407 @default.
- W3215511104 hasConceptScore W3215511104C198008173 @default.
- W3215511104 hasConceptScore W3215511104C206175624 @default.
- W3215511104 hasConceptScore W3215511104C25016198 @default.
- W3215511104 hasConceptScore W3215511104C33923547 @default.
- W3215511104 hasConceptScore W3215511104C41008148 @default.
- W3215511104 hasConceptScore W3215511104C4777664 @default.
- W3215511104 hasConceptScore W3215511104C80444323 @default.
- W3215511104 hasIssue "23" @default.
- W3215511104 hasLocation W32155111041 @default.
- W3215511104 hasLocation W32155111042 @default.
- W3215511104 hasOpenAccess W3215511104 @default.
- W3215511104 hasPrimaryLocation W32155111041 @default.
- W3215511104 hasRelatedWork W1031601050 @default.
- W3215511104 hasRelatedWork W1546948343 @default.
- W3215511104 hasRelatedWork W1976513602 @default.
- W3215511104 hasRelatedWork W2103740034 @default.
- W3215511104 hasRelatedWork W2148033627 @default.
- W3215511104 hasRelatedWork W2151499528 @default.
- W3215511104 hasRelatedWork W2399481020 @default.
- W3215511104 hasRelatedWork W2808633434 @default.
- W3215511104 hasRelatedWork W2931443989 @default.
- W3215511104 hasRelatedWork W3005864166 @default.
- W3215511104 hasVolume "9" @default.
- W3215511104 isParatext "false" @default.
- W3215511104 isRetracted "false" @default.
- W3215511104 magId "3215511104" @default.
- W3215511104 workType "article" @default.