Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288046885> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4288046885 abstract "Norms have been widely proposed to coordinate and regulate multi-agent systems (MAS) behaviour. We consider the problem of synthesising and revising the set of norms in a normative MAS to satisfy a design objective expressed in Alternating Time Temporal Logic (ATL*). ATL* is a well-established language for strategic reasoning, which allows the specification of norms that constrain the strategic behaviour of agents. We focus on dynamic norms, that is, norms corresponding to Mealy machines, that allow us to place different constraints on the agents' behaviour depending on the state of the norm and the state of the underlying MAS. We show that synthesising dynamic norms is (k + 1)-EXPTIME, where k is the alternation depth of quantifiers in the ATL* specification. Note that for typical cases of interest, k is either 1 or 2. We also study the problem of removing existing norms to satisfy a new objective, which we show to be 2EXPTIME-complete." @default.
- W4288046885 created "2022-07-27" @default.
- W4288046885 creator A5013290512 @default.
- W4288046885 creator A5052831741 @default.
- W4288046885 creator A5064693586 @default.
- W4288046885 creator A5066350298 @default.
- W4288046885 date "2022-07-01" @default.
- W4288046885 modified "2023-09-30" @default.
- W4288046885 title "Automatic Synthesis of Dynamic Norms for Multi-Agent Systems" @default.
- W4288046885 doi "https://doi.org/10.24963/kr.2022/2" @default.
- W4288046885 hasPublicationYear "2022" @default.
- W4288046885 type Work @default.
- W4288046885 citedByCount "1" @default.
- W4288046885 countsByYear W42880468852023 @default.
- W4288046885 crossrefType "proceedings-article" @default.
- W4288046885 hasAuthorship W4288046885A5013290512 @default.
- W4288046885 hasAuthorship W4288046885A5052831741 @default.
- W4288046885 hasAuthorship W4288046885A5064693586 @default.
- W4288046885 hasAuthorship W4288046885A5066350298 @default.
- W4288046885 hasBestOaLocation W42880468851 @default.
- W4288046885 hasConcept C111472728 @default.
- W4288046885 hasConcept C11413529 @default.
- W4288046885 hasConcept C120665830 @default.
- W4288046885 hasConcept C121332964 @default.
- W4288046885 hasConcept C138885662 @default.
- W4288046885 hasConcept C144237770 @default.
- W4288046885 hasConcept C154945302 @default.
- W4288046885 hasConcept C177264268 @default.
- W4288046885 hasConcept C191795146 @default.
- W4288046885 hasConcept C192209626 @default.
- W4288046885 hasConcept C199360897 @default.
- W4288046885 hasConcept C26826806 @default.
- W4288046885 hasConcept C33923547 @default.
- W4288046885 hasConcept C41008148 @default.
- W4288046885 hasConcept C41550386 @default.
- W4288046885 hasConcept C41895202 @default.
- W4288046885 hasConcept C44725695 @default.
- W4288046885 hasConcept C48103436 @default.
- W4288046885 hasConcept C6377922 @default.
- W4288046885 hasConcept C80444323 @default.
- W4288046885 hasConceptScore W4288046885C111472728 @default.
- W4288046885 hasConceptScore W4288046885C11413529 @default.
- W4288046885 hasConceptScore W4288046885C120665830 @default.
- W4288046885 hasConceptScore W4288046885C121332964 @default.
- W4288046885 hasConceptScore W4288046885C138885662 @default.
- W4288046885 hasConceptScore W4288046885C144237770 @default.
- W4288046885 hasConceptScore W4288046885C154945302 @default.
- W4288046885 hasConceptScore W4288046885C177264268 @default.
- W4288046885 hasConceptScore W4288046885C191795146 @default.
- W4288046885 hasConceptScore W4288046885C192209626 @default.
- W4288046885 hasConceptScore W4288046885C199360897 @default.
- W4288046885 hasConceptScore W4288046885C26826806 @default.
- W4288046885 hasConceptScore W4288046885C33923547 @default.
- W4288046885 hasConceptScore W4288046885C41008148 @default.
- W4288046885 hasConceptScore W4288046885C41550386 @default.
- W4288046885 hasConceptScore W4288046885C41895202 @default.
- W4288046885 hasConceptScore W4288046885C44725695 @default.
- W4288046885 hasConceptScore W4288046885C48103436 @default.
- W4288046885 hasConceptScore W4288046885C6377922 @default.
- W4288046885 hasConceptScore W4288046885C80444323 @default.
- W4288046885 hasLocation W42880468851 @default.
- W4288046885 hasOpenAccess W4288046885 @default.
- W4288046885 hasPrimaryLocation W42880468851 @default.
- W4288046885 hasRelatedWork W2021594347 @default.
- W4288046885 hasRelatedWork W2030529244 @default.
- W4288046885 hasRelatedWork W2066808715 @default.
- W4288046885 hasRelatedWork W2103633306 @default.
- W4288046885 hasRelatedWork W2284332185 @default.
- W4288046885 hasRelatedWork W2487084114 @default.
- W4288046885 hasRelatedWork W36897304 @default.
- W4288046885 hasRelatedWork W4226218796 @default.
- W4288046885 hasRelatedWork W4281383548 @default.
- W4288046885 hasRelatedWork W79474297 @default.
- W4288046885 isParatext "false" @default.
- W4288046885 isRetracted "false" @default.
- W4288046885 workType "article" @default.