Logic Program Synthesis from Incomplete Information

Name: Logic Program Synthesis from Incomplete Information
Brand: Springer, Berlin
SKU: 9780792395324
Price: 62070 HUF
Availability: InStock

Szerző: Pierre Flener

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

62 070 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 - Kemény kötésű

Kiadva

1995

oldal

242

EAN

9780792395324

ISBN

0792395328

Enbook ID

01398297

Kiadó

Springer, Berlin

Súly

1220

Méretek

156 x 234 x 15

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

Információk a könyvről

Teljes leírás

Érdekelheti

Confrontations

The Zend-Avesta, Part I

LEGO (R) Minifigure Faces 1000-Piece Puzzle

A Few Letters And Speeches Of The Late Civil War (1870)

Madeleine L'Engle: The Kairos Novels: The Wrinkle in Time and Polly O'Keefe Quartets

Census Of The Plants Of Tasmania, Instituted In 1879 (1879)

Motorcycle Touring in Prince Edward Island...Your Guide to Tip to Tip Adventure

Devil is an Ass

Shadow Mountain

EMC 2008

Shaping Flexibility in Vocational Education and Training

Crisis Management in the Age of Social Media

Indian Bourgeoisie

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

SOA?

Nachfolge im Öffentlichen Recht.

Schloss Neuhaus bei Paderborn

Ho camminato con le stelle. Santiago de Compostela. Mille chilometri a piedi da Lourdes a Muxia

Pinochet y política exterior

Halbtier

EL GRAN DESCUBRIMIENTO

?Dónde está Emiliano Fuentes? + CD

Türk Ordusunun Kuzey Irak Operasyonlari

Spodky Grázlika Gaba