| |
| 2002 | ||
|---|---|---|
| 5 | EE | Naoyuki Nide, Shiro Takata: Deduction systems for BDI logics using sequent calculus. AAMAS 2002: 928-935 |
| 4 | Tadashi Araragi, Shiro Takata, Naoyuki Nide: A Verification Method for a Commitment Strategy of the BDI Architecture. CLIMA III 2002: 109-122 | |
| 3 | Naoyuki Nide, Shiro Takata, Tadashi Araragi: Deduction Systems for BDI Logics with Mental State Consistency. CLIMA III 2002: 123-135 | |
| 2 | EE | Tadashi Araragi, Shiro Takata, Naoyuki Nide: A Verification Method for a Commitment Strategy of the BDI Architecture. Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
| 1 | EE | Naoyuki Nide, Shiro Takata, Tadashi Araragi: Deduction Systems for BDI Logics with Mental State Consistency. Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
| 1 | Tadashi Araragi | [1] [2] [3] [4] |
| 2 | Naoyuki Nide | [1] [2] [3] [4] [5] |