Resolution Methods for the Decision Problem Image close
Resolution Methods for the Decision Problem by C. Fermuller
Resolution Methods for the Decision Problem by C. Fermuller
Show Hide Adult Content
Resolution Methods for the Decision Problem close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Resolution Methods for the Decision Problem

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$157.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.25 with Afterpay Learn more

6 weekly interest-free payments of $26.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 6-18 June using International Courier

Explore more Lecture Notes in Artificial Intelligence

See all products in this series

Advances in Knowledge Discovery and Data Mining
$318.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 7 Jun 2024
Trends and Applications in Knowledge Discovery and Data Mining
$266.00
Trends and Applications in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 5 Jun 2024
Advances in Brain Inspired Cognitive Systems
$205.00
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 29 May 2024
Advances in Knowledge Discovery and Data Mining
$318.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 25 May 2024
Autonomous Agents and Multiagent Systems. Best and Visionary Papers
$140.00
Autonomous Agents and Multiagent Systems. Best and Visionary Papers
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Intelligent Systems
$303.00
Foundations of Intelligent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web
$156.00
Knowledge Engineering and Knowledge Management: Ontologies and the...
Paperback / softback
Available - Usually ships in 3-4 weeks
Language Processing and Knowledge in the Web
$138.00
Language Processing and Knowledge in the Web
Paperback / softback
Available - Usually ships in 3-4 weeks
Statistical Language and Speech Processing
$205.00
Statistical Language and Speech Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Learning and Knowledge Discovery in Databases: Research Track
$295.00
Machine Learning and Knowledge Discovery in Databases: Research Track
Paperback / softback
Available - Usually ships in 3-4 weeks
Belief Functions: Theory and Applications
$192.00
Belief Functions: Theory and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Knowledge Management in Electronic Government
$152.00
Knowledge Management in Electronic Government
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection
$153.00
Advances in Practical Applications of Agents, Multi-Agent Systems,...
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Data Mining and Applications
$205.00
Advanced Data Mining and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Verbal and Nonverbal Communication Behaviours
$154.00
Verbal and Nonverbal Communication Behaviours
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Intelligence XXXIX
$230.00
Artificial Intelligence XXXIX
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume contains work on the decision problem done inKazan (Russia), Tallinn (Estonia), and Vienna (Austria). Theauthors met several times to discuss and exchange theirresults and finally decided to write this monographtogether. Besides a unified treatment of previouslypublished results there are many new results first presentedin this volume. The monograph opens with an introduction and a chapter onterminology, 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.
Release date NZ
July 29th, 1993
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
XII, 236 p.
Pages
236
Dimensions
155x233x11
ISBN-13
9783540567325
Product ID
2108326

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence