{"product_id":"9780792353249","title":"Applied Logic Series: Theory Change and Database Updating","description":"\u003ch1\u003eApplied Logic Series: Theory Change and Database Updating\u003c\/h1\u003e \u003ch2\u003eHansson, Sven Ove\u003c\/h2\u003e \u003cp\u003eThe mid-1980s saw the discovery of logical tools that make it  possible to model changes in belief and knowledge in entirely new  ways. These logical tools turned out to be applicable to both human  beliefs and to the contents of databases. Philosophers, logicians, and  computer scientists have contributed to making this interdisciplinary  field one of the most exciting in the cognitive scientists -  and one that is expanding rapidly. \u003cbr\u003e  This, the first textbook in the new area, contains both discursive  chapters with a minimum of formalism and formal chapters in which  proofs and proof methods are presented. Using different selections  from the formal sections, according to the author's detailed advice,  allows the book to be used at all levels of university education. A  supplementary volume contains solutions to the 210 exercises. \u003cbr\u003e  The volume's unique, comprehensive coverage means that it can also be  used by specialists in the field of belief dynamics and related areas,  such as non-monotonic reasoning and knowledge representation.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1999-03-31\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792353249\u003c\/p\u003e \u003cp\u003eDOI: \u003c\/p\u003e \u003cp\u003eDimensions: 234cm x156cm\u003c\/p\u003e \u003cp\u003ePages: 399\u003c\/p\u003e ","brand":"Springer Netherlands","offers":[{"title":"Default Title","offer_id":45578564665484,"sku":"9780792353249","price":152.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780792353249","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}