34 citations · 63 across the 17 of their papers we have counts for
1 paper · 1 filter
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]…