↓ Skip to main content
What is this page? Embed badge

Logic Programming '88

Overview of attention for book
Cover of 'Logic Programming '88'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 51 Completeness of extended unification based on basic narrowing
  3. Altmetric Badge
    Chapter 52 Proving definite clauses without explicit use of inductions
  4. Altmetric Badge
    Chapter 53 Pseudo extension in default reasoning and belief revision by model inference
  5. Altmetric Badge
    Chapter 54 An approach to nonmonotonic inference mechanism in production system KORE/IE
  6. Altmetric Badge
    Chapter 55 Nonmonotonic parallel inheritance network
  7. Altmetric Badge
    Chapter 56 Logic programming debugger using control flow specification
  8. Altmetric Badge
    Chapter 57 ALEX: The logic programming language with explicit control and without cut-operators
  9. Altmetric Badge
    Chapter 58 Lattice programming methodology
  10. Altmetric Badge
    Chapter 59 A simple programming system written in GHC and its reflective operations
  11. Altmetric Badge
    Chapter 60 Implementation of full GHC by communicating processes
  12. Altmetric Badge
    Chapter 61 Inference methods and semantics on or-type knowledge bases
  13. Altmetric Badge
    Chapter 62 Access program to minimize redundant refutations on the network database system
  14. Altmetric Badge
    Chapter 63 EUODHILOS: A general-purpose reasoning assistant system — Concept and implementation —
  15. Altmetric Badge
    Chapter 64 Logic based lexical analyser LAX
  16. Altmetric Badge
    Chapter 65 Extraction of characteristic facts and abstract generation
  17. Altmetric Badge
    Chapter 66 Knowledge representation and reasoning for discourse understanding
Attention for Chapter 52: Proving definite clauses without explicit use of inductions
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Proving definite clauses without explicit use of inductions
Chapter number 52
Book title
Logic Programming '88
Published by
Springer, Berlin, Heidelberg, April 1988
DOI 10.1007/3-540-51564-x_52
Book ISBNs
978-3-54-051564-7, 978-3-54-046654-3
Authors

Akito Sakurai, Hiroshi Motoda

View on publisher site

This page is provided by Altmetric.