4. LP 1985: Tokyo, Japan

• Rikio Onai, Hajime Shimizu, Kanae Masuda, Akira Matsumoto, Moritoshi Aso:
  Architecture and Evaluation of a Reduction-Based Parallel Inference Machine: PIM-R. 1-12
  
• Mamoru Sugie, M. Yoneyama, T. Sakabe, M. Iwasaki, S. Yoshizumi, Moritoshi Aso, Hajime Shimizu, Rikio Onai:
  Hardware Simulator of Reduction-Based Parallel Inference Machine PIM-R. 13-24
  
• Tsutomu Maruyama, Keiji Hirata, Hidehiko Tanaka, Tohru Moto-Oka:
  A Note on the Elementary Execution Unit in a Parallel Inference Machine. 25-34
  
• Hideo Matsuda, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa:
  Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System. 35-43
  
• Etsuo Itoh, Hiroshi Nakagawa:
  Heuristic Applied in Tree Manipulation Algorithm Synthesis. 44-55
  
• Makoto Haraguchi:
  Analogical Reasoning using Transformations of Rules. 56-65
  
• T. Hisano, M. Suwa:
  Synchronization and Communication in the "Subject". 66-77
  
• H. Ito, H. Ueno:
  ZERO: Frame + Prolog. 78-89
  
• Hidehisa Takahashi, Etsuya Shibayama:
  PRESET - A Debugging Environment for Prolog. 90-99
  
• Masayuki Numao, H. Maruyama:
  PROEDIT - A Screen Oriented Prolog Programming Environment. 100-107
  
• Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya:
  Software Prototyping with MENDEL. 108-116
  
• H. Yoshida, H. Kato, M. Sugimoto:
  Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae. 117-127
  
• T. Aoyagi, Masahiro Fujita, Tohru Moto-Oka:
  Temporal Logic Programming Language Tokio - Programming in Tokio. 128-137
  
• Shinji Kono, T. Aoyagi, Masahiro Fujita, Hidehiko Tanaka:
  Implementation of Temporal Logic Programming Language Tokio. 138-147
  
• K. Nakamura:
  Heuristic Prolog: Logic Program Execution by Heuristic Search. 148-155
  
• Jiro Tanaka, Takashi Yokomori, Makoto Kishishita:
  AND-OR Queuing in Extended Concurrent Prolog. 156-167
  
• Kazunori Ueda:
  Guarded Horn Clauses. 168-179
  
• Satoru Tomura:
  TDProlog: An Extended Prolog with Term Description. 180-191
  
• Mitsuhiro Kishimoto, Tsuyoshi Shinogi, Yasunori Kimura, Akira Hattori:
  Design and Evaluation of a Prolog Compiler. 192-203
  
• Akira Yamamoto, Masaki Mitsui, Hiroyuki Yoshida, Minoru Yokota, Katsuto Nakajima:
  The Program Characteristics in Logic Programming Language ESP. 204-213
  
• Kuniaki Uehara, Takashi Kakiuchi, Osamu Mikami, Jun'ichi Toyoda:
  Extended Prolog and Ints Application to an Integrated Parser for Text Understanding. 214-225
  
• H. Suzuki, M. Kiyono, S. Kougo, M. Takahashi, S. Motoike, T. Niki:
  A Travel Consultation System: Towards a Smooth Conversation in Japanese. 226-235
  
• J. M. Choi, M. S. Song, K. J. Jeong, H. C. Kwon, S. Y. Han, Yung Taek Kim:
  A Prolog-Based Korean-English Machine Translation System and Its Efficient Method of Dictionary Management. 236-245
  
• Masahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, Tohru Moto-Oka:
  Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis. 246-255
  
• Yasunori Noda, Tetsuo Kinoshita, Akira Okumura, Tatsuro Hirano, Tadashi Hiruta:
  A Parallel Logic Simulator Based on Concurrent Prolog. 256-265
  
• Isao Nagasawa:
  A Method of Representing Processes in a Constraint Solver. 266-275
  
• Katsumi Nitta, Juntaro Nagao:
  KRIP: a Knowledge Representation System for Laws Relating to Industrial Property. 276-286
  
• Yasushi Matsumura, Takashi Matsunaga, Yusuke Maeda, Shusaku Tsumoto, Hiroshi Matsumura, Michio Kimura:
  Consultation System for Diagnosis of Headache and Facial Pain: "RHINOS". 287-298
  
• Isao Sugiyai, Keiko Ishikawa:
  Knowledge Realization and Transformation in KRISP. 299-311
  

Last update Fri May 25 08:25:33 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page