Springer, vol
and reasoning
Padget "Specifying
COIN II ser LNAI
institutions" in
O Cliffe M De
about multiple
Normative Run-Time Reasoning for Institutionally-Situated BDI Agents