The SCEAS System
Navigation Menu

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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002