The Springer International Series in Engineering and Computer Science

Logic Program Synthesis from Incomplete Information

Authors: Flener, Pierre

Free Preview

Buy this book

eBook $149.00
price for USA in USD (gross)
  • ISBN 978-1-4615-2205-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $249.99
price for USA in USD
  • ISBN 978-0-7923-9532-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $199.99
price for USA in USD
  • ISBN 978-1-4613-5925-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (14 chapters)

Table of contents (14 chapters)

Buy this book

eBook $149.00
price for USA in USD (gross)
  • ISBN 978-1-4615-2205-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $249.99
price for USA in USD
  • ISBN 978-0-7923-9532-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $199.99
price for USA in USD
  • ISBN 978-1-4613-5925-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic Program Synthesis from Incomplete Information
Authors
Series Title
The Springer International Series in Engineering and Computer Science
Series Volume
295
Copyright
1995
Publisher
Springer US
Copyright Holder
Springer Science+Business Media Dordrecht
eBook ISBN
978-1-4615-2205-8
DOI
10.1007/978-1-4615-2205-8
Hardcover ISBN
978-0-7923-9532-4
Softcover ISBN
978-1-4613-5925-8
Series ISSN
0893-3405
Edition Number
1
Number of Pages
XVIII, 242
Topics