Matches in SemOpenAlex for { <https://semopenalex.org/work/W2344946032> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2344946032 endingPage "308" @default.
- W2344946032 startingPage "294" @default.
- W2344946032 abstract "In this paper we concern ourselves with normative multi-agent systems, which are multi-agent systems governed by a set of norms. In these systems, the internals and architecture of the participating agents may be unknown to us, which disables us to make any strong assumption on the possible behaviour that these agents may exhibit. Thus, we cannot simply assume that the agents are aware of the norms, or that they are compliant with respect to the norms. In other words, a crucial problem that needs to be solved is how we can verify these systems if we have no idea whether the agents will be norm-obedient. This paper investigates two distinct formal frameworks which allow us to tackle this problem, namely in the first part of this paper we propose a logic-based framework which uses compliance types, and in the second part we propose a framework which tackles the problem from a mechanism-design perspective." @default.
- W2344946032 created "2016-06-24" @default.
- W2344946032 creator A5028760842 @default.
- W2344946032 creator A5042648282 @default.
- W2344946032 creator A5067561403 @default.
- W2344946032 date "2016-01-01" @default.
- W2344946032 modified "2023-09-30" @default.
- W2344946032 title "Formal Frameworks for Verifying Normative Multi-agent Systems" @default.
- W2344946032 cites W1489237563 @default.
- W2344946032 cites W1590315663 @default.
- W2344946032 cites W2023808162 @default.
- W2344946032 cites W2043278166 @default.
- W2344946032 cites W2048905609 @default.
- W2344946032 cites W2064788875 @default.
- W2344946032 cites W2133881934 @default.
- W2344946032 cites W2137906183 @default.
- W2344946032 cites W2261904883 @default.
- W2344946032 doi "https://doi.org/10.1007/978-3-319-30734-3_20" @default.
- W2344946032 hasPublicationYear "2016" @default.
- W2344946032 type Work @default.
- W2344946032 sameAs 2344946032 @default.
- W2344946032 citedByCount "2" @default.
- W2344946032 countsByYear W23449460322018 @default.
- W2344946032 countsByYear W23449460322021 @default.
- W2344946032 crossrefType "book-chapter" @default.
- W2344946032 hasAuthorship W2344946032A5028760842 @default.
- W2344946032 hasAuthorship W2344946032A5042648282 @default.
- W2344946032 hasAuthorship W2344946032A5067561403 @default.
- W2344946032 hasConcept C111472728 @default.
- W2344946032 hasConcept C123657996 @default.
- W2344946032 hasConcept C12713177 @default.
- W2344946032 hasConcept C138885662 @default.
- W2344946032 hasConcept C142362112 @default.
- W2344946032 hasConcept C153349607 @default.
- W2344946032 hasConcept C154945302 @default.
- W2344946032 hasConcept C177264268 @default.
- W2344946032 hasConcept C191795146 @default.
- W2344946032 hasConcept C199360897 @default.
- W2344946032 hasConcept C41008148 @default.
- W2344946032 hasConcept C41550386 @default.
- W2344946032 hasConcept C44725695 @default.
- W2344946032 hasConcept C6377922 @default.
- W2344946032 hasConcept C80444323 @default.
- W2344946032 hasConceptScore W2344946032C111472728 @default.
- W2344946032 hasConceptScore W2344946032C123657996 @default.
- W2344946032 hasConceptScore W2344946032C12713177 @default.
- W2344946032 hasConceptScore W2344946032C138885662 @default.
- W2344946032 hasConceptScore W2344946032C142362112 @default.
- W2344946032 hasConceptScore W2344946032C153349607 @default.
- W2344946032 hasConceptScore W2344946032C154945302 @default.
- W2344946032 hasConceptScore W2344946032C177264268 @default.
- W2344946032 hasConceptScore W2344946032C191795146 @default.
- W2344946032 hasConceptScore W2344946032C199360897 @default.
- W2344946032 hasConceptScore W2344946032C41008148 @default.
- W2344946032 hasConceptScore W2344946032C41550386 @default.
- W2344946032 hasConceptScore W2344946032C44725695 @default.
- W2344946032 hasConceptScore W2344946032C6377922 @default.
- W2344946032 hasConceptScore W2344946032C80444323 @default.
- W2344946032 hasLocation W23449460321 @default.
- W2344946032 hasOpenAccess W2344946032 @default.
- W2344946032 hasPrimaryLocation W23449460321 @default.
- W2344946032 hasRelatedWork W1481489750 @default.
- W2344946032 hasRelatedWork W1504728428 @default.
- W2344946032 hasRelatedWork W1506199548 @default.
- W2344946032 hasRelatedWork W15233957 @default.
- W2344946032 hasRelatedWork W1885454347 @default.
- W2344946032 hasRelatedWork W1978338579 @default.
- W2344946032 hasRelatedWork W1979332395 @default.
- W2344946032 hasRelatedWork W2003068314 @default.
- W2344946032 hasRelatedWork W2003206570 @default.
- W2344946032 hasRelatedWork W2078356773 @default.
- W2344946032 hasRelatedWork W2083802052 @default.
- W2344946032 hasRelatedWork W2106923731 @default.
- W2344946032 hasRelatedWork W2120113239 @default.
- W2344946032 hasRelatedWork W2150114901 @default.
- W2344946032 hasRelatedWork W2170326239 @default.
- W2344946032 hasRelatedWork W2237745239 @default.
- W2344946032 hasRelatedWork W2486624549 @default.
- W2344946032 hasRelatedWork W2610474425 @default.
- W2344946032 hasRelatedWork W2611813258 @default.
- W2344946032 hasRelatedWork W4165075 @default.
- W2344946032 isParatext "false" @default.
- W2344946032 isRetracted "false" @default.
- W2344946032 magId "2344946032" @default.
- W2344946032 workType "book-chapter" @default.