{"id":1000309,"date":"2001-09-01T10:38:42","date_gmt":"2001-09-01T01:38:42","guid":{"rendered":"http:\/\/nijiiro-farm.sakura.ne.jp\/AI_T\/?p=309"},"modified":"2021-05-18T19:47:19","modified_gmt":"2021-05-18T10:47:19","slug":"vol16_no5","status":"publish","type":"page","link":"https:\/\/www.ai-gakkai.or.jp\/en\/published_books\/journals_of_jsai\/past_journals\/in2001\/vol16_no5\/","title":{"rendered":"Journal of Japanese Society for Artificial Intelligence Vol.16 No.5(Sep. 2001)"},"content":{"rendered":"<p>CONTENTS<\/p>\n<p>Commentary<br \/>\nSocial Role of Academic Society\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Hideki Asoh 603<\/p>\n<p>Special Issue:<br \/>\n\u201cRecent Advancements and Applications of AI Planning Techniques\u201d<br \/>\nEditor\u2019s Introduction to<br \/>\n\u201cRecent Advancements and Applications of AI Planning Techniques\u201d<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026.. Kazuo Miyashita 604<\/p>\n<p>Plannig Graph and SAT Planning\u2026\u2026\u2026 Hidetomo Nabeshima and Katsumi Inoue 605<\/p>\n<p>Planning and Scheduling\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026. Kazuo Miyashita 611<\/p>\n<p>Planning in Robots\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Jun Miura 617<\/p>\n<p>Planning for Software Agents\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026.. Seiji Yamada 623<\/p>\n<p>Planning System for Rescue and Military Operation\u2026\u2026\u2026\u2026\u2026 Itsuki Noda 629<\/p>\n<p>Special Issue:<br \/>\n\u201cNew Technologies in Automated Reasoning and Theorem Proving\u201d<br \/>\nEditors\u2019 Introduction to<br \/>\n\u201cNew Technologies in Automated Reasoning and Theorem Proving\u201d<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Koji Iwanuma and Ken Satoh 635<\/p>\n<p>Computational Complexity of CNF Satisfiability Testing<br \/>\n\u2013Recent Developments\u2013\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Kazuo Iwama 636<\/p>\n<p>Inferring Other Agents\u2019Knowledge and Belief by Model Checking<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Hideki Isozaki and Hirofumi Katsuno 642<\/p>\n<p>Discoverying Programs by Model Checkers<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026. Masami Hagiya and Koichi Takahashi 648<\/p>\n<p>Proof Procedures of Answer Set Semantics for Logic Programming<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026. Noboru Iwayama and Ken Satoh 655<\/p>\n<p>Tableaux and Model Generation Theorem Proving<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026.. Ryuzo Hasegawa, Hiroshi Fujita and Miyuki Koshimura 661<\/p>\n<p>Equational Proofs by Completion\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026. Yoshihito Toyama 668<\/p>\n<p>Recent Technologies of Automated Theorem Proving<br \/>\n\u2013Around ATP System Completion CASC\u2013\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Koji Iwanuma 675<\/p>\n<p>Survey Papers<br \/>\nSpin Glass Theory and Machine Learning<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026. Tatsuto Murayama and Yoshiyuki Kabashima 683<\/p>\n<p>Contribution<br \/>\nToward Both Globalized and Localized JSAI Annual Conferences<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026.. Takao Terano 689<\/p>\n<p>AI map<br \/>\nComments on\u201cTowards Boundaryless AI Research for Human Support\u201d<br \/>\nand Their Answers<br \/>\n\u2026\u2026\u2026. Kenji Mase, Jiro Tanaka, Takashi Nagao and Yoichi Takebayashi 692<\/p>\n<p>Neuronal Approach to Artificial Intelligence\u2026\u2026\u2026\u2026\u2026\u2026 Ryohei Nakano 704<\/p>\n<p>Articles<br \/>\nThinking Around the Film\u201cA.I.\u201d<br \/>\n\u2026\u2026\u2026\u2026\u2026 Mitsuru Ishizuka, Hideaki Takeda and Toshihiro Kamishima 712<\/p>\n<p>Lecture Series: Cognitive Science (5)<br \/>\nCognitive Neuroscience\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026. Koichi Yoneda 717<\/p>\n<p>Technical Papers Abstract\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026.. 723<\/p>\n<p>My Bookmark<br \/>\nPlanning and Scheduling\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026. Kazuo Miyashita 729<\/p>\n<p>Published Bimonthly by Japanese Society for Artificial Intelligence<br \/>\nOS Bldg.402,4-7 Tsukudomachi,Shinjuku-ku,Tokyo 162-0821,Japan.<\/p>\n<p>Last modified: Tue Oct 17 16:54:37 JST 2000<\/p>\n","protected":false},"excerpt":{"rendered":"<p>CONTENTS Commentary Social Role of Academic Society\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Hideki Asoh 603 Special Issue: \u201cRecent Advancements and Applications of AI Planning Techniques\u201d Editor\u2019s Introduction to \u201cRecent Advancements and Applications of AI Planning Techniques\u201d \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026.. Kazuo Miyashita 604 Plannig Graph and SAT Planning\u2026\u2026\u2026 Hidetomo Nabeshima and Katsumi Inoue 605 Planning and Scheduling\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026. Kazuo Miyashita 611 Planning in Robots\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Jun Miura 617 Planning for Software Agents\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026.. Seiji Yamada 623 Planning System for Rescue and Military Operation\u2026\u2026\u2026\u2026\u2026 Itsuki Noda 629 Special Issue: \u201cNew Technologies in Automated Reasoning and Theorem Proving\u201d Editors\u2019 Introduction to \u201cNew Technologies in Automated Reasoning and Theorem Proving\u201d \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Koji Iwanuma and Ken Satoh 635 Computational Complexity of CNF Satisfiability Testing \u2013Recent [&hellip;]<\/p>\n","protected":false},"author":17,"featured_media":0,"parent":1007047,"menu_order":0,"comment_status":"open","ping_status":"open","template":"","meta":[],"categories":[11],"_links":{"self":[{"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/pages\/1000309"}],"collection":[{"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/comments?post=1000309"}],"version-history":[{"count":3,"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/pages\/1000309\/revisions"}],"predecessor-version":[{"id":1008390,"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/pages\/1000309\/revisions\/1008390"}],"up":[{"embeddable":true,"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/pages\/1007047"}],"wp:attachment":[{"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/media?parent=1000309"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/categories?post=1000309"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}