N.A.M.: Normative multi-agent programs and their logics (2009)

by M Dastani, D Grossi, J J C Meyer, Tinnemeier