8. LP 1989: Tokyo, Japan

Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (Eds.): Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989. Lecture Notes in Computer Science 485 Springer 1991, ISBN 3-540-53919-0

Invited Talk

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

Reasoning

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

Logic Programming Language

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

Concurrent Programming

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

Knowledge Programming

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

Natural Language Processing

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

Application

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

Last update Wed Feb 15 05:13:04 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page