shop by

Formal Methods in Artificial Intelligence (Paperback)

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibels connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence. *Author: Ramsay, Allan/ Van Rijsbergen, C. J./ Abramsky, Samson *Series Title: Cambridge Tracts in Theoretical Computer Science (Paperback) *Series Number: 6 *Binding Type: Paperback *Number of Pages: 292 *Publication Date: 1991/07/26 *Language: English *Dimensions: 9.63 x 6.87 x 0.71 inches


Publisher Cambridge Univ Pr
Mfg Part# 9780521424219
SKU 211002251
Format Paperback
ISBN10 0521424216
Release Date 4/21/2009
Product Attributes
Book Format Paperback
Number of Pages 0292
Publisher Cambridge University Press
Series Part 6
$61.40 + $2.75 shipping
$69.99 You save $8.59 (12%)
Rakuten Super Points Earn 62 ($0.62) Rakuten Super Points™
What are Rakuten Super Points™?
Get rewarded when you shop! Earn 1 point per dollar spent. That's like getting cash back on every purchase. Easy to see matured points in checkout. Use points just like cash.
Learn More
Get this item for
(price with shipping)
(redeem points)
Format: Paperback
Condition: Brand New
In Stock. Usually Ships in 1 to 2 business days
Please select an option to buy
Add to Cart

Sold By:  UnbeatableSale
What is a Marketplace and Shop Owner?
  • Our marketplace is a platform where approved third-party retailers (Shop Owners) can sell their products
  • Items are sold and shipped by Shop Owners
  • Your credit card and personal information remain secure; meets all PCI Security Standards.
  • Purchases can only be returned to the Shop Owner
  • All purchases receive Rakuten Super Points™
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details