Journal of Japanese Society for Artificial Intelligence
Vol.16 No.5(Sep. 2001)

CONTENTS

Commentary
  Social Role of Academic Society................................. Hideki Asoh 603

Special Issue:
  ``Recent Advancements and Applications of AI Planning Techniques''
  Editor's Introduction to
    ``Recent Advancements and Applications of AI Planning Techniques''
      ........................................................ Kazuo Miyashita 604

  Plannig Graph and SAT Planning......... Hidetomo Nabeshima and Katsumi Inoue 605

  Planning and Scheduling..................................... Kazuo Miyashita 611

  Planning in Robots................................................ Jun Miura 617

  Planning for Software Agents................................... Seiji Yamada 623

  Planning System for Rescue and Military Operation............... Itsuki Noda 629

Special Issue:
  ``New Technologies in Automated  Reasoning and  Theorem Proving''
  Editors' Introduction to
    ``New Technologies in Automated  Reasoning and  Theorem Proving''
      ............................................. Koji Iwanuma and Ken Satoh 635

  Computational Complexity of CNF Satisfiability Testing
    --Recent Developments--....................................... Kazuo Iwama 636

  Inferring Other Agents'Knowledge and Belief by Model Checking
      .................................... Hideki Isozaki and Hirofumi Katsuno 642

  Discoverying Programs by Model Checkers
      ..................................... Masami Hagiya and Koichi Takahashi 648

  Proof Procedures of Answer Set Semantics for Logic Programming
      ........................................... Noboru Iwayama and Ken Satoh 655

  Tableaux and Model Generation Theorem Proving
      .................... Ryuzo Hasegawa, Hiroshi Fujita and Miyuki Koshimura 661

  Equational Proofs by Completion............................ Yoshihito Toyama 668

  Recent Technologies of Automated Theorem Proving
    --Around ATP System Completion CASC--........................ Koji Iwanuma 675

Survey Papers
  Spin Glass Theory and Machine Learning
      ............................... Tatsuto Murayama and Yoshiyuki Kabashima 683

Contribution
  Toward Both Globalized and Localized JSAI Annual Conferences
      ........................................................... Takao Terano 689

AI map
  Comments on``Towards Boundaryless AI Research for Human Support''
    and Their Answers
      .......... Kenji Mase, Jiro Tanaka, Takashi Nagao and Yoichi Takebayashi 692

  Neuronal Approach to Artificial Intelligence.................. Ryohei Nakano 704

Articles
  Thinking Around the Film``A.I.''
      ............... Mitsuru Ishizuka, Hideaki Takeda and Toshihiro Kamishima 712

Lecture Series: Cognitive Science (5)
  Cognitive Neuroscience........................................ Koichi Yoneda 717

Technical Papers Abstract..................................................... 723

My Bookmark
  Planning and Scheduling..................................... Kazuo Miyashita 729

Published Bimonthly by Japanese Society for Artificial Intelligence
OS Bldg.402,4-7 Tsukudomachi,Shinjuku-ku,Tokyo 162-0821,Japan.