Logic Program Synthesis from Incomplete Information, 1

Name: Logic Program Synthesis from Incomplete Information, 1
Brand: Springer, Berlin
SKU: 9781461359258
Price: 157.99 EUR
Availability: InStock

Автор: Pierre Flener

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

157.99 € 309.01 лв

Program synthesis is a solution to the software crisis. If we had a program that develops correct pr...

Информация за книгата

Автор

Pierre Flener

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

242

EAN

9781461359258

ISBN

1461359252

Enbook ID

02016324

Издател

Springer, Berlin

Теглоt

409

Размери

155 x 235 x 14

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Logic Program Synthesis from Incomplete Information, 1

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също