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 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. $176.87, new condition, Sold by Ria Christie Books rated 4.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. $199.27, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2012 by Springer.
Add this copy of Logic Program Synthesis From Incomplete Information to cart. $209.55, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2012 by Springer.
Add this copy of Logic Program Synthesis from Incomplete Information to cart. $26.50, new condition, Sold by Scholars Attic rated 4.0 out of 5 stars, ships from Lake Barrington, IL, UNITED STATES, published 1994 by Kluwer Academic Publishers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New book (shrink wrapped NEW)! ! -No international shipping available. Sewn binding. Cloth over boards. 264 p. Contains: Illustrations. Evaluation in Education and Human Services, 295. Audience: General/trade.
Add this copy of Logic Program Synthesis From Incomplete Information to cart. $59.47, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1994 by Kluwer Academic Publishers.
Add this copy of Logic Program Synthesis From Incomplete Information to cart. $69.93, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1994 by Kluwer Academic Publishers.
Add this copy of Logic Program Synthesis From Incomplete Information to cart. $79.48, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1994 by Kluwer Academic Publishers.
Add this copy of Logic Program Synthesis From Incomplete Information to cart. $154.55, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, 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.