Logic Programming '88 Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988

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 as...

Full description

Bibliographic Details
Other Authors: Furukawa, Koichi (Editor), Tanaka, Hozumi (Editor), Fujisaki, Tetsunosuke (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1989, 1989
Edition:1st ed. 1989
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Completeness of extended unification based on basic narrowing
  • Proving definite clauses without explicit use of inductions
  • Pseudo extension in default reasoning and belief revision by model inference
  • An approach to nonmonotonic inference mechanism in production system KORE/IE
  • Nonmonotonic parallel inheritance network
  • Logic programming debugger using control flow specification
  • ALEX: The logic programming language with explicit control and without cut-operators
  • Lattice programming methodology
  • A simple programming system written in GHC and its reflective operations
  • Implementation of full GHC by communicating processes
  • Inference methods and semantics on or-type knowledge bases
  • Access program to minimize redundant refutations on the network database system
  • EUODHILOS: A general-purpose reasoning assistant system — Concept and implementation —
  • Logic based lexical analyser LAX
  • Extraction of characteristic facts and abstract generation
  • Knowledge representation and reasoning for discourse understanding