Logic programming '89 : proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.).

Format Book
Publication InfoBerlin ; New York : Springer, ©1991.
Descriptionviii, 183 pages : illustrations ; 25 cm.
Subjects
Logic programming--Congresses.

Other author/creatorFurukawa, Kōichi.
Other author/creatorTanaka, H. (Hozumi)
Other author/creatorFujisaki, T. (Tetsunosuke)
Other author/creatorLogic Programming Conference 1989 : Tokyo, Japan) (8th :
SeriesLecture notes in computer science. Lecture notes in artificial intelligence
Lecture notes in computer science ; 485
Lecture notes in computer science 485. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Contents Human and machine learning of descriptive concepts / Donald Michie -- The classification and boundary problem / J. Yamaguchi -- Semantics of non- monotonic reasoning based on perfect model / F. Dong, H. Nakagawa -- Time- bounded reasoning in first order knowledge base systems / Y. Shi, S. Arikawa -- Elementary formal system as a logic programming language / A. Yamamoto -- Debugger for a parallel logic programming language Fleng / J. Tatemura, H. Tanaka -- Parallel generalized LR parser based on logic programming / H. Numazaki, N. Tamura, and H. Tanaka -- Knowledge media station / Y. Hosono ... [et al.] -- cu-Prolog and its application to a JPSG parser / H. Tsuda, K. Hasida and H. Shirai.
Contents Table-driven bottom up parser in Prolog / N. Tamura, H. Numazaki and H. Tanaka -- A consistency maintenance mechanism for subjective judgements and its applications / T. Shintani -- Logic design assistance using temporal logic based language Tokio / H. Nakamura ... [et al.].
General note"Papers presented at the Eighth Logic Programming Conference"-- Foreword.
Bibliography noteIncludes bibliographical references.
ISBN3540539190
ISBN0387539190

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.63.L63X 1991 ✔ Available Place Hold