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

Furukawa, Koichi

ISBN 10: 3540539190 / ISBN 13: 9783540539193

Published by Springer 1991-04, 1991

About this Item

Seller Inventory # 6666-IUK-9783540539193

Bibliographic Details

• Title: Logic Programming '89 : Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
• Publisher: Springer 1991-04
• Publication Date: 1991
• Language: English
• ISBN 10: 3540539190
• ISBN 13: 9783540539193
• Binding: PF
• Condition: New

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.