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.
Last modified: Tue Oct 17 16:54:37 JST 2000