Skip to main content
SpringerLink
Log in

Logic Programming '88

Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988

  • Conference proceedings
  • © 1989

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 383)

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

Included in the following conference series:

Conference proceedings info: LP 1988.

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 (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Completeness of extended unification based on basic narrowing

    • Akihiro Yamamoto
    Pages 1-10

  3. Proving definite clauses without explicit use of inductions

    • Akito Sakurai, Hiroshi Motoda
    Pages 11-26

  4. Pseudo extension in default reasoning and belief revision by model inference

    • Hiroko Yuasa, Setsuo Arikawa
    Pages 27-37

  5. An approach to nonmonotonic inference mechanism in production system KORE/IE

    • Toramatsu Shintani
    Pages 38-52

  6. Nonmonotonic parallel inheritance network

    • Chiaki Sakama, Akira Okumura
    Pages 53-66

  7. Logic programming debugger using control flow specification

    • Hideo Tamura, Hideo Aiso
    Pages 67-81

  8. ALEX: The logic programming language with explicit control and without cut-operators

    • Masaki Hoshida, Mario Tokoro
    Pages 82-95

  9. Lattice programming methodology

    • Kouichi Fukunaga, Shinichi Morishita
    Pages 96-107

  10. A simple programming system written in GHC and its reflective operations

    • Jiro Tanaka
    Pages 108-121

  11. Implementation of full GHC by communicating processes

    • Minoru Terada
    Pages 122-135

  12. Inference methods and semantics on or-type knowledge bases

    • Hiroshi Sakai
    Pages 136-155

  13. Access program to minimize redundant refutations on the network database system

    • Makoto Takizawa, Motoshi Katsumata, Shinichi Nagahora
    Pages 156-171

  14. EUODHILOS: A general-purpose reasoning assistant system — Concept and implementation —

    • Toshiro Minami, Hajime Sawamura, Kyoko Tsuchiya
    Pages 172-187

  15. Logic based lexical analyser LAX

    • Ryôichi Sugimura, Kôji Akasaka, Yukihiro Kubo, Yûji Matsumoto
    Pages 188-216

  16. Extraction of characteristic facts and abstract generation

    • Naoyoshi Tamura, Tomomi Kamio, Masato Kurosaki
    Pages 217-237

  17. Knowledge representation and reasoning for discourse understanding

    • Satoshi Kinoshita, Hiroshi Sano, Teruhiko Ukita, Kazuo Sumita, Shin'ya Amano
    Pages 238-251
Back to top

Other volumes

  1. Logic Programming '88

Keywords

About this book

This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation