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...
| Other Authors: | , , |
|---|---|
| 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