Art

J-GLOBAL ID：200902193315944168   Reference number：99A0412397

An Automated Reasoning System for Multi-Agent Environmentst.

マルチエージェント環境のための自動推論システム

Author (5)： HE L (Aichi Prefectural Univ., Aichi, JPN) ,  CHAO Y (Nagoya Univ., Nagoya, JPN) ,  NAKAMURA T (Nagoya Inst. Technol., Nagoya, JPN) ,  SEKI H (Nagoya Inst. Technol., Nagoya, JPN) ,  ITOH H (Nagoya Inst. Technol., Nagoya, JPN)
Material： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
Volume： 14  Issue： 3  Page： 529-537  Publication year： May. 01, 1999 
JST Material Number： X0330A  ISSN： 0912-8085  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *multiagent system ,...
Semi thesaurus term： possible world

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0412397&from=J-GLOBAL&jstjournalNo=X0330A") }}

JST classification (2)： Artificial intelligence  (JE08000Z) ,  Theory of computation  (JB02000A)

Reference (21)：

• ANDERSON, R. A Linear format for resolution with merging and a new technique for establishing completeness. J. of ACM. 1970, 28, 193-214
• CATACH, L. TABLEAUX : A General Theorem Prover for Modal Logic. J. of Automated Reasoning. 1991, 7, 489-510
• CHANG, C. L. Symbolic Logic and Mechanical Theorem Proving. 1973
• CARMEL, D. Exploration and Adaptation in Multiagent Systems : A Model-based Approach. Proc. of IJCAI. 1997, 606-611
• ELGOT-DRAPKIN, J. Step-Logic and the Threewise-men Problem. Proc. of AAAI. 1991, 412-417

Terms in the title (3)： マルチエージェント ,  環境 ,  自動推論