Advertisement

Table of contents

  1. Front Matter
  2. Jinsei Yamaguchi
    Pages 23-37
  3. Fangqing Dong, Hirosi Nakagawa
    Pages 38-53
  4. Yihua Shi, Setsuo Arikawa
    Pages 54-72
  5. Junichi Tatemura, Hidehiko Tanaka
    Pages 87-96
  6. Hiroaki Numazaki, Naoyoshi Tamura, Hozumi Tanaka
    Pages 97-106
  7. Y. Hosono, H. Kumagai, H. Shimizu, M. Sumida, A. Takeuchi, N. Takiguchi et al.
    Pages 107-133
  8. Tsuda Hiroshi, Hasida Kôiti, Sirai Hidetosi
    Pages 134-143
  9. Naoyoshi Tamura, Hiroaki Numazaki, Hozumi Tanaka
    Pages 144-162
  10. Nakamura Hiroshi, Nakai Masaya, Kono Shinji, Fujita Masahiro, Tanaka Hidehiko
    Pages 174-183

About these proceedings

Introduction

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.

Keywords

Prolog knowledge learning logic machine learning natural language processing programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-53919-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-53919-3
  • Online ISBN 978-3-540-46398-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site