FRINK Linked Data Fragments server

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

• W1589868478 endingPage "257" @default.
• W1589868478 startingPage "243" @default.
• W1589868478 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. We prove that the standard definition of ATL (built on modalities “Next”, “Always” and “Until”) has to be completed in order to express the duals of its modalities: it is necessary to add the modality “Release”. We then precisely characterize the complexity of ATL model-checking when the number of agents is not fixed. We prove that it is (bf Delta_{rm 2}^{sf P})- and (bf Delta_{rm 3}^{sf P})-complete, depending on the underlying multi-agent model (ATS and CGS resp.). We also prove that ATL+ model-checking is (bf Delta_{rm 3}^{sf P})-complete over both models, even with a fixed number of agents." @default.
• W1589868478 created "2016-06-24" @default.
• W1589868478 creator A5014973369 @default.
• W1589868478 creator A5073507370 @default.
• W1589868478 creator A5084605938 @default.
• W1589868478 date "2007-07-01" @default.
• W1589868478 modified "2023-09-26" @default.
• W1589868478 title "On the Expressiveness and Complexity of ATL" @default.
• W1589868478 cites W1489630028 @default.
• W1589868478 cites W1489950854 @default.
• W1589868478 cites W1568275823 @default.
• W1589868478 cites W1590315663 @default.
• W1589868478 cites W1593428110 @default.
• W1589868478 cites W1596365597 @default.
• W1589868478 cites W1606443439 @default.
• W1589868478 cites W1787590041 @default.
• W1589868478 cites W1862403209 @default.
• W1589868478 cites W1982773655 @default.
• W1589868478 cites W2048905609 @default.
• W1589868478 cites W2124110813 @default.
• W1589868478 cites W2160254449 @default.
• W1589868478 cites W2161892027 @default.
• W1589868478 cites W4237343881 @default.
• W1589868478 doi "https://doi.org/10.1007/978-3-540-71389-0_18" @default.
• W1589868478 hasPublicationYear "2007" @default.
• W1589868478 type Work @default.
• W1589868478 sameAs 1589868478 @default.
• W1589868478 citedByCount "10" @default.
• W1589868478 countsByYear W15898684782013 @default.
• W1589868478 countsByYear W15898684782015 @default.
• W1589868478 countsByYear W15898684782019 @default.
• W1589868478 countsByYear W15898684782020 @default.
• W1589868478 countsByYear W15898684782021 @default.
• W1589868478 crossrefType "book-chapter" @default.
• W1589868478 hasAuthorship W1589868478A5014973369 @default.
• W1589868478 hasAuthorship W1589868478A5073507370 @default.
• W1589868478 hasAuthorship W1589868478A5084605938 @default.
• W1589868478 hasBestOaLocation W15898684781 @default.
• W1589868478 hasConcept C10138342 @default.
• W1589868478 hasConcept C105313907 @default.
• W1589868478 hasConcept C110251889 @default.
• W1589868478 hasConcept C111472728 @default.
• W1589868478 hasConcept C114614502 @default.
• W1589868478 hasConcept C118615104 @default.
• W1589868478 hasConcept C138885662 @default.
• W1589868478 hasConcept C144024400 @default.
• W1589868478 hasConcept C154945302 @default.
• W1589868478 hasConcept C162324750 @default.
• W1589868478 hasConcept C182306322 @default.
• W1589868478 hasConcept C189950617 @default.
• W1589868478 hasConcept C25016198 @default.
• W1589868478 hasConcept C2779903281 @default.
• W1589868478 hasConcept C2780226545 @default.
• W1589868478 hasConcept C33923547 @default.
• W1589868478 hasConcept C36289849 @default.
• W1589868478 hasConcept C41008148 @default.
• W1589868478 hasConcept C80444323 @default.
• W1589868478 hasConceptScore W1589868478C10138342 @default.
• W1589868478 hasConceptScore W1589868478C105313907 @default.
• W1589868478 hasConceptScore W1589868478C110251889 @default.
• W1589868478 hasConceptScore W1589868478C111472728 @default.
• W1589868478 hasConceptScore W1589868478C114614502 @default.
• W1589868478 hasConceptScore W1589868478C118615104 @default.
• W1589868478 hasConceptScore W1589868478C138885662 @default.
• W1589868478 hasConceptScore W1589868478C144024400 @default.
• W1589868478 hasConceptScore W1589868478C154945302 @default.
• W1589868478 hasConceptScore W1589868478C162324750 @default.
• W1589868478 hasConceptScore W1589868478C182306322 @default.
• W1589868478 hasConceptScore W1589868478C189950617 @default.
• W1589868478 hasConceptScore W1589868478C25016198 @default.
• W1589868478 hasConceptScore W1589868478C2779903281 @default.
• W1589868478 hasConceptScore W1589868478C2780226545 @default.
• W1589868478 hasConceptScore W1589868478C33923547 @default.
• W1589868478 hasConceptScore W1589868478C36289849 @default.
• W1589868478 hasConceptScore W1589868478C41008148 @default.
• W1589868478 hasConceptScore W1589868478C80444323 @default.
• W1589868478 hasLocation W15898684781 @default.
• W1589868478 hasLocation W15898684782 @default.
• W1589868478 hasLocation W15898684783 @default.
• W1589868478 hasLocation W15898684784 @default.
• W1589868478 hasLocation W15898684785 @default.
• W1589868478 hasLocation W15898684786 @default.
• W1589868478 hasLocation W15898684787 @default.
• W1589868478 hasLocation W15898684788 @default.
• W1589868478 hasOpenAccess W1589868478 @default.
• W1589868478 hasPrimaryLocation W15898684781 @default.
• W1589868478 hasRelatedWork W1485309947 @default.
• W1589868478 hasRelatedWork W2013878945 @default.
• W1589868478 hasRelatedWork W2099817904 @default.
• W1589868478 hasRelatedWork W2103740034 @default.
• W1589868478 hasRelatedWork W2115279934 @default.
• W1589868478 hasRelatedWork W2119610731 @default.
• W1589868478 hasRelatedWork W2234073770 @default.
• W1589868478 hasRelatedWork W2610756526 @default.
• W1589868478 hasRelatedWork W3037437009 @default.
• W1589868478 hasRelatedWork W4289687320 @default.
• W1589868478 isParatext "false" @default.
• W1589868478 isRetracted "false" @default.

• next