{"product_id":"logic-program-synthesis-from-incomplete-information-9781461359258","title":"Logic Program Synthesis from Incomplete Information","description":"\u003cp\u003e • Author(s): Pierre Flener\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - Object Oriented\u003c\/p\u003e\u003cp\u003eProgram synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly. \u003cbr\u003e This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure artificial intelligence approach. \u003cbr\u003e This book is suitable as a secondary text for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45281841578135,"sku":"9781461359258","price":11017.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781461359258.webp?v=1769300383","url":"https:\/\/atlanticbooks.com\/products\/logic-program-synthesis-from-incomplete-information-9781461359258","provider":"Atlantic Books","version":"1.0","type":"link"}