10 citations · 24 across the 14 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.AI2016★ 1 cited
Expressibility of norms in temporal logic
Natasha Alechina, Mehdi Dastani, Brian Logan
In this short note we address the issue of expressing norms (such as obligations and prohibitions) in temporal logic. In particular, we address the argument from [Governatori 2015]…
cs.MA2016★ 4 cited
Decentralised Norm Monitoring in Open Multi-Agent Systems
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash +1
We consider the problem of detecting norm violations in open multi-agent systems (MAS). We show how, using ideas from scrip systems, we can design mechanisms where the agents compr…