Shiro Takata

Publication Activity (10 Years)

Years Active: 2002-2017
Publications (10 Years): 2

Top Topics

Top Venues

IEICE Trans. Inf. Syst.

Publications

Naoyuki Nide, Shiro Takata
Tracing Werewolf Game by Using Extended BDI Model. IEICE Trans. Inf. Syst. (12) (2017)
Naoyuki Nide, Shiro Takata
Tracing Werewolf Game by Using Extended BDI Model. ICA (2016)
Shiro Takata, Yoshime Igarashi, Naoyuki Nide, Mika Enomoto, Kenji Mase, Ryohei Nakatsu
Design of rational agents for performing speech acts intentionally in multiagent environment. Systems and Computers in Japan 34 (8) (2003)
Tadashi Araragi, Shiro Takata, Naoyuki Nide
A Verification Method for a Commitment Strategy of the BDI Architecture. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
Naoyuki Nide, Shiro Takata
Deduction systems for BDI logics using sequent calculus. AAMAS (2002)
Tadashi Araragi, Shiro Takata, Naoyuki Nide
A Verification Method for a Commitment Strategy of the BDI Architecture. CLIMA (2002)
Naoyuki Nide, Shiro Takata, Tadashi Araragi
Deduction Systems for BDI Logics with Mental State Consistency. CLIMA (2002)
Naoyuki Nide, Shiro Takata, Tadashi Araragi
Deduction Systems for BDI Logics with Mental State Consistency. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)