Logic Program Synthesis from Incomplete Information, 1

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

Szerző: Pierre Flener

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

57 295 Ft

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

Információk a könyvről

Szerző

Pierre Flener

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

242

EAN

9781461359258

ISBN

1461359252

Enbook ID

02016324

Kiadó

Springer, Berlin

Súly

409

Méretek

155 x 235 x 14

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Logic Program Synthesis from Incomplete Information, 1

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták