Your Waterstones card is changing, introducing...
TELL ME MORE
Logic Program Synthesis from Incomplete Information - The Springer International Series in Engineering and Computer Science 295 (Hardback)
  • Logic Program Synthesis from Incomplete Information - The Springer International Series in Engineering and Computer Science 295 (Hardback)
zoom

Logic Program Synthesis from Incomplete Information - The Springer International Series in Engineering and Computer Science 295 (Hardback)

(author)
£169.99
Hardback 242 Pages / Published: 31/12/1994
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer
ISBN: 9780792395324
Number of pages: 242
Weight: 1220 g
Dimensions: 235 x 155 x 15 mm
Edition: 1995 ed.

You may also be interested in...

A Tour of C++
Added to basket
£25.99
Paperback
Mindstorms
Added to basket
£14.99
Paperback
C++ For Dummies
Added to basket
£21.99
Paperback
Python For Dummies
Added to basket
£22.99
Paperback
C++ Pocket Reference
Added to basket
M Is for (Data) Monkey
Added to basket
£26.99
Paperback
C++ Primer
Added to basket
£43.99
Paperback
C Programming Absolute Beginner's Guide
Added to basket
Stroustrup
Added to basket
£62.99
Hardback
Learn To Program
Added to basket
£19.99
Paperback
C++ Demystified
Added to basket
£19.99
Paperback
Programming
Added to basket
£55.99
Paperback
Jumping Into C++
Added to basket
£22.00
Paperback
Effective STL
Added to basket
£40.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.