Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Logic Program Synthesis from Incomplete Information, 1

Name: Logic Program Synthesis from Incomplete Information, 1
Brand: Springer, Berlin
SKU: 02016324
Price: 154.52 EUR
Availability: InStock
Author: Pierre Flener
ISBN: 9781461359258

Pierre Flener

Language

English

Book Paperback

Libristo code: 02016324

Publishers Springer, Berlin, September 2012

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

Libristo code: 02016324

373 b

154.52 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Revue de l'OFCE N° 189 (2025/2)

Paperback

33.30 €

PAS A PAS TOME 6 BERTHE

Paperback

34.52 €

La Fable des abeilles Bernard de Mandeville

Paperback

13.56 €

Mathe.Logo Bayern 9 II/III - neu Schülerband Patricia Weixler

Hardback

30.47 €

CIUDADANIA Y DERECHOS DE PARTICIPACION DE LOS NIÑOS Gaitán Muñoz

Hardback

34.12 €

Karls IV. Private Und Politische Beziehungen Zu Frankreich Adolf Gottlob

Paperback

19.33 €

Carencias Ius. Informativas en torno al discurso politico electoral mexicano Hector Miguel Fuentes Cortes

Paperback

47.28 €

Deti revolúcie Katarína Ďurčová

Paperback

12.34 €

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.