{"id":1000421,"date":"2010-01-01T12:01:48","date_gmt":"2010-01-01T03:01:48","guid":{"rendered":"http:\/\/nijiiro-farm.sakura.ne.jp\/AI_T\/?p=421"},"modified":"2021-05-18T18:55:34","modified_gmt":"2021-05-18T09:55:34","slug":"vol25_no1","status":"publish","type":"page","link":"https:\/\/www.ai-gakkai.or.jp\/en\/published_books\/journals_of_jsai\/past_journals\/in2010\/vol25_no1\/","title":{"rendered":"Journal of the Japanese Society for Artificial Intelligence Vol. 25 No. 1 (Jan. 2010)"},"content":{"rendered":"<p>CONTENTS<\/p>\n<p>Special Issue:\u201cHistorical Knowledge-Based Science\u201d<br \/>\nEditors\u2019Introduction of\u201cHistorical Knowledge-Based Science\u201d \u2026\u2026\u2026\u2026 Tetsuya Ishikawa and Mina Akaishi 1<br \/>\nHistoriography and Digital Historical Compilation &#8211; Digital Meta-History of Historiographical Institute<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Yoshinori Yokoyama 5<br \/>\nJapanese Primary Sources in the U.S. and European Collections<br \/>\n\u3000\u2015 Cataloguing, Digitalization, and Creation of Databases \u2015<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Haruko Wakabayashi and Martin C. Collcutt 11<br \/>\nIntegrated Retrieval of Historical Research Information and Historical Knowledge \u2026\u2026\u2026\u2026\u2026 Fumio Adachi 17<br \/>\nInformation Technologies for Humanities<br \/>\n\u3000\u2015 A View of Researchers of History and Classics \u2015 \u2026 Susumu Hayashi, Kazu Nagai and Izumi Miyazaki 24<br \/>\nTransmedia: Knowledge Media Technology for the Full-Text Search of Document Images<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026Yuzuru Tanaka and Hajime Imura 32<br \/>\nMapping and Knowledge Acquisition of Area-Based Historical Events in the Spatiotemporal Domain<br \/>\n\u3000\u2015 Exploring Knowledge-Based Historical Science Based on a Viewpoint of Area Informatics Concept \u2015<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Mamoru Shibayama 42<br \/>\nThree-Dimensional Spatiotemporal Model and Its Application to Analysis of Research Resources<br \/>\n\u3000\u2015 Toward Constructing Historical Knowledge \u2015 \u2026\u2026\u2026 Masatoshi Kubo, Shoichiro Hara and Tatsuki Sekino 50<br \/>\nSpecial Issue:\u201cRecent Advances in SAT Techniques\u201d<br \/>\nEditors\u2019Introduction of\u201cRecent Advances in SAT Techniques\u201d \u2026\u2026\u2026 Katsumi Inoue and Naoyuki Tamura 56<br \/>\nFoundations of SAT Solvers \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Katsumi Inoue and Naoyuki Tamura 57<br \/>\nPrinciples of Modern SAT Solvers \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Hidetomo Nabeshima and Takehide Soh 68<br \/>\nConstraint Optimization Problems and SAT Encodings<br \/>\n\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Naoyuki Tamura, Tomoya Tanjo and Mutsunori Banbara 77<br \/>\nSMT: Satisfiability Modulo Theories \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026Koji Iwanuma and Hidetomo Nabeshima 86<br \/>\nModel Enumeration and Model Counting \u2026\u2026\u2026\u2026 Ryuzo Hasegawa, Hiroshi Fujita and Miyuki Koshimura 96<br \/>\n\uff0a-SAT: Extentions of SAT \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Katsutoshi Hirayama and Makoto Yokoo 105<br \/>\nSAT Planning and SAT Scheduling \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Hidetomo Nabeshima 114<br \/>\nSAT-Based SystemVerification \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Mutsunori Banbara and NaoyukiTamura 122<br \/>\nTutorial:\u201c Game Theory and Its Application\u201d\uff082\uff09<br \/>\nCooperative Game Theory and Its Application \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026Nobuo Matsubayashi 130<br \/>\nLecture Series:\u201cKnowledge Based Software Engineering\u201d\uff085\uff09<br \/>\nConceptual Modeling in Information System Design \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Kiminobu Kodama 139<br \/>\nSpecial Issue:\u201cDoctorial Theses on Aritifical Intelligence\u201d<br \/>\nEditor\u2019s Introduction to\u201cDoctorial Theses on Aritifical Intelligence\u201d \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Yoshinobu Kitamura 147<br \/>\nFoundations of AI \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 148<br \/>\nMachine Learning and Data Mining \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 148<br \/>\nWeb Intelligence \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 149<br \/>\nAgents \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 151<br \/>\nSoft Computing \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 152<br \/>\nNatural Language Processing \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 155<br \/>\nRobot and Real World \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 157<br \/>\nHuman Interfaces and Computer-Supported Education\/Learning \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 157<br \/>\nSpecial Issue:\u201cWeb Intelligence and Interaction\u201d<br \/>\nEditor\u2019s Introduction to\u201cWeb Intelligence and Interaction\u201d \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Yasufumi Takama 162<\/p>\n<p>Published Bimonthly by the Japanese Society for Artificial Intelligence<br \/>\nOS Bldg. 402, 4-7 Tsukudomachi, Shinjuku-ku, Tokyo 162-0821, Japan.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>CONTENTS Special Issue:\u201cHistorical Knowledge-Based Science\u201d Editors\u2019Introduction of\u201cHistorical Knowledge-Based Science\u201d \u2026\u2026\u2026\u2026 Tetsuya Ishikawa and Mina Akaishi 1 Historiography and Digital Historical Compilation &#8211; Digital Meta-History of Historiographical Institute \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Yoshinori Yokoyama 5 Japanese Primary Sources in the U.S. and European Collections \u3000\u2015 Cataloguing, Digitalization, and Creation of Databases \u2015 \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026 Haruko Wakabayashi and Martin C. Collcutt 11 Integrated Retrieval of Historical Research Information and Historical Knowledge \u2026\u2026\u2026\u2026\u2026 Fumio Adachi 17 Information Technologies for Humanities \u3000\u2015 A View of Researchers of History and Classics \u2015 \u2026 Susumu Hayashi, Kazu Nagai and Izumi Miyazaki 24 Transmedia: Knowledge Media Technology for the Full-Text Search of Document Images \u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026\u2026Yuzuru Tanaka and Hajime Imura 32 Mapping [&hellip;]<\/p>\n","protected":false},"author":17,"featured_media":0,"parent":1007028,"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\/1000421"}],"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=1000421"}],"version-history":[{"count":4,"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/pages\/1000421\/revisions"}],"predecessor-version":[{"id":1008324,"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/pages\/1000421\/revisions\/1008324"}],"up":[{"embeddable":true,"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/pages\/1007028"}],"wp:attachment":[{"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/media?parent=1000421"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ai-gakkai.or.jp\/en\/wp-json\/wp\/v2\/categories?post=1000421"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}