Shiro Takata

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2002
j2		Tadashi Araragi, Shiro Takata, Naoyuki Nide: A Verification Method for a Commitment Strategy of the BDI Architecture. Electr. Notes Theor. Comput. Sci. 70(5): 126-139 (2002)
j1		Naoyuki Nide, Shiro Takata, Tadashi Araragi: Deduction Systems for BDI Logics with Mental State Consistency. Electr. Notes Theor. Comput. Sci. 70(5): 140-152 (2002)
c3		Naoyuki Nide, Shiro Takata: Deduction systems for BDI logics using sequent calculus. AAMAS 2002: 928-935
c2		Tadashi Araragi, Shiro Takata, Naoyuki Nide: A Verification Method for a Commitment Strategy of the BDI Architecture. CLIMA 2002: 109-122
c1		Naoyuki Nide, Shiro Takata, Tadashi Araragi: Deduction Systems for BDI Logics with Mental State Consistency. CLIMA 2002: 123-135

Coauthor Index

1	Tadashi Araragi	[j2] [j1] [c2] [c1]
2	Naoyuki Nide	[j2] [j1] [c3] [c2] [c1]

Last update Mon May 20 11:06:30 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page