Picture 1 of 1
Picture 1 of 1
Logic Program Synthesis from Incomplete Information by Pierre Flener (English) H
US $187.64
Approximately£148.60
Condition:
3 available
Postage:
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Tue, 9 Jul and Fri, 19 Jul to 43230
Returns:
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 Information
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.
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
Publication Year
1994
Subject
Software Development & Engineering / General, Intelligence (Ai) & Semantics, Logic Design, Compilers
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
Lc Classification Number
Qa76.76.C65
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.
Copyright Date
1995
Item description from the seller
Business seller information
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
I certify that all my selling activities will comply with all EU laws and regulations.
Seller assumes all responsibility for this listing.
eBay item number:386700035192
Post to me
Item location:
Fairfield, Ohio, United States
Posts to:
Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Ireland, Israel, Italy, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mauritius, Mayotte, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, Netherlands Antilles, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Africa, South Korea, Spain, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, United Kingdom, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Sahara, Worldwide, Yemen, Zambia, Zimbabwe
Excludes:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Panama, Papua New Guinea, Reunion, Russian Federation, US Protectorates, Ukraine, Venezuela, Western Samoa
Postage and packaging | Each additional item | To | Service | Delivery*See Delivery notes |
---|---|---|---|---|
Free postage | Free | United States | Economy Shipping | Estimated between Tue, 9 Jul and Fri, 19 Jul to 43230 |
Dispatch time |
---|
Will usually dispatch within 10 working days of receiving cleared payment. |
Taxes |
---|
Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales tax for an item #386700035192
Sales tax for an item #386700035192
Seller collects sales tax/VAT for items dispatched to the following states:
County | VAT rate |
---|
Returns policy
After receiving the item, cancel the purchase within | Refund will be given as | Return postage |
---|---|---|
30 days | Money back | Buyer pays for return postage |
Refer to eBay return policyopens in a new tab or window for more details. You're covered by the eBay Money Back Guaranteeopens in a new tab or window if you receive an item that is not as described in the listing.
The buyer is responsible for return postage costs.
Return policy details |
---|
Returns accepted |
Most purchases from business sellers are protected by the Consumer Contract Regulations 2013 which give you the right to cancel the purchase within 14 days after the day you receive the item. Find out more about your rights as a buyer and exceptions.
Payment details
Payment methods
Popular categories from this shop
Registered as a business seller
Seller Feedback (1,025,622)
i***6 (139)- Feedback left by buyer.
Past 6 months
Verified purchase
Item as described, good price, well packaged, arrived slightly later than hoped (not in time for Christmas ) but the order was placed in a very busy shipping period. No issue with the seller’s speed of response and sending the item. Great seller!
l***a (3517)- Feedback left by buyer.
Past month
Verified purchase
Excellent seller. Timely shipping, safe packing, good communication, great price and as described. Thank you. A+++
o***b (144)- Feedback left by buyer.
Past month
Verified purchase
The seller is one of the best there is - high quality books, reasonable prices, securely packaged.
I do, however, recommend some changes to their shipping - they show a shipper (SortHub) on eBay, but the tracking # they email is for a different carrier. It’s difficult to know where my purchase is.
This time, it was delivered a week late. In the grand scheme of things not a big deal. But it shouldn’t be this difficult to accurately track my purchase.
Product ratings and reviews
More to explore:
- Logic Adult Learning & University Books in English,
- Non-Fiction Logic Fiction & Non-Fiction Books in English,
- Logic Non-Fiction Hardcover Books,
- Logic Adult Learning & University Books,
- Antiquarian & Collectable D. H. Lawrence Books in English,
- Hardback D. H. Lawrence Antiquarian & Collectable Books in English,
- Non-Fiction Logic Fiction & Non-Fiction Books,
- Non-Fiction Fiction & Neuro-Linguistic Programming Books,
- Vellum English Antiquarian & Collectable Books in English,
- English Audiobooks