{"product_id":"pocket-style-manual-book-university-diana-hacker-9780312593247","title":"A Pocket Style Manual","description":"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 Bibel's 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.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49675839832337,"sku":"CIN0312593244G","price":3.98,"currency_code":"USD","in_stock":true},{"title":"US \/ WELL_READ \/ SBYB","offer_id":50347593597201,"sku":"CIN0312593244A","price":2.99,"currency_code":"USD","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50715302363409,"sku":"CIN0312593244VG","price":4.58,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0312593244.jpg?v=1750973650","url":"https:\/\/www.worldofbooks.com\/products\/pocket-style-manual-book-university-diana-hacker-9780312593247","provider":"World of Books ","version":"1.0","type":"link"}