The Automation of Reasoning with Incomplete Information
From Semantic Foundations to Efficient Computation
Series: Lecture Notes in Computer Science; 1409;
- Publisher's listprice EUR 53.49
-
22 690 Ft (21 609 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 20% (cc. 4 538 Ft off)
- Discounted price 18 152 Ft (17 287 Ft + 5% VAT)
22 690 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 1997
- Publisher Springer
- Date of Publication 29 April 1998
- Number of Volumes 1 pieces, Book
- ISBN 9783540645153
- Binding Paperback
- No. of pages166 pages
- Size 235x155 mm
- Weight 580 g
- Language English
- Illustrations XIV, 166 p. 0
Categories
Long description:
Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by bridging the gaps in the information available.
A versatile way of reasoning in the absence of information is to reason by default. This book aims at providing formal and practical means for automating reasoning with incomplete information by starting from the approach taken by the framework of default logic. For this endeavor, a bridge is spanned between formal semantics, over systems for default reasoning, to efficient implementation.
Springer Book Archives
Table of Contents:
The original approach: Classical default logic.- An alternative approach: Constrained default logic.- Putting default logics into perspective.- A context-based framework for default logics.- Possible worlds semantics for default logics.- Adding specificity to default logics.- Adding lemma handling to default logics.- Query-answering in default logics.- A Prolog-technology compiler for query-answering.- Conclusions and perspectives.
More
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
Subcribe now and receive a favourable price.
Subscribe
22 690 HUF
