Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003068314> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2003068314 abstract "In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is done is based on Alternating-time Temporal Logic (ATL), to which semantics we add epistemic accessibility relations (to deal with the knowledge), actions (in order to naturally talk about allowed and forbidden actions) and updates (to model the effect of the implementation of the constraint in a social law). Apart from a constraint, a social law has an objective: in our formalism, such objectives may refer to the knowledge that agents possess or do not possess. The result is a framework in which we can, for example, express that a desirable property (objective) of a social law is that one agent has the ability to bring about a certain type of knowledge in another agent, or that if one agent knows something, then it should behave in a certain way. We illustrate our approach with a case study, and we use model checking to demonstrate that properties of social laws with respect to this case study." @default.
- W2003068314 created "2016-06-24" @default.
- W2003068314 creator A5043001051 @default.
- W2003068314 creator A5061257841 @default.
- W2003068314 creator A5065393757 @default.
- W2003068314 date "2005-07-25" @default.
- W2003068314 modified "2023-09-26" @default.
- W2003068314 title "Knowledge and social laws" @default.
- W2003068314 cites W1986112535 @default.
- W2003068314 cites W1997615675 @default.
- W2003068314 cites W2009752323 @default.
- W2003068314 cites W2048905609 @default.
- W2003068314 cites W2054071520 @default.
- W2003068314 cites W2057234686 @default.
- W2003068314 doi "https://doi.org/10.1145/1082473.1082576" @default.
- W2003068314 hasPublicationYear "2005" @default.
- W2003068314 type Work @default.
- W2003068314 sameAs 2003068314 @default.
- W2003068314 citedByCount "18" @default.
- W2003068314 countsByYear W20030683142012 @default.
- W2003068314 countsByYear W20030683142022 @default.
- W2003068314 crossrefType "proceedings-article" @default.
- W2003068314 hasAuthorship W2003068314A5043001051 @default.
- W2003068314 hasAuthorship W2003068314A5061257841 @default.
- W2003068314 hasAuthorship W2003068314A5065393757 @default.
- W2003068314 hasBestOaLocation W20030683142 @default.
- W2003068314 hasConcept C17744445 @default.
- W2003068314 hasConcept C199539241 @default.
- W2003068314 hasConcept C41008148 @default.
- W2003068314 hasConceptScore W2003068314C17744445 @default.
- W2003068314 hasConceptScore W2003068314C199539241 @default.
- W2003068314 hasConceptScore W2003068314C41008148 @default.
- W2003068314 hasLocation W20030683141 @default.
- W2003068314 hasLocation W20030683142 @default.
- W2003068314 hasOpenAccess W2003068314 @default.
- W2003068314 hasPrimaryLocation W20030683141 @default.
- W2003068314 hasRelatedWork W2096946506 @default.
- W2003068314 hasRelatedWork W2130043461 @default.
- W2003068314 hasRelatedWork W2350741829 @default.
- W2003068314 hasRelatedWork W2358668433 @default.
- W2003068314 hasRelatedWork W2376932109 @default.
- W2003068314 hasRelatedWork W2382290278 @default.
- W2003068314 hasRelatedWork W2390279801 @default.
- W2003068314 hasRelatedWork W2748952813 @default.
- W2003068314 hasRelatedWork W2899084033 @default.
- W2003068314 hasRelatedWork W3004735627 @default.
- W2003068314 isParatext "false" @default.
- W2003068314 isRetracted "false" @default.
- W2003068314 magId "2003068314" @default.
- W2003068314 workType "article" @default.