Resolution Methods for the Decision Problem

Front Cover
Springer Science & Business Media, Jul 29, 1993 - Computers - 205 pages
This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

CHAPTER
1
CHAPTERS C Fermiiller
3
CHAPTER3 A Leitsch
17
The Bernays Schonfinkel Class
43
T Tammet
60
Semantic Tree Based Resolution Variants
93
N Zamov
130
CHAPTER7 T Tammet
151
CHAPTER 8
180
References
193
Index
204
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 198 - Gilbert, and HJ Levesque. An essential hybrid reasoning system: Knowledge and symbol level accounts in KRYPTON.