Logic Program Synthesis from Incomplete Information - Couverture rigide

Livre 203 sur 260: The Springer International Series in Engineering and Computer Science

Flener, Pierre

 
9780792395324: Logic Program Synthesis from Incomplete Information
Couverture rigide
ISBN 10 : 0792395328 ISBN 13 : 9780792395324
Editeur : Kluwer Academic Publishers, 1994

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Kluwer Academic Publishers
Date d'édition
1994
Langue
anglais
ISBN 10 
0792395328
ISBN 13 
9780792395324
Reliure
Relié
Nombre de pages
260
Coordonnées du fabricant
KINESIS
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Allemagne

Autres éditions populaires du même titre

9781461359258: Logic Program Synthesis from Incomplete Information

Edition présentée

ISBN 10 :  1461359252 ISBN 13 :  9781461359258
Editeur : Springer, 2012
Couverture souple