Advertisement

Table of contents

  1. Front Matter
  2. Akito Sakurai, Hiroshi Motoda
    Pages 11-26
  3. Chiaki Sakama, Akira Okumura
    Pages 53-66
  4. Kouichi Fukunaga, Shinichi Morishita
    Pages 96-107
  5. Makoto Takizawa, Motoshi Katsumata, Shinichi Nagahora
    Pages 156-171
  6. Toshiro Minami, Hajime Sawamura, Kyoko Tsuchiya
    Pages 172-187
  7. Ryôichi Sugimura, Kôji Akasaka, Yukihiro Kubo, Yûji Matsumoto
    Pages 188-216
  8. Naoyoshi Tamura, Tomomi Kamio, Masato Kurosaki
    Pages 217-237
  9. Satoshi Kinoshita, Hiroshi Sano, Teruhiko Ukita, Kazuo Sumita, Shin'ya Amano
    Pages 238-251

About these proceedings

Introduction

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.

Keywords

Processing knowledge base knowledge representation logic natural language processing nonmonotonic reasoning programming programming language proving

Bibliographic information

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