Logic Programming '89 : Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

Koichi Furukawa

ISBN 10: 3540539190 / ISBN 13: 9783540539193

Published by Springer, Springer, 1991

About this Item

Druck auf Anfrage Neuware - Printed after ordering - 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.

Seller Inventory # 9783540539193

Bibliographic Details

• Title: Logic Programming '89 : Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
• Publisher: Springer, Springer
• Publication Date: 1991
• Language: English
• ISBN 10: 3540539190
• ISBN 13: 9783540539193
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 12D millimeters 235 millimeters width by 155 millimeters height by 12 millimeters depth
• Weight: 312 grams

About this title

Synopsis

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.