A Verification Method for a Commitment Strategy of the BDI Architecture.

Tadashi Araragi Shiro Takata Naoyuki Nide A Verification Method for a Commitment Strategy of the BDI Architecture. 109-122 2002 conf/clima/2002 CLIMA III db/conf/clima/clima2002.html#AraragiTN02