عنوان

Logic Programming '89 :

شابک

3540463984

شابک

3540539190

شابک

9783540463986

شابک

9783540539193

شماره

b566125

عنوان اصلي

Logic Programming '89 :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Proceedings of the 8th Conference Tokyo, Japan, July 12-14, 1989

نام نخستين پديدآور

edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1991

نام خاص و کميت اثر

(ix, 183 pages)

عنوان فروست

Lecture notes in computer science., Lecture notes in artificial intelligence ;, 485.

متن يادداشت

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.

موضوع مستند نشده

Artificial intelligence.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Translators (Computer programs)

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.

مستند نام اشخاص تاييد نشده

Hozumi Tanaka

مستند نام اشخاص تاييد نشده

Kōichi Furukawa

مستند نام اشخاص تاييد نشده

T Fujisaki

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y