


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














