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 Information
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-595-526
Buy Used
US$ 5.14
US$ 19.16 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available
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$ 187.51
US$ 15.94 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
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. 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$ 220.30
US$ 8.65 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Logic Program Synthesis from Incomplete Information
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 268, Abbreviations. Seller Inventory # 183071738
Buy New
US$ 236.79
US$ 11.56 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Logic Program Synthesis from Incomplete Information
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
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$ 213.09
US$ 56.90 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 (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$ 289.25
US$ 33.27 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
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$ 296.59
US$ 73.00 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available