{"product_id":"logic-program-synthesis-from-incomplete-information-von-pierre-flener","title":"Logic Program Synthesis from Incomplete Information","description":"Program 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781461359258\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9781461359258","offer_id":39415665655901,"sku":"9781461359258","price":160.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/53c891cf-3de4-49fa-9def-9a2161a2e9cf.jpg?v=1771218651","url":"https:\/\/shop.autorenwelt.de\/products\/logic-program-synthesis-from-incomplete-information-von-pierre-flener","provider":"Autorenwelt Shop","version":"1.0","type":"link"}