Tadashi Araragi, Shiro Takata, Naoyuki Nide. A Verification Method for a Commitment Strategy of the BDI Architecture. In Jürgen Dix, João Alexandre Leite, Ken Satoh, editors, Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA 02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings. Volume 93 of Datalogiske Skrifter, pages 109-122, Roskilde University, 2002.
Abstract is missing.