default search action
8. LP 1989: Tokyo, Japan
- Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.