{"product_id":"logicbased-artificial-intelligence-597-the-springer-international-series-in-engineering-and-computer-science-9780792372240","title":"LogicBased Artificial Intelligence 597 The Springer International Series in Engineering and Computer Science","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eCovers topics such as commonsense reasoning, knowledge representation, nonmonotonic reasoning, logic for causation and actions, planning and problem solving, cognitive robotics, logic for agents and actions, inductive reasoning, possibilistic logic, logic and beliefs, logic and language, and computational logic.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003eContributing Authors. Preface. Part I: Introduction to  Logic-Based Artificial Intelligence. 1. Introduction to  Logic-Based Artificial Intelligence; J. Minker. Part II:  Commonsense Reasoning. 2. Concepts of Logical AI; J.  McCarthy. Part III: Knowledge Representation. 3. Two  Approaches to Efficient Open-World Reasoning; G. De Giacomo, H.  Levesque. 4. Declarative Problem-Solving in DLV; T.  Eder, et al. Part IV: Nonmonotonic Reasoning. 5. The  Role of Default Logic in Knowledge Representation; J.P. Delgrande,  Torsten Schaub. 6. Approximations, stable operators,  well-founded fixpoints, applications in nonmonotonic reasoning; M.  Denecker, et al. Part V: Logic for Causation, Actions.  7. Getting to the Airport: The Oldest Planning Problem in AI;  V. Lifschitz, et al. Part VI: Planning, Problem  Solving. 8. Encoding Domain Knowledge for Propositional Planning;  H. Kautz, B. Selman. 9. Functional Strips; H.  Geffner. Part VII: Logic, Planning, High Level Robotics.  10. Planning with Natural Actions in the Situation Calculus; F.  Pirri, R. Reiter. 11. Reinventing Shakey; M. Shanahan.  Part VIII: Logic for Agents, Actions. 12. Reasoning Agents  in Dynamic Domains; C. Baral, M. Gelfond. 13.  Dynamic Logic for Reasoning about Actions, Agents; J.-J.Ch.  Meyer. Part IX: Inductive Reasoning. 14. Logic-Based Machine  Learning; S. Muggleton, F. Marginean. Part X:  Possibilistic Logic. 15. Decision, Nonmonotonic Reasoning,  Possibilistic Logic; S. Benferhat, etal. Part Xl:  Logic, Beliefs. 16. The Role(s) of Belief in AI; D. Perlis.  17. Modeling the Beliefs of Other Agents; R.H.  Thomason. Part XII: Logic, Language. 18. The Situations We  Talk about; L.K. Schuberi. Part XIII: Computational Logic.  19. Linear Time Datalog, Branching.Time Logic; G. Goitlob, et  al. 20. On the Expressive Power of Planning Formalisms; B.  Nebel. Part XIV: Knowledge Base System Implementations.  21. Extending the Smodels System with Cardinality, Weight  Constraints; I. Niemelä, P. Simons. 22. Nonmonotonic  Reasoning in LDL++; H. Wang, C. Zaniolo. Part XV:  Applications of Theorem Proving, Logic Programming. 23. Towards  a Mechanically Checked Theory of Computation; J. Strother Moore.  24. Logic-Based Techniques in Data Integration; A.Y. Levy.  Index.","brand":"Springer Us","offers":[{"title":"Default Title","offer_id":53515485053271,"sku":"9780792372240","price":189.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/logicbased-artificial-intelligence-597-the-springer-international-series-in-engineering-and-computer-science-9780792372240","provider":"Book Curl","version":"1.0","type":"link"}