search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

LP

Keyphrases

Publications

volume 485, 1991

Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 LP 485 (1991)

1989

Fangqing Dong, Hiroshi Nakagawa
Semantics of Non-montonic Reasoning based on Perfect Model. LP (1989)
Hiroshi Tsuda, Kôiti Hasida, Hidetosi Sirai
cu-Prolog and its Application to a JPSG Parser. LP (1989)
Donald Michie
Human and Machine Learning of Descriptive Concepts. LP (1989)
Jun'ichi Tatemura, Hidehiko Tanaka
Debugger for a Parallel Logic Programming Language Fleng. LP (1989)
Toramatsu Shintani
A Consistency Maintenance Mechanism for Subjective Judgements and Its Application. LP (1989)
Hiroaki Numazaki, Naoyoshi Tamura, Hozumi Tanaka
Paralle Generalized LP Parser based on Logic Programming. LP (1989)
Yihua Shi, Setsuo Arikawa
Time-Bounded Reasoning in First Order Knowledge Base Systems. LP (1989)
Jinsei Yamaguchi
The Classification and Boundary Problem. LP (1989)
Naoyoshi Tamura, Hiroaki Numazaki, Hozumi Tanaka
Table-Driven Bottom Up Parser in Prolog. LP (1989)
Y. Hosono, H. Kumagai, H. Shimizu, M. Sumida, Akikazu Takeuchi, N. Takiguchi, T. Wake, T. Yamaoka
Knowledge Media Station. LP (1989)
Hiroshi Nakamura, Masaya Nakai, Shinji Kono, Masahiro Fujita, Hidehiko Tanaka
Logic Design Assistence Using Temporal Logic Based Language Tokio. LP (1989)
Akihiro Yamamoto
Elementary Formal System as a Logic Programming Language. LP (1989)

volume 383, 1989

Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 LP 383 (1989)

1988

volume 315, 1988

Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987 LP 315 (1988)

1987

volume 264, 1987

Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 LP 264 (1987)