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. This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. ...
Read More
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. 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. 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.
Read Less
Add this copy of Logic Program Synthesis From Incomplete Informatio to cart. $128.18, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2012 by Springer.
Add this copy of Logic Program Synthesis From Incomplete Informatio to cart. $136.48, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2012 by Springer.
Add this copy of Logic Program Synthesis From Incomplete Informatio to cart. $141.77, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2012 by Springer.
Add this copy of Logic Program Synthesis from Incomplete Information to cart. $168.69, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2012 by Springer.
Add this copy of Logic Program Synthesis from Incomplete Information to cart. $190.96, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2012 by Springer.
Add this copy of Logic Program Synthesis from Incomplete Information to cart. $36.50, new condition, Sold by Scholars Attic rated 4.0 out of 5 stars, ships from Lake Barrington, IL, UNITED STATES, published 1994 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. NEW BOOK(NEVER OPENED)/No dust jacket as issued--No international shipping available. Sewn binding. Cloth over boards. 242 p. Contains: Unspecified. The Springer International Engineering and Computer Science, 295. Audience: General/trade.
Add this copy of Logic Program Synthesis From Incomplete Informatio to cart. $136.48, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 1994 by Springer.
Add this copy of Logic Program Synthesis from Incomplete Information to cart. $168.69, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1994 by Springer.
