沢村一

サワムラハジメ | Sawamura Hajime

研究分野 (2件)：知能情報学 , 情報学基礎論

競争的資金等の研究課題 (7件)：

全件表示

MISC (38件)：

書籍 (17件)：

An Argument-based Agent System with KQML as an Agent Communication Language
S. T. Yaun and M. Yokoo (Eds.): Intelligent Agents: Specificatipon, Modelling, and Applications, Lecture Notes in Artificial Intelligence, Vol. 2132, Springer-Verlag 2001
Towards an Argument-based Agent System (共著)
Proc of 3rd Int. Conf. on Knowledge-Based Intelligent Information Engineering Systems, IEEE 1999
An Argument-based Agent System with the Contract Net Protocol (共著)
Liu, J. and Zhong, N. (eds. ), Intelligent Agent Technology : Systems, Methodologies, and Tools, The World Scientific Publication 1999
認証の論理とHOLによる認証プロトコルの検証
ソフトウェア工学の基礎V,近代科学社 1998
Creation and Sharing of Logic-based Domain- and Meta-Knowledge(共著)
Proc. of Pacific Rim Knowledge Acquisition Workshop 1998

Works (1件)：

学歴 (4件)：

学位 (1件)：

経歴 (2件)：

所属学会 (4件)：

科学哲学会 , 日本人工知能学会 , 日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

沢村 一