Logic Program Synthesis from Incomplete Information, 1

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

Autor: Pierre Flener

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

149.73 €

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

Informácie o knihe

Autor

Pierre Flener

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

242

EAN

9781461359258

ISBN

1461359252

Enbook ID

02016324

Vydavateľ

Springer, Berlin

Hmotnosť

409

Rozmery

155 x 235 x 14

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Logic Program Synthesis from Incomplete Information, 1

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež