Skip to main content
SpringerLink
Log in

Logic Programming '89

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

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Koichi Furukawa
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hozumi Tanaka
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Tetsunosuke Fujisaki
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 485)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: LP 1989.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Human and machine learning of descriptive concepts

    • Donald Michie
    Pages 1-22

  3. The classification and boundary problem

    • Jinsei Yamaguchi
    Pages 23-37

  4. Semantics of non-monotonic reasoning based on perfect model

    • Fangqing Dong, Hirosi Nakagawa
    Pages 38-53

  5. Time-bounded reasoning in first order knowledge base systems

    • Yihua Shi, Setsuo Arikawa
    Pages 54-72

  6. Elementary formal system as a logic programming language

    • Akihiro Yamamoto
    Pages 73-86

  7. Debugger for a parallel logic programing language Fleng

    • Junichi Tatemura, Hidehiko Tanaka
    Pages 87-96

  8. Parallel generalized LR parser based on logic programming

    • Hiroaki Numazaki, Naoyoshi Tamura, Hozumi Tanaka
    Pages 97-106

  9. Knowledge media station

    • Y. Hosono, H. Kumagai, H. Shimizu, M. Sumida, A. Takeuchi, N. Takiguchi et al.
    Pages 107-133

  10. cu-Prolog and its application to a JPSG parser

    • Tsuda Hiroshi, Hasida Kôiti, Sirai Hidetosi
    Pages 134-143

  11. Table-driven Bottom Up Parser in Prolog

    • Naoyoshi Tamura, Hiroaki Numazaki, Hozumi Tanaka
    Pages 144-162

  12. A consistency maintenance mechanism for subjective judgments and its application

    • Toramatsu Shintani
    Pages 163-173

  13. Logic design assistance using temporal logic based language Tokio

    • Nakamura Hiroshi, Nakai Masaya, Kono Shinji, Fujita Masahiro, Tanaka Hidehiko
    Pages 174-183
Back to top

Other volumes

  1. Logic Programming '89

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation