|
|
Sold Out
Book Categories |
Preface;
1. Propositional calculus;
2. Predicate calculus;
3. Theorem proving;
4. Modal logic;
5. Temporal reasoning;
6. Non-monotonic reasoning;
7. Properties;
8. Alternate views;
9. Reflections; Bibliography; Index.
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Mark Thomas Barnes
reviewed Formal Methods in Artificial Intelligence on June 19, 2008
Formal Methods in Artificial Intelligence
This not so new synthesis is a reference guide rather a textbook. Gives a broad overview of all the things involved in AI. But author fails to pique interest but I feel it's more oriented towards university study rather than casual study.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Formal Methods in Artificial Intelligence
X
This Item is in Your Inventory
Formal Methods in Artificial Intelligence
X
You must be logged in to review the productsX
X
X
Add Formal Methods in Artificial Intelligence, 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 , Formal Methods in Artificial Intelligence to the inventory that you are selling on WonderClubX
X
Add Formal Methods in Artificial Intelligence, 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 , Formal Methods in Artificial Intelligence to your collection on WonderClub |