Copied Logic Program Synthesis from Incomplete Information
Logic Program Synthesis from Incomplete 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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$129.00 | $129.00 |
|
$116.10 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Multinationals in Latin America
$84.99
Professionelle Unterrichtswahrnehmung im sozialwissenschaftlichen Fachunterricht
$49.99
Design of Multi-Bit Delta-Sigma A/D Converters
$129.00
Incision Lenticule Extraction (SMILE)
$129.99
Ontologies of Nature
$99.99
Multi-Component Acoustic Characterization of Porous Media
$84.99
Advances in Information and Computer Security
$64.99
Elektromagnetische Felder und Netzwerke
$59.99
The Welfare State, Globalization, and International Law
$109.99
The Neurobiology of Parental Behavior
$299.99
Basic Monotonicity Methods with Some Applications
$49.99
Die Impulsstreuungsmomente in kollektiven Gesamtheiten
$59.99
What Becomes a Legend Most - A Biography of Richard Avedon by Philip Gefter
$35.00
Rmische Literaturgeschichte und Alterthmer, fr hhere Lehranstalten
$39.99
Unconventional Water Resources
$179.99
Multidisciplinary Research in Control
$84.99
Food Quality, Safety and Technology
$139.00
Unsaturated Flow in Hydrologic Modeling
$259.00
Case and Linking in Language Comprehension
$129.00
Treating Addictive Behaviors
$219.99
Extraction of Nuclear and Non-ferrous Metals
$109.99
Nuclear Medicine in Tropical and Infectious Diseases
$84.99
To Be a Victim
$54.99
Calming the Storms
$109.00
Mechanische Technologie der Metalle
$79.99
Mustererkennung 1985
$69.99
Orthopedic Principles - A Resident's Guide
$54.99
Pediatric Dermatopathology
$219.99
Schweitechnik
$79.99
Bericht zur Lage des Eigentums
$89.99
Untersuchung des Einflusses von Gesteinssplitten auf die Helligkeit von bituminsen Fahrbahndecken
$59.99
Regional Economic Policy
$129.00
Pencil Art Workshop: Techniques, Ideas, and Inspiration for Drawing and Designing with Pencil
$22.99
Collaboration in Theatre
$79.99
Anders leben - anders sterben
$39.99
Copper and Zinc in Inflammatory and Degenerative Diseases
$219.99
Informationsinstrumente einer kologieorientierten Unternehmensfhrung
$49.99
Biochemical Pharmacology as an Approach to Gastrointestinal Disorders
$39.99
Fire (Graceling Realm Series #2) by Kristin Cashore
$13.99
Technical Landfills and Waste Management
$159.99
