Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002231775/catalog> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- catalog abstract ""This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation."--Publisher's Website.".
- catalog contributor b3212529.
- catalog contributor b3212530.
- catalog contributor b3212531.
- catalog contributor b3212532.
- catalog created "c1991.".
- catalog date "1991".
- catalog date "c1991.".
- catalog dateCopyrighted "c1991.".
- catalog description ""This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation."--Publisher's Website.".
- catalog description "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.".
- catalog description "Includes bibliographical references.".
- catalog description "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.].".
- catalog extent "viii, 183 p. :".
- catalog hasFormat "Logic Programming '89.".
- catalog identifier "0387539190 (New York)".
- catalog identifier "3540539190 (Berlin)".
- catalog isFormatOf "Logic Programming '89.".
- catalog isPartOf "Lecture notes in computer science ; 485 Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 485.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1991".
- catalog issued "c1991.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog relation "Logic Programming '89.".
- catalog subject "Logic programming Congresses.".
- catalog subject "QA76.63 .L6324 1989".
- catalog tableOfContents "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.".
- catalog tableOfContents "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.].".
- catalog title "Logic programming '89 : proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".