Conferences in DBLP

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

1. Joxan Jaffar, Jean-Louis Lassez
   From Unification to Constraints. [Citation Graph (1, 0)][DBLP]
   LP, 1987, pp:1-18 [Conf]
   
2. Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi
   CS-Prolog: A Generalized Unification Based Constraint Solver. [Citation Graph (0, 0)][DBLP]
   LP, 1987, pp:19-39 [Conf]
   
3. Masayuki Numao
   Update Propagation Network - A Framework for Constraint Programming. [Citation Graph (0, 0)][DBLP]
   LP, 1987, pp:40-49 [Conf]
   
4. Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura
   MENDELS: Concurrent Program Synthesis System Using Temporal Logic. [Citation Graph (0, 0)][DBLP]
   LP, 1987, pp:50-68 [Conf]
   
5. Takeshi Imanaka, Kuniaki Uehara, Jun'ichi Toyoda
   Analogical Program Synthesis from Program Components. [Citation Graph (0, 0)][DBLP]
   LP, 1987, pp:69-79 [Conf]
   
6. Youji Kohda, Jiro Tanaka
   Deriving a Compilation Method for Parallel Logic Languages. [Citation Graph (0, 0)][DBLP]
   LP, 1987, pp:80-94 [Conf]
   
7. Martin Nilsson, Hidehiko Tanaka
   The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages. [Citation Graph (0, 0)][DBLP]
   LP, 1987, pp:95-104 [Conf]
   
8. Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu
   Introduction of a Package System into Prolog. [Citation Graph (0, 0)][DBLP]
   LP, 1987, pp:105-112 [Conf]
   
9. Kiyoshi Shibayama, Masaaki Yamamoto, Hiroaki Hirata, Yasushi Konoh, Takanori Sanetoh, Hiroshi Hagiwara
   KPR: A Logic Programming Language-Oriented Parallel Machine. [Citation Graph (0, 0)][DBLP]
   LP, 1987, pp:113-131 [Conf]
   
10. Toshiaki Tarui, Tsutomu Maruyama, Hidehiko Tanaka
    A Preliminary Evaluation of a Parallel Inference Machine for Stream Parallel Languages. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:132-147 [Conf]
    
11. Hayato Ohwada, Fumio Mizoguchi
    Managing Search in Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:148-177 [Conf]
    
12. Hiroki Ishizaka
    Inductive Inference of Regular Language Based on Model Inference. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:178-194 [Conf]
    
13. Kenji Horiuchi, Tadashi Kanamori
    Polymorphic Type Inference in Prolog by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:195-214 [Conf]
    
14. Masaki Murakami
    Proving Partial Correctness of Guarded Horn Clauses Programs. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:215-235 [Conf]
    
15. Koji Iwanuma, Masateru Harao
    Knowledge Representation and Inference Based on First-Order Modal Logic. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:236-251 [Conf]
    
16. Akiko Kurata, Hideyuki Nakashima
    Manipulation of Embedded Context Using the Multiple World Mechanism. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:252-263 [Conf]
    
17. Naohiko Noguchi, Masanori Takahashi, Hideki Yasukawa
    Generating Natural Language Responses Appropriate to Conversational Situation - In the Case of Japanese. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:264-283 [Conf]
    
18. Toramatsu Shintani
    An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:284-297 [Conf]
    
19. Yoshihiro Tohma, Kenji Goto
    Test Generation for Large-Scale Combinational Circuits by Using Prolog. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:298-312 [Conf]
    
20. Makoto Takizawa, Katsumi Miyajima
    Concurrent Execution of Prolog Transaction. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:313-327 [Conf]