↓ 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 51: Completeness of extended unification based on basic narrowing
Altmetric Badge

Readers on

mendeley
1 Mendeley
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
Completeness of extended unification based on basic narrowing
Chapter number 51
Book title
Logic Programming '88
Published by
Springer, Berlin, Heidelberg, April 1988
DOI 10.1007/3-540-51564-x_51
Book ISBNs
978-3-54-051564-7, 978-3-54-046654-3
Authors

Akihiro Yamamoto

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.