Conferences in DBLP

Logic Programming - Japanese Conference (lp)
1985 (conf/lp/1985)

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