Matches in SemOpenAlex for { <https://semopenalex.org/work/W2295951285> ?p ?o ?g. }
- W2295951285 endingPage "266" @default.
- W2295951285 startingPage "259" @default.
- W2295951285 abstract "We propose coalitional normative system (Cns), which can selectively restrict the joint behavior of a coalition, in this paper. We extend the semantics of Atl and propose Coordinated Atl (Co-Atl) to support the formalizing of Cns. We soundly and completely characterize the limitation of the normative power of a coalition by identifying two fragments of Co-Atl language corresponding to two types of system properties that are unchangeable by restricting the joint behavior of such a coalition. Then, we prove that the effectiveness checking, feasibility and synthesis problems of Cns are Ptime-complete, Np-complete and Fnp-complete, respectively. Moreover, we define two concepts of optimality for Cns, that is, minimality and compactness, and prove that both minimality checking and compactness checking are Conp-complete while the problem of checking whether a coalition is a minimal controllable coalition is Dp-complete. The relation between Ns and Cns is discussed, and it turns out that Nss intrinsically consists of a proper subset of Cnss and some basic problems related to Cns are no more complex than that of Ns." @default.
- W2295951285 created "2016-06-24" @default.
- W2295951285 creator A5012274197 @default.
- W2295951285 creator A5044733681 @default.
- W2295951285 creator A5089409762 @default.
- W2295951285 date "2011-05-02" @default.
- W2295951285 modified "2023-09-22" @default.
- W2295951285 title "A framework for coalitional normative systems" @default.
- W2295951285 cites W1588742135 @default.
- W2295951285 cites W1787590041 @default.
- W2295951285 cites W1856446927 @default.
- W2295951285 cites W1986112535 @default.
- W2295951285 cites W198702368 @default.
- W2295951285 cites W1992480370 @default.
- W2295951285 cites W1999134680 @default.
- W2295951285 cites W2003206570 @default.
- W2295951285 cites W2009752323 @default.
- W2295951285 cites W2011551706 @default.
- W2295951285 cites W2021774774 @default.
- W2295951285 cites W2048905609 @default.
- W2295951285 cites W2054414141 @default.
- W2295951285 cites W2057234686 @default.
- W2295951285 cites W2108053427 @default.
- W2295951285 cites W2161806404 @default.
- W2295951285 doi "https://doi.org/10.5555/2030470.2030508" @default.
- W2295951285 hasPublicationYear "2011" @default.
- W2295951285 type Work @default.
- W2295951285 sameAs 2295951285 @default.
- W2295951285 citedByCount "4" @default.
- W2295951285 countsByYear W22959512852014 @default.
- W2295951285 countsByYear W22959512852017 @default.
- W2295951285 countsByYear W22959512852021 @default.
- W2295951285 crossrefType "proceedings-article" @default.
- W2295951285 hasAuthorship W2295951285A5012274197 @default.
- W2295951285 hasAuthorship W2295951285A5044733681 @default.
- W2295951285 hasAuthorship W2295951285A5089409762 @default.
- W2295951285 hasConcept C110251889 @default.
- W2295951285 hasConcept C111472728 @default.
- W2295951285 hasConcept C11413529 @default.
- W2295951285 hasConcept C121332964 @default.
- W2295951285 hasConcept C127413603 @default.
- W2295951285 hasConcept C134026603 @default.
- W2295951285 hasConcept C138885662 @default.
- W2295951285 hasConcept C163258240 @default.
- W2295951285 hasConcept C170154142 @default.
- W2295951285 hasConcept C184337299 @default.
- W2295951285 hasConcept C18555067 @default.
- W2295951285 hasConcept C18648836 @default.
- W2295951285 hasConcept C199360897 @default.
- W2295951285 hasConcept C202444582 @default.
- W2295951285 hasConcept C25343380 @default.
- W2295951285 hasConcept C311688 @default.
- W2295951285 hasConcept C33923547 @default.
- W2295951285 hasConcept C41008148 @default.
- W2295951285 hasConcept C44725695 @default.
- W2295951285 hasConcept C62520636 @default.
- W2295951285 hasConcept C77088390 @default.
- W2295951285 hasConcept C80444323 @default.
- W2295951285 hasConceptScore W2295951285C110251889 @default.
- W2295951285 hasConceptScore W2295951285C111472728 @default.
- W2295951285 hasConceptScore W2295951285C11413529 @default.
- W2295951285 hasConceptScore W2295951285C121332964 @default.
- W2295951285 hasConceptScore W2295951285C127413603 @default.
- W2295951285 hasConceptScore W2295951285C134026603 @default.
- W2295951285 hasConceptScore W2295951285C138885662 @default.
- W2295951285 hasConceptScore W2295951285C163258240 @default.
- W2295951285 hasConceptScore W2295951285C170154142 @default.
- W2295951285 hasConceptScore W2295951285C184337299 @default.
- W2295951285 hasConceptScore W2295951285C18555067 @default.
- W2295951285 hasConceptScore W2295951285C18648836 @default.
- W2295951285 hasConceptScore W2295951285C199360897 @default.
- W2295951285 hasConceptScore W2295951285C202444582 @default.
- W2295951285 hasConceptScore W2295951285C25343380 @default.
- W2295951285 hasConceptScore W2295951285C311688 @default.
- W2295951285 hasConceptScore W2295951285C33923547 @default.
- W2295951285 hasConceptScore W2295951285C41008148 @default.
- W2295951285 hasConceptScore W2295951285C44725695 @default.
- W2295951285 hasConceptScore W2295951285C62520636 @default.
- W2295951285 hasConceptScore W2295951285C77088390 @default.
- W2295951285 hasConceptScore W2295951285C80444323 @default.
- W2295951285 hasLocation W22959512851 @default.
- W2295951285 hasOpenAccess W2295951285 @default.
- W2295951285 hasPrimaryLocation W22959512851 @default.
- W2295951285 hasRelatedWork W1243232056 @default.
- W2295951285 hasRelatedWork W1503565364 @default.
- W2295951285 hasRelatedWork W2166972312 @default.
- W2295951285 hasRelatedWork W2217140136 @default.
- W2295951285 hasRelatedWork W2288787028 @default.
- W2295951285 hasRelatedWork W2395244651 @default.
- W2295951285 hasRelatedWork W2404340395 @default.
- W2295951285 hasRelatedWork W2429259781 @default.
- W2295951285 hasRelatedWork W2471389158 @default.
- W2295951285 hasRelatedWork W2491714127 @default.
- W2295951285 hasRelatedWork W2511413624 @default.
- W2295951285 hasRelatedWork W2598547732 @default.
- W2295951285 hasRelatedWork W2944913984 @default.
- W2295951285 hasRelatedWork W2946679193 @default.
- W2295951285 hasRelatedWork W2963430729 @default.