Logic Program Synthesis from Incomplete Information: 295 - Rilegato
Libro 203 di 260: The Springer International Series in Engineering and Computer Science
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Lists of Logic Algorithms, Figures, and Tables. Foreword. Preface. 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. Subject Index.
Product Description
Book by Pierre Flener
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Logic Program Synthesis from Incomplete Information:...
Foto dell'editore
Logic Program Synthesis from Incomplete Information
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo E-595-526
Compra usato
EUR 4,30
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780792395324_new
Compra nuovo
EUR 161,46
Spedizione EUR 13,73
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic Program Synthesis from Incomplete Information
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 268 Index. Codice articolo 263071728
Compra nuovo
EUR 191,19
Spedizione EUR 3,44
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic Program Synthesis from Incomplete Information
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: 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, Codice articolo 5857583
Compra nuovo
EUR 195,38
Spedizione EUR 7,45
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic Program Synthesis from Incomplete Information
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 268, Abbreviations. Codice articolo 183071738
Compra nuovo
EUR 197,95
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic Program Synthesis from Incomplete Information
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 5971566
Compra nuovo
EUR 178,14
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic Program Synthesis from Incomplete Information (International Series in Engineering and Computer Science)
Editore:
Kluwer Academic Publishers, 1994
ISBN 10: 0792395328
ISBN 13: 9780792395324
Antico o usato
Rilegato
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
(Hardcover). Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA70407923953285
Compra usato
EUR 249,06
Spedizione EUR 28,65
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic Program Synthesis from Incomplete Information
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9780792395324
Compra nuovo
EUR 247,94
Spedizione EUR 62,86
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili