{"product_id":"computational-logic-hardback-9780444516244","title":"Computational Logic (Hardback) 9780444516244","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eComputational Logic\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003e\u003cp\u003ePresenting the growing richness and diversity of computational logic and its applications\u003c\/p\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eDov M. Gabbay (Edited by), Jörg H. Siekmann (Edited by), John Woods (Edited by)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780444516244, Elsevier Science\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 28 November 2014\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e736 pages\u003cbr\u003e23.4 x 19 x 3.8 cm, 1.19 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003e\u003cp\u003e\u003ci\u003eHandbook of the History of Logic\u003c\/i\u003e brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematics, computer science, artificial intelligence, cognitive science, linguistics, law and many engineering fields where logic-related techniques are used inter alia to state and settle correctness issues, the field has diversified in ways that even the pure logicians working in the early decades of the twentieth century could have hardly anticipated.\u003c\/p\u003e  \u003cp\u003eLogical calculi, which capture an important aspect of human thought, are now amenable to investigation with mathematical rigour and computational support and fertilized the early dreams of mechanised reasoning: “Calculemus?. The Dartmouth Conference in 1956 – generally considered as the birthplace of artificial intelligence – raised explicitly the hopes for the new possibilities that the advent of electronic computing machinery offered: logical statements could now be executed on a machine with all the far-reaching consequences that ultimately led to logic programming, deduction systems for mathematics and engineering, logical design and verification of computer software and hardware, deductive databases and software synthesis as well as logical techniques for analysis in the field of mechanical engineering. This volume covers some of the main subareas of computational logic and its applications.\u003c\/p\u003e\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e\u003cp\u003eINTRODUCTION 1. Computational Logic, \u003ci\u003eJörg Siekmann \u003c\/i\u003e2. Logic and the Development of the Computer, \u003ci\u003eMartin Davis \u003c\/i\u003eGENERAL 3. What is a Logical System? An Evolutionary View: 1964-2014, \u003ci\u003eDov Gabbay \u003c\/i\u003eAUTOMATED REASONING 4. Interactive Theorem Proving, \u003ci\u003eJohn R. Harrison, Josef Urban, Frederik Wiedijk \u003c\/i\u003e5. Automation of Higher Order Logic, \u003ci\u003eChristoph Benzmüller, Dale Miller \u003c\/i\u003e6. Equational Logics and Rewriting, \u003ci\u003eClaude Kirchner, Helene Kirchner \u003c\/i\u003e7. Possibilistic Logic  An Overview, \u003ci\u003eDidier Dubois, Henri Prade \u003c\/i\u003e8.\u003ci\u003e \u003c\/i\u003eComputerizing Mathematical Text, \u003ci\u003eFairouz\u003c\/i\u003e \u003ci\u003eKamareddine, Joe Wells, Christoph Zengler and Henk Barendregt  \u003c\/i\u003eSPECIFICATION and VERIFICATION 9. Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi, \u003ci\u003eJos\u003c\/i\u003e \u003ci\u003eBaeten, Davide Sangiorgi \u003c\/i\u003e10. Logical Synthesis of Reactive Systems - from Church's Problem to Modern Applications, \u003ci\u003eBernd Finkbeiner \u003c\/i\u003eCOMPUTER SCIENCE 11. Degrees of Unsolvability, \u003ci\u003eKlaus Ambos-Spies, Peter A. Fejer \u003c\/i\u003e12. Computational Complexity, \u003ci\u003eLance Fortnow, Steven Homer \u003c\/i\u003e13. Logic Programming, \u003ci\u003eBob Kowalski \u003c\/i\u003e14. Logic and Databases, \u003ci\u003eJack Minker, Dietmar Seipel, Carlo Zaniolo \u003c\/i\u003e15. Logics for Intelligent Agents and Multi Agent Systems, \u003ci\u003eJohn-Jules\u003c\/i\u003e \u003ci\u003eMeyer\u003c\/i\u003e 16. Description Logics, \u003ci\u003eMatthias Knorr, Pascal Hitzler \u003c\/i\u003e17. Logics for the Semantic Web, \u003ci\u003ePascal Hitzler, Jens Lehmann, Axel Polleres\u003c\/i\u003e\u003c\/p\u003e\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical logic [\u003ca title=\"See our other books on Mathematical logic\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20logic%20%5BPBCD%5D%22\"\u003ePBCD\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"North Holland","offers":[{"title":"Default Title","offer_id":46648826364184,"sku":"9780444516244","price":123.99,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780444516244.jpg?v=1694979939","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/computational-logic-hardback-9780444516244","provider":"Freshly Printed Books","version":"1.0","type":"link"}