Logic Program Synthesis From Incomplete Information Format Broché

Logic Program Synthesis from Incomplete Information - Flener, Pierre

Format: Broché
264 pages

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

229,30 €

Produit Neuf

Ou 57,33 € /mois

Livraison : 25,00 €
Livré entre le 8 et le 13 août

Voir les modes de livraison

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Logic Program Synthesis From Incomplete Information Format Broché - Livre Informatique

Note : 0 0 avis sur Logic Program Synthesis From Incomplete Information Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Logic Program Synthesis From Incomplete Information Format Broché
- Livre Informatique

Livre Informatique - Flener, Pierre - 01/09/2012 - Broché - Langue : Anglais

Auteur(s) : Flener, PierreEditeur : Springer Us, New York, N.Y.Langue : AnglaisParution : 01/09/2012Format : Moyen, de 350g à 1kgNombre de pages : 264Expédition : 406Dimensions : 23.5 x 15.5...

Auteur(s) : Flener, Pierre

Editeur : Springer Us, New York, N.Y.

Langue : Anglais

Parution : 01/09/2012

Format : Moyen, de 350g à 1kg

Nombre de pages : 264

Expédition : 406

Dimensions : 23.5 x 15.5 x 1.5

Résumé :
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.

Sommaire:
I State of the Art.- 1 Automatic Programming.- 2 Deductive Inference in Automatic Programming.- 3 Inductive Inference in Automatic Programming.- 4 A Logic Program Development Methodology.- 5 Objectives.- II Building Blocks.- 6 A Specification Approach.- 7 A Framework for Stepwise Logic Algorithm Synthesis.- 8 Algorithm Analysis and Algorithm Schemata.- 9 The Proofs-as-Programs Method.- 10 The Most-Specific-Generalization Method.- III A Logic Algorithm Synthesis Mechanism.- 11 Overview of the Synthesis Mechanism.- 12 The Expansion Phase.- 13 The Reduction Phase.- 14 Conclusion.- Appendix: Conventions, Abbreviations, and Symbols.- References.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Logic Program Synthesis from Incomplete Information - Flener, Pierre

Avis sur Logic Program Synthesis From Incomplete Information Format Broché - Livre Informatique

Présentation Logic Program Synthesis From Incomplete Information Format Broché - Livre Informatique

Présentation Logic Program Synthesis From Incomplete Information Format Broché
- Livre Informatique