Picture 1 of 1
Picture 1 of 1
Logic Program Synthesis from Incomplete Information by Pierre Flener (English) H
US $187.40
ApproximatelyAU $273.56
Condition:
Brand new
A new, unread, unused book in perfect condition with no missing or damaged pages. See the seller's listing for full details.
3 available
Postage:
Free Economy Shipping.
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Tue, 8 Oct and Tue, 15 Oct to 43230
Returns:
30-day returns. Buyer pays for return postage.
Payments:
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:386700035192
Item specifics
- Condition
- ISBN-13
- 9780792395324
- Book Title
- Logic Program Synthesis from Incomplete Information
- ISBN
- 9780792395324
- Subject Area
- Computers
- Publication Name
- Logic Program Synthesis from Incomplete Information
- Publisher
- Springer
- Item Length
- 9.3 in
- Subject
- Software Development & Engineering / General, Intelligence (Ai) & Semantics, Logic Design, Compilers
- Publication Year
- 1994
- Series
- The Springer International Series in Engineering and Computer Science Ser.
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Weight
- 43 Oz
- Item Width
- 6.1 in
- Number of Pages
- Xviii, 242 Pages
About this product
Product Identifiers
Publisher
Springer
ISBN-10
0792395328
ISBN-13
9780792395324
eBay Product ID (ePID)
990649
Product Key Features
Number of Pages
Xviii, 242 Pages
Language
English
Publication Name
Logic Program Synthesis from Incomplete Information
Subject
Software Development & Engineering / General, Intelligence (Ai) & Semantics, Logic Design, Compilers
Publication Year
1994
Type
Textbook
Subject Area
Computers
Series
The Springer International Series in Engineering and Computer Science Ser.
Format
Hardcover
Dimensions
Item Weight
43 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
94-024267
Dewey Edition
20
Series Volume Number
295
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
005.1/1
Table Of Content
I State of the Art.- 1 Automatic Programming.- 2 Deductive Inference in Automatic Programming.- 3 Inductive Inference in Automatic Programming.- 4 A Logic Program Development Methodology.- 5 Objectives.- II Building Blocks.- 6 A Specification Approach.- 7 A Framework for Stepwise Logic Algorithm Synthesis.- 8 Algorithm Analysis and Algorithm Schemata.- 9 The Proofs-as-Programs Method.- 10 The Most-Specific-Generalization Method.- III A Logic Algorithm Synthesis Mechanism.- 11 Overview of the Synthesis Mechanism.- 12 The Expansion Phase.- 13 The Reduction Phase.- 14 Conclusion.- Appendix: Conventions, Abbreviations, and Symbols.- References.
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.
LC Classification Number
QA76.76.C65
Item description from the seller
Seller Feedback (1,032,760)
- h***9 (3094)- Feedback left by buyer.Past 6 monthsVerified purchase🏆 SUPER STAR 🤩 AMAZING PHOTOS 🎯 ACCURATE DESCRIPTION ✏️ GENUINE PRODUCTS 💎 HIGH QUALITY 🍯 SUPER PRICES 💰 EASY TO WORK WITH 🍰 ECONOMY HANDLING ⏱️ FAST SHIPPING 🚀 BUBBLE PACKAGE 📦 ARRIVED WITHIN DAYS 🌎 EXCEPTIONAL COMMUNICATION 🎙️ OUTSTANDING CUSTOMER SERVICE 🛎️ GREAT SENSE OF HUMOR 🍿 TOTAL ASSET TO THE EBAY-ECO SYSTEM 🥇 SAVED SELLER 🎱 PROMT REPLY FOR RETURNS 🎯 WOULD BUY FROM AGAIN 🧲 UNDER PROMISES OVER DELIVERS ⛳️ MADE ME VERY HAPPY 🌈 LEFT POSITIVE FEEDBACK 🌼 THANK YOU! 😇 A+++The Trespasser's Companion by Nick Hayes (English) Hardcover Book (#395262922488)
- l***a (3590)- Feedback left by buyer.Past 6 monthsVerified purchaseExcellent seller. Great customer service and communication, timely shipping, fair prices, safe packing, as described. Thank you. A+++
- t***n (2908)- Feedback left by buyer.Past monthVerified purchaseI don't give negatives; However, description was not correct; No price guide was included in this book.As you will see in book pic shown; title states price guide included, no price guide inside. Communication poor, description, no communication price guide missing from this book. Shipping time was weeks before it was even shipped. Blamed the shipping on warehouse. You own & operate a business; your warehouse is not up to standards you change who you do business with. It's your responsibility.
Product ratings and reviews
More to explore:
- Logic Adult Learning & University Books in English,
- Non-Fiction Logic Fiction & Non-Fiction Books in English,
- Non-Fiction Game Programming Fiction & Non-Fiction Books in English,
- Non-Fiction Programming Languages Fiction & Non-Fiction Books in English,
- Fiction H. Rider Haggard and Non-Fiction Books in English,
- English Books, Magazines,
- Manga in English,
- Magazines in English,
- Weekly Magazines in English,
- Antiquarian & Collectable Books in English