{"title":"Michael Genesereth","description":null,"products":[{"product_id":"introduction-to-logic-programming-book-michael-genesereth-9783031004582","title":"Introduction to Logic Programming","description":"Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has been growing interest in Logic Programming due to applications in deductive databases, automated worksheets, Enterprise Management (business rules), Computational Law, and General Game Playing. This book introduces Logic Programming theory, current technology, and popular applications. In this volume, we take an innovative, model-theoretic approach to logic programming. We begin with the fundamental notion of datasets, i.e., sets of ground atoms. Given this fundamental notion, we introduce views, i.e., virtual relations; and we define classical logic programs as sets of view definitions, written using traditional Prolog-like notation but with semantics given in terms of datasets rather than implementation. We then introduce actions, i.e., additions and deletions of ground atoms; and we define dynamic logic programs as sets of action definitions. In addition to the printed book, there is an online version of the text with an interpreter and a compiler for the language used in the text and an integrated development environment for use in developing and deploying practical logic programs.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51067032633617,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51067034927377,"sku":"NIN9783031004582","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52427873124625,"sku":"NLS9783031004582","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3031004582.jpg?v=1750806116"},{"product_id":"introduction-to-logic-book-michael-genesereth-9781627052474","title":"Introduction to Logic","description":"Provides a gentle but rigorous introduction to formal logic. The book covers logical syntax and semantics and proof theory, plus induction. Unlike other books, this title begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51825429741841,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":51825429938449,"sku":"CIN162705247XG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781627052474.jpg?v=1752675436"},{"product_id":"data-integration-book-michael-genesereth-9783031004223","title":"Data Integration","description":"Preface.- Interactive Edition.- Introduction.- Basic Concepts.- Query Folding.- Query Planning.- Master Schema Management.- Appendix.- References.- Index.- Author Biography.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52117740880145,"sku":"NGR9783031004223","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52427455070481,"sku":"NLS9783031004223","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031004223.jpg?v=1757370951"},{"product_id":"general-game-playing-book-michael-genesereth-9783031004414","title":"General Game Playing","description":"General game players are computer systems able to play strategy games based solely on formal game descriptions supplied at runtime (n other words, they don't know the rules until the game starts). Unlike specialized game players, such as Deep Blue, general game players cannot rely on algorithms designed in advance for specific games; they must discover such algorithms themselves. General game playing expertise depends on intelligence on the part of the game player and not just intelligence of the programmer of the game player. GGP is an interesting application in its own right. It is intellectually engaging and more than a little fun. But it is much more than that. It provides a theoretical framework for modeling discrete dynamic systems and defining rationality in a way that takes into account problem representation and complexities like incompleteness of information and resource bounds. It has practical applications in areas where these features are important, e.g., in business andlaw. More fundamentally, it raises questions about the nature of intelligence and serves as a laboratory in which to evaluate competing approaches to artificial intelligence. This book is an elementary introduction to General Game Playing (GGP). (1) It presents the theory of General Game Playing and leading GGP technologies. (2) It shows how to create GGP programs capable of competing against other programs and humans. (3) It offers a glimpse of some of the real-world applications of General Game Playing.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52152994365713,"sku":"NGR9783031004414","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52430867955985,"sku":"NLS9783031004414","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031004414.jpg?v=1757618546"},{"product_id":"introduction-to-logic-third-edition-book-michael-genesereth-9783031006739","title":"Introduction to Logic, Third Edition","description":"Preface.- Introduction.- Propositional Logic.- Logical Properties and Relationships.- Propositional Proofs.- Propositional Resolution.- Relational Logic.- Relational Analysis.- Relational Proofs.- Herbrand Logic.- Herbrand Proofs.- Induction.- Resolution.- Bibliography.- Authors' Biographies.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52430775746833,"sku":"NLS9783031006739","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52760482382097,"sku":"NIN9783031006739","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031006739.jpg?v=1759170645"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-michael-genesereth.oembed","provider":"World of Books ","version":"1.0","type":"link"}