8. LP 1989: Tokyo, Japan

@proceedings{DBLP:conf/lp/1989,
  editor    = {Koichi Furukawa and
               Hozumi Tanaka and
               Tetsunosuke Fujisaki},
  title     = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo,
               Japan, July 12-14, 1989},
  booktitle = {LP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {485},
  year      = {1991},
  isbn      = {3-540-53919-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

• Donald Michie: Human and Machine Learning of Descriptive Concepts. 1-22 BibTeX

Reasoning

• Jinsei Yamaguchi: The Classification and Boundary Problem. 23-37 BibTeX
• Fangqing Dong, Hiroshi Nakagawa: Semantics of Non-montonic Reasoning based on Perfect Model. 38-53 BibTeX
• Yihua Shi, Setsuo Arikawa: Time-Bounded Reasoning in First Order Knowledge Base Systems. 54-72 BibTeX

Logic Programming Language

• Akihiro Yamamoto: Elementary Formal System as a Logic Programming Language. 73-86 BibTeX

Concurrent Programming

• Jun'ichi Tatemura, Hidehiko Tanaka: Debugger for a Parallel Logic Programming Language Fleng. 87-96 BibTeX
• Hiroaki Numazaki, Naoyoshi Tamura, Hozumi Tanaka: Paralle Generalized LP Parser based on Logic Programming. 97-106 BibTeX

Knowledge Programming

• Y. Hosono, H. Kumagai, H. Shimizu, M. Sumida, Akikazu Takeuchi, N. Takiguchi, T. Wake, T. Yamaoka: Knowledge Media Station. 107-133 BibTeX

Natural Language Processing

• Hiroshi Tsuda, Kôiti Hasida, Hidetosi Sirai: cu-Prolog and its Application to a JPSG Parser. 134-143 BibTeX
• Naoyoshi Tamura, Hiroaki Numazaki, Hozumi Tanaka: Table-Driven Bottom Up Parser in Prolog. 144-162 BibTeX

Application

• Toramatsu Shintani: A Consistency Maintenance Mechanism for Subjective Judgements and Its Application. 163-173 BibTeX
• Hiroshi Nakamura, Masaya Nakai, Shinji Kono, Masahiro Fujita, Hidehiko Tanaka: Logic Design Assistence Using Temporal Logic Based Language Tokio. 174-183 BibTeX