FRINK Linked Data Fragments server

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

• W3103670177 abstract "ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions of agents in order to enforce a given property. In this paper, we first precisely characterize the complexity of ATL model-checking over Alternating Transition Systems and Concurrent Game Structures when the number of agents is not fixed. We prove that it is Delta^P_2 - and Delta^P_?_3-complete, depending on the underlying multi-agent model (ATS and CGS resp.). We also consider the same problems for some extensions of ATL. We then consider expressiveness issues. We show how ATS and CGS are related and provide translations between these models w.r.t. alternating bisimulation. We also prove that the standard definition of ATL (built on modalities Next, Always and Until) cannot express the duals of its modalities: it is necessary to explicitely add the modality Release." @default.
• W3103670177 created "2020-11-23" @default.
• W3103670177 creator A5014973369 @default.
• W3103670177 creator A5073507370 @default.
• W3103670177 creator A5084605938 @default.
• W3103670177 date "2008-05-15" @default.
• W3103670177 modified "2023-10-17" @default.
• W3103670177 title "On the Expressiveness and Complexity of ATL" @default.
• W3103670177 cites W1489630028 @default.
• W3103670177 cites W1489950854 @default.
• W3103670177 cites W1568275823 @default.
• W3103670177 cites W1589868478 @default.
• W3103670177 cites W1593428110 @default.
• W3103670177 cites W1606443439 @default.
• W3103670177 cites W1787590041 @default.
• W3103670177 cites W1999134680 @default.
• W3103670177 cites W2016203775 @default.
• W3103670177 cites W2023808162 @default.
• W3103670177 cites W2048905609 @default.
• W3103670177 cites W2101008381 @default.
• W3103670177 cites W2115456224 @default.
• W3103670177 cites W2117189826 @default.
• W3103670177 cites W2160254449 @default.
• W3103670177 cites W2161880503 @default.
• W3103670177 cites W2161892027 @default.
• W3103670177 cites W2396555304 @default.
• W3103670177 doi "https://doi.org/10.2168/lmcs-4(2:7)2008" @default.
• W3103670177 hasPublicationYear "2008" @default.
• W3103670177 type Work @default.
• W3103670177 sameAs 3103670177 @default.
• W3103670177 citedByCount "36" @default.
• W3103670177 countsByYear W31036701772012 @default.
• W3103670177 countsByYear W31036701772013 @default.
• W3103670177 countsByYear W31036701772014 @default.
• W3103670177 countsByYear W31036701772015 @default.
• W3103670177 countsByYear W31036701772016 @default.
• W3103670177 countsByYear W31036701772017 @default.
• W3103670177 countsByYear W31036701772018 @default.
• W3103670177 countsByYear W31036701772019 @default.
• W3103670177 countsByYear W31036701772020 @default.
• W3103670177 countsByYear W31036701772021 @default.
• W3103670177 countsByYear W31036701772023 @default.
• W3103670177 crossrefType "journal-article" @default.
• W3103670177 hasAuthorship W3103670177A5014973369 @default.
• W3103670177 hasAuthorship W3103670177A5073507370 @default.
• W3103670177 hasAuthorship W3103670177A5084605938 @default.
• W3103670177 hasBestOaLocation W31036701771 @default.
• W3103670177 hasConcept C10138342 @default.
• W3103670177 hasConcept C105313907 @default.
• W3103670177 hasConcept C110251889 @default.
• W3103670177 hasConcept C111472728 @default.
• W3103670177 hasConcept C135315306 @default.
• W3103670177 hasConcept C138885662 @default.
• W3103670177 hasConcept C144024400 @default.
• W3103670177 hasConcept C154945302 @default.
• W3103670177 hasConcept C162324750 @default.
• W3103670177 hasConcept C182306322 @default.
• W3103670177 hasConcept C189950617 @default.
• W3103670177 hasConcept C199360897 @default.
• W3103670177 hasConcept C202444582 @default.
• W3103670177 hasConcept C25016198 @default.
• W3103670177 hasConcept C2778220771 @default.
• W3103670177 hasConcept C2779903281 @default.
• W3103670177 hasConcept C2780226545 @default.
• W3103670177 hasConcept C33923547 @default.
• W3103670177 hasConcept C36289849 @default.
• W3103670177 hasConcept C41008148 @default.
• W3103670177 hasConcept C80444323 @default.
• W3103670177 hasConceptScore W3103670177C10138342 @default.
• W3103670177 hasConceptScore W3103670177C105313907 @default.
• W3103670177 hasConceptScore W3103670177C110251889 @default.
• W3103670177 hasConceptScore W3103670177C111472728 @default.
• W3103670177 hasConceptScore W3103670177C135315306 @default.
• W3103670177 hasConceptScore W3103670177C138885662 @default.
• W3103670177 hasConceptScore W3103670177C144024400 @default.
• W3103670177 hasConceptScore W3103670177C154945302 @default.
• W3103670177 hasConceptScore W3103670177C162324750 @default.
• W3103670177 hasConceptScore W3103670177C182306322 @default.
• W3103670177 hasConceptScore W3103670177C189950617 @default.
• W3103670177 hasConceptScore W3103670177C199360897 @default.
• W3103670177 hasConceptScore W3103670177C202444582 @default.
• W3103670177 hasConceptScore W3103670177C25016198 @default.
• W3103670177 hasConceptScore W3103670177C2778220771 @default.
• W3103670177 hasConceptScore W3103670177C2779903281 @default.
• W3103670177 hasConceptScore W3103670177C2780226545 @default.
• W3103670177 hasConceptScore W3103670177C33923547 @default.
• W3103670177 hasConceptScore W3103670177C36289849 @default.
• W3103670177 hasConceptScore W3103670177C41008148 @default.
• W3103670177 hasConceptScore W3103670177C80444323 @default.
• W3103670177 hasLocation W31036701771 @default.
• W3103670177 hasLocation W31036701772 @default.
• W3103670177 hasLocation W31036701773 @default.
• W3103670177 hasLocation W31036701774 @default.
• W3103670177 hasLocation W31036701775 @default.
• W3103670177 hasLocation W31036701776 @default.
• W3103670177 hasLocation W31036701777 @default.
• W3103670177 hasLocation W31036701778 @default.
• W3103670177 hasLocation W31036701779 @default.
• W3103670177 hasOpenAccess W3103670177 @default.
• W3103670177 hasPrimaryLocation W31036701771 @default.

• next