{"product_id":"9783540564546","title":"Lecture Notes in Computer Science: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings\u003c\/h1\u003e \u003ch2\u003eLamma, Evelina; Mello, Paola\u003c\/h2\u003e \u003cp\u003eThis book contains papers which investigate how to extend\nlogic programming toward the artificial intelligence and\nsoftware engineering areas, covering both theoretical and\npractical aspects. Some papers investigate topics such as\nabductive reasoning and negation. Some works discuss how to\nenhance  the expressive power of logic programming by\nintroducing constraints, sets, and integration with\nfunctional programming. Other papers deal with         the\nstructuring of knowledge into modules, taxonomies, and\nobjects, withthe aim of extending logic programming toward\nsoftware engineering          applications. A section is devoted to\npapers concentrating on proof theory  and inspired by\nGentzen-style sequent or natural deduction systems.         Topics\nsuch as concurrency are considered to enhance the                    expressive\npower of logic languages. Finally, some papers mainly\nconcernimplementation techniques for some of these logic\nprogramming extensions.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-02-12\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540564546\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56454-3\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 426\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370066272396,"sku":"9783540564546","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540564546.jpg?v=1773969681","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540564546","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}