Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295) - Hardcover
Book 203 of 260: The Springer International Series in Engineering and Computer Science
Synopsis
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Logic Program Synthesis from Incomplete Information...
Stock Image
Logic Program Synthesis from Incomplete Informatio
Print on DemandSeller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service. Seller Inventory # POD-153574
Stock Image
Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780792395324_new
Buy New
US$ 189.57
US$ 16.00 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Logic Program Synthesis from Incomplete Information
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 268 Index. Seller Inventory # 263071728
Stock Image
Logic Program Synthesis from Incomplete Information
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 268 Figures, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam, Seller Inventory # 5857583
Buy New
US$ 249.26
US$ 8.68 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Logic Program Synthesis from Incomplete Information
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. 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. Seller Inventory # 5971566
Buy New
US$ 212.40
US$ 55.82 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Logic Program Synthesis from Incomplete Information
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 268, Abbreviations. Seller Inventory # 183071738
Buy New
US$ 266.46
US$ 11.34 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Stock Image
Logic Program Synthesis from Incomplete Information (International Series in Engineering and Computer Science)
Published by
Kluwer Academic Publishers, 1994
ISBN 10: 0792395328
ISBN 13: 9780792395324
Used
Hardcover
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
(Hardcover). Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA70407923953285
Buy Used
US$ 298.42
US$ 33.38 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Logic Program Synthesis from Incomplete Information
Published by
Springer Nature B.V. Dez 1994, 1994
ISBN 10: 0792395328
ISBN 13: 9780792395324
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware - 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. Seller Inventory # 9780792395324
Buy New
US$ 262.07
US$ 71.63 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available