Rchr
J-GLOBAL ID：200901072766160777   Update date: Sep. 18, 2022

Sawamura Hajime

サワムラ ハジメ | Sawamura Hajime
Research field  (2)： Intelligent informatics ,  Information theory
Research theme for competitive and other funds  (7)：
  • エージェント指向計算 議論の論理
  • 自動定理証明
  • 議論の論理
  • 計算のモデル
  • Automated theorem proving
Show all
MISC (38)：
ｍore...
Books (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
ｍore...
Works (1)：
  • レコード出版:北大チルコロ・マンドリニスティコ"アウロラ"創立45周年記念東京演奏会(共同)キングレコード(株)、NA-75
    1969 -
Education (4)：
  • - 1978 Hokkaido University
  • - 1978 Hokkaido University Graduate School, Division of Engineering
  • - 1972 Hokkaido University School of Engineering
  • - 1972 Hokkaido University Faculty of Engineering
Professional career (1)：
  • (BLANK)
Work history (2)：
  • 1980 - 1996 富士通国際情報社会科学研究所
  • Niigata University Faculty of Engineering, Department of Information Engineering
Association Membership(s) (4)：
科学哲学会 ,  日本人工知能学会 ,  日本ソフトウェア科学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM