{"title":"Michael Thielscher","description":null,"products":[{"product_id":"challenges-for-action-theories-book-michael-thielscher-9783540674559","title":"Challenges for Action Theories","description":"A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52352937427217,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52352941064465,"sku":"NLS9783540674559","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540674559.jpg?v=1785889494"},{"product_id":"action-programming-languages-book-michael-thielscher-9783031004193","title":"Action Programming Languages","description":"Introduction.- Mathematical Preliminaries.- Procedural Action Programs.- Action Programs and Planning.- Declarative Action Programs.- Reactive Action Programs.- Suggested Further Reading.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52431752331537,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52431752986897,"sku":"NLS9783031004193","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031004193.jpg?v=1786034190"},{"product_id":"reasoning-robots-book-michael-thielscher-9781402030680","title":"Reasoning Robots","description":"The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A robot is, ?rst of all, nothing but an inanimate machine with motors and sensors. In order to bring life to it, the machine needs to be programmed so as to make active use of its hardware c- ponents. This turns a machine into an autonomous robot. Since about the mid nineties of the past century, robot programming has made impressive progress. State-of-the-art robots are able to orient themselves and move around freely in indoor environments or negotiate di?cult outdoor terrains, they can use stereo vision to recognize objects, and they are capable of simple object manipulation with the help of arti?cial extremities. At a time where robots perform these tasks more and more reliably,weare ready to pursue the next big step, which is to turn autonomous machines into reasoning robots.Areasoning robot exhibits higher cognitive capabilities like following complex and long-term strategies, making rational decisions on a high level, drawing logical conclusions from sensor information acquired over time, devising suitable plans, and reacting sensibly in unexpected situations. All of these capabilities are characteristics of human-like intelligence and ultimately distinguish truly intelligent robots from mere autonomous machines.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52481644822801,"sku":"NLS9781402030680","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53538729656593,"sku":"NIN9781402030680","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402030680.jpg?v=1786093797"},{"product_id":"reasoning-robots-book-michael-thielscher-9789048167838","title":"Reasoning Robots","description":"The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A robot is, ?rst of all, nothing but an inanimate machine with motors and sensors. In order to bring life to it, the machine needs to be programmed so as to make active use of its hardware c- ponents. This turns a machine into an autonomous robot. Since about the mid nineties of the past century, robot programming has made impressive progress. State-of-the-art robots are able to orient themselves and move around freely in indoor environments or negotiate di?cult outdoor terrains, they can use stereo vision to recognize objects, and they are capable of simple object manipulation with the help of arti?cial extremities. At a time where robots perform these tasks more and more reliably,weare ready to pursue the next big step, which is to turn autonomous machines into reasoning robots.Areasoning robot exhibits higher cognitive capabilities like following complex and long-term strategies, making rational decisions on a high level, drawing logical conclusions from sensor information acquired over time, devising suitable plans, and reacting sensibly in unexpected situations. All of these capabilities are characteristics of human-like intelligence and ultimately distinguish truly intelligent robots from mere autonomous machines.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52618370318609,"sku":"NLS9789048167838","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789048167838.jpg?v=1789555798"},{"product_id":"ai-2012-advances-in-artificial-intelligence-book-michael-thielscher-9783642351006","title":"AI 2012: Advances in Artificial Intelligence","description":"This book constitutes the refereed proceedings of the 25th Australasian Joint Conference on Artificial Intelligence, AI 2012, held in Sydney, Australia, in December 2012. The 76 revised full papers presented were carefully reviewed and selected from 196 submissions. The papers address a wide range of agents, applications, computer vision, constraints and search, game playing, information retrieval, knowledge representation, machine learning, planning and scheduling, robotics and uncertainty in AI.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52657829708049,"sku":"NLS9783642351006","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52779338826001,"sku":"NIN9783642351006","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642351006.jpg?v=1762230820"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-michael-thielscher.oembed","provider":"World of Books ","version":"1.0","type":"link"}