O Cliffe M De
Vos J
Padget "Specifying
and reasoning
about multiple
institutions" in
Normative Run-Time Reasoning for Institutionally-Situated BDI Agents