Deduction systems for BDI logics using sequent calculus. - Naoyuki Nide; Shiro Takata (AAMAS, 2002)

A Verification Method for a Commitment Strategy of the BDI Architecture. - Tadashi Araragi; Shiro Takata; Naoyuki Nide (CLIMA, 2002)

Deduction Systems for BDI Logics with Mental State Consistency. - Naoyuki Nide; Shiro Takata; Tadashi Araragi (CLIMA, 2002)

Design of rational agents for performing speech acts intentionally in multiagent environment. - Shiro Takata; Yoshime Igarashi; Naoyuki Nide; Mika Enomoto; Kenji Mase; Ryohei Nakatsu (Syst. Comput. Jpn., 2003)

Tracing Werewolf Game by Using Extended BDI Model. - Naoyuki Nide; Shiro Takata (IEICE Trans. Inf. Syst., 2017)