{"product_id":"knowledge-representation-reasoning-and-declarative-problem-solving-paperback-9780521147750","title":"Knowledge Representation, Reasoning and Declarative Problem Solving (Paperback) 9780521147750","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eKnowledge Representation, Reasoning and Declarative Problem Solving\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eA practitioner's guide to knowledge representation and reasoning using logic programming.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eChitta Baral (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521147750, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 27 May 2010\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e548 pages\u003cbr\u003e24.4 x 17 x 2.8 cm, 0.86 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003eReview of the hardback: '… the appearance of an extensive book with such a deep theoretical content and with analyses, methods and examples useful for practical applications is admirable after the very short history of Answer Set Programming.' Zentralblatt MATH\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eKnowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic. In this book, originally published in 2003, Chitta Baral shows exactly how to go about doing that: how to write programs that behave intelligently by giving them the ability to express knowledge and reason about it. He presents a language, AnsProlog, for both knowledge representation and reasoning, and declarative problem solving. The results have been organised here into a form that will appeal to practising and would-be knowledge engineers wishing to learn more about the subject, either in courses or through self-teaching. A comprehensive bibliography rounds off the book.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePreface\u003cbr\u003e 1. Declarative programming in AnsProlog*: introduction and preliminaries\u003cbr\u003e 2. Simple modules for declarative programming with answer sets\u003cbr\u003e 3. Principles and properties of declarative programming with answer sets\u003cbr\u003e 4. Declarative problem solving and reasoning in AnsProlog*\u003cbr\u003e 5. Reasoning about actions and planning in AnsProlog*\u003cbr\u003e 6. Complexity, expressiveness, and other properties of AnsProlog* programs\u003cbr\u003e 7. Answer set computing algorithms\u003cbr\u003e 8. Query answering and answer set computing systems\u003cbr\u003e 9. Further extensions of and alternatives to AnsProlog*\u003cbr\u003e 10. Appendix A: Ordinals, lattices, and fixpoint theory\u003cbr\u003e 11. Appendix B: Turing machines\u003cbr\u003e Bibliography\u003cbr\u003e Index of notation\u003cbr\u003e Index of terms.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e], Programming \u0026amp; scripting languages: general [\u003ca title=\"See our other books on Programming \u0026amp; scripting languages: general\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Programming%20\u0026amp;%20scripting%20languages:%20general%20%5BUMX%5D%22\"\u003eUMX\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46006709322008,"sku":"9780521147750","price":52.48,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521147750i_2375fbd4-c552-4e96-b83a-ea58208616a1.jpg?v=1691372504","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/knowledge-representation-reasoning-and-declarative-problem-solving-paperback-9780521147750","provider":"Freshly Printed Books","version":"1.0","type":"link"}