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.

Last modified: Tue Oct 17 16:54:37 JST 2000

Sat, September 1 2001 » 学会誌