{"product_id":"formal-methods-in-artificial-intelligence-book-allan-m-ramsay-9780521352369","title":"Formal Methods in Artificial Intelligence","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":"- \/ - \/ INTERNAL","offer_id":52527971041553,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":52527971172625,"sku":"GOR010879360","price":20.6,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780521352369.jpg?v=1786113411","url":"https:\/\/www.worldofbooks.com\/en-gb\/products\/formal-methods-in-artificial-intelligence-book-allan-m-ramsay-9780521352369","provider":"World of Books ","version":"1.0","type":"link"}