|
Search the dblp DataBase
Shiro Takata:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Naoyuki Nide, Shiro Takata
Deduction systems for BDI logics using sequent calculus. [Citation Graph (0, 0)][DBLP] AAMAS, 2002, pp:928-935 [Conf]
- Tadashi Araragi, Shiro Takata, Naoyuki Nide
A Verification Method for a Commitment Strategy of the BDI Architecture. [Citation Graph (0, 0)][DBLP] CLIMA III, 2002, pp:109-122 [Conf]
- Naoyuki Nide, Shiro Takata, Tadashi Araragi
Deduction Systems for BDI Logics with Mental State Consistency. [Citation Graph (0, 0)][DBLP] CLIMA III, 2002, pp:123-135 [Conf]
- Tadashi Araragi, Shiro Takata, Naoyuki Nide
A Verification Method for a Commitment Strategy of the BDI Architecture. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
- Naoyuki Nide, Shiro Takata, Tadashi Araragi
Deduction Systems for BDI Logics with Mental State Consistency. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
Search in 0.001secs, Finished in 0.001secs
|