<電子ブック>
Logic Programming '89 : Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
(Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 485)
版 | 1st ed. 1991. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1991 |
本文言語 | 英語 |
大きさ | IX, 186 p : online resource |
著者標目 | Furukawa, Koichi editor Tanaka, Hozumi editor Fujisaki, Tetsunosuke editor SpringerLink (Online service) |
件 名 | LCSH:Artificial intelligence LCSH:Computer programming LCSH:Compilers (Computer programs) LCSH:Machine theory LCSH:Natural language processing (Computer science) FREE:Artificial Intelligence FREE:Programming Techniques FREE:Compilers and Interpreters FREE:Formal Languages and Automata Theory FREE:Natural Language Processing (NLP) |
一般注記 | Human and machine learning of descriptive concepts -- The classification and boundary problem -- Semantics of non-monotonic reasoning based on perfect model -- Time-bounded reasoning in first order knowledge base systems -- Elementary formal system as a logic programming language -- Debugger for a parallel logic programing language Fleng -- Parallel generalized LR parser based on logic programming -- Knowledge media station -- cu-Prolog and its application to a JPSG parser -- Table-driven Bottom Up Parser in Prolog -- A consistency maintenance mechanism for subjective judgments and its application -- Logic design assistance using temporal logic based language Tokio 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 HTTP:URL=https://doi.org/10.1007/3-540-53919-0 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540463986 |
|
電子リソース |
|
EB00225256 |