Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Resolution Methods for the Decision Problem (Paperback, 1993 ed.)
Loot Price: R1,570
Discovery Miles 15 700
|
|
Resolution Methods for the Decision Problem (Paperback, 1993 ed.)
Series: Lecture Notes in Artificial Intelligence, 679
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.