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