5. LP 1986: Tokyo, Japan

Eiiti Wada (Ed.): Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986. Lecture Notes in Computer Science 264 Springer 1987, ISBN 3-540-18024-9 BibTeX

@proceedings{DBLP:conf/lp/1986,
  editor    = {Eiiti Wada},
  title     = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo,
               Japan, June 23-26, 1986},
  booktitle = {LP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {264},
  year      = {1987},
  isbn      = {3-540-18024-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Takashi Kakiuchi, Kuniaki Uehara, Jun'ichi Toyoda: Plan-Based Text Generation in an On-Line Help System. 1-11 BibTeX
Kiyoshi Akama: Inheritance Hierarchy Mechanism in Prolog. 12-21 BibTeX
Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi, Mitsuhiko Toda: KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language. 22-33 BibTeX
H. Yoshino, S. Kagayama, S. Ohta, M. Kitahara, H. Kondoh, M. Nakakawaji, K. Ishimaru, S. Takao: Legal Expert System LES-2. 34-45 BibTeX
Y. Ohara, S. Torii, E. Ono, M. Kishishita, J. Tanaka, T. Miyazaki: A Prototype Software Simulator for FGHC. 47-57 BibTeX
Makoto Haraguchi, Setsuo Arikawa: A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs. 58-69 BibTeX
Makoto Takizawa, Hideaki Itoh, Kunihiko Moriya: Logic Interface System on Navigational Database Systems. 70-80 BibTeX
Yasubumi Sakakibara: Programming in Modal Logic: An Extension of PROLOG based on Modal Logic. 81-91 BibTeX
Kazuko Takahashi, Tadashi Kanamori: On Parallel Programming Methodology in GHC. 92-103 BibTeX
Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa: An Optimizing Prolog Compiler. 104-115 BibTeX
Shinji Yokoi: A Prolog Based Object Oriented Language SPOOL and its Compiler. 116-125 BibTeX
Ken'ichi Kakizaki, Kuniaki Uehara, Jun'ichi Toyoda: Development of C-Prolog Compiler. 126-136 BibTeX
Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa: A Framework for Interactive Problem Solving Based on Interactive Query Revision. 137-146 BibTeX
Shinichi Morishita, Masayuki Numao: Prolog Computation Model BPM and its Debugger PROEDIT2. 147-158 BibTeX
Hanpei Koike, Hidehiko Tanaka: Fast Execution Mechanisms of Parallel Inference Engine PIE: PIEpelined Goal Rewriting and Goal Multicasting. 159-169 BibTeX
Martin Nilsson, Hidehiko Tanaka: FLENG Prolog - The Language which turns Supercomputers into Parallel Prolog Machines. 170-179 BibTeX