Journal of the Japanese Society for Artificial Intelligence Vol. 25 No. 1 (Jan. 2010)

CONTENTS

Special Issue:“Historical Knowledge-Based Science”
Editors’Introduction of“Historical Knowledge-Based Science” ………… Tetsuya Ishikawa and Mina Akaishi 1
Historiography and Digital Historical Compilation – Digital Meta-History of Historiographical Institute
……………………………………………………………………………………… Yoshinori Yokoyama 5
Japanese Primary Sources in the U.S. and European Collections
 ― Cataloguing, Digitalization, and Creation of Databases ―
…………………………………………………………… Haruko Wakabayashi and Martin C. Collcutt 11
Integrated Retrieval of Historical Research Information and Historical Knowledge …………… Fumio Adachi 17
Information Technologies for Humanities
 ― A View of Researchers of History and Classics ― … Susumu Hayashi, Kazu Nagai and Izumi Miyazaki 24
Transmedia: Knowledge Media Technology for the Full-Text Search of Document Images
…………………………………………………………………………Yuzuru Tanaka and Hajime Imura 32
Mapping and Knowledge Acquisition of Area-Based Historical Events in the Spatiotemporal Domain
 ― Exploring Knowledge-Based Historical Science Based on a Viewpoint of Area Informatics Concept ―
……………………………………………………………………………………… Mamoru Shibayama 42
Three-Dimensional Spatiotemporal Model and Its Application to Analysis of Research Resources
 ― Toward Constructing Historical Knowledge ― ……… Masatoshi Kubo, Shoichiro Hara and Tatsuki Sekino 50
Special Issue:“Recent Advances in SAT Techniques”
Editors’Introduction of“Recent Advances in SAT Techniques” ……… Katsumi Inoue and Naoyuki Tamura 56
Foundations of SAT Solvers …………………………………………… Katsumi Inoue and Naoyuki Tamura 57
Principles of Modern SAT Solvers …………………………………… Hidetomo Nabeshima and Takehide Soh 68
Constraint Optimization Problems and SAT Encodings
……………………………………………… Naoyuki Tamura, Tomoya Tanjo and Mutsunori Banbara 77
SMT: Satisfiability Modulo Theories …………………………………Koji Iwanuma and Hidetomo Nabeshima 86
Model Enumeration and Model Counting ………… Ryuzo Hasegawa, Hiroshi Fujita and Miyuki Koshimura 96
*-SAT: Extentions of SAT …………………………………………… Katsutoshi Hirayama and Makoto Yokoo 105
SAT Planning and SAT Scheduling …………………………………………………… Hidetomo Nabeshima 114
SAT-Based SystemVerification ……………………………………… Mutsunori Banbara and NaoyukiTamura 122
Tutorial:“ Game Theory and Its Application”(2)
Cooperative Game Theory and Its Application ……………………………………………Nobuo Matsubayashi 130
Lecture Series:“Knowledge Based Software Engineering”(5)
Conceptual Modeling in Information System Design …………………………………… Kiminobu Kodama 139
Special Issue:“Doctorial Theses on Aritifical Intelligence”
Editor’s Introduction to“Doctorial Theses on Aritifical Intelligence” …………………… Yoshinobu Kitamura 147
Foundations of AI ……………………………………………………………………………………………… 148
Machine Learning and Data Mining …………………………………………………………………………… 148
Web Intelligence ………………………………………………………………………………………………… 149
Agents …………………………………………………………………………………………………………… 151
Soft Computing ………………………………………………………………………………………………… 152
Natural Language Processing …………………………………………………………………………………… 155
Robot and Real World …………………………………………………………………………………………… 157
Human Interfaces and Computer-Supported Education/Learning ……………………………………………… 157
Special Issue:“Web Intelligence and Interaction”
Editor’s Introduction to“Web Intelligence and Interaction” ……………………………… Yasufumi Takama 162

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

Fri, January 1 2010 » 学会誌