Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (inbunden).
Köp båda 2 för 1049 krCompleteness 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.