Logic Program Synthesis from Incomplete Information

Logic Program Synthesis from Incomplete Information
Author :
Publisher : Springer Science & Business Media
Total Pages : 258
Release :
ISBN-10 : 9781461522058
ISBN-13 : 1461522056
Rating : 4/5 (58 Downloads)

Book Synopsis Logic Program Synthesis from Incomplete Information by : Pierre Flener

Download or read book Logic Program Synthesis from Incomplete Information written by Pierre Flener and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Logic Program Synthesis from Incomplete Information Related Books

Logic Program Synthesis from Incomplete Information
Language: en
Pages: 258
Authors: Pierre Flener
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and main
Logic Program Synthesis and Transformation
Language: en
Pages: 352
Authors: Norbert E. Fuchs
Categories: Computers
Type: BOOK - Published: 2003-05-20 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Be
Logic Program Synthesis and Transformation
Language: en
Pages: 284
Authors: Maurizio Proietti
Categories: Computers
Type: BOOK - Published: 1996-03-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The
Advances in Temporal Logic
Language: en
Pages: 454
Authors: Howard Barringer
Categories: Mathematics
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studie
Program Development in Computational Logic
Language: en
Pages: 546
Authors: Maurice Bruynooghe
Categories: Computers
Type: BOOK - Published: 2004-06-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and tran