Shiro Takata

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

5 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 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 Naoyuki Nide, Shiro Takata, Tadashi Araragi: Deduction Systems for BDI Logics with Mental State Consistency. Electr. Notes Theor. Comput. Sci. 70(5): (2002)

	2002
5		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		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		Naoyuki Nide, Shiro Takata, Tadashi Araragi: Deduction Systems for BDI Logics with Mental State Consistency. Electr. Notes Theor. Comput. Sci. 70(5): (2002)

Coauthor Index

1	Tadashi Araragi	[1] [2] [3] [4]
2	Naoyuki Nide	[1] [2] [3] [4] [5]