Logic Program Synthesis from Incomplete Information / The Springer International Series in Engineering and Computer Science Bd.295 (PDF)
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
149.79 €
74 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Logic Program Synthesis from Incomplete Information / The Springer International Series in Engineering and Computer Science Bd.295 (PDF)“
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.
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.
Bibliographische Angaben
- Autor: Pierre Flener
- 2012, 1995, 242 Seiten, Englisch
- Verlag: Springer, New York
- ISBN-10: 1461522056
- ISBN-13: 9781461522058
- Erscheinungsdatum: 06.12.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 24 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Logic Program Synthesis from Incomplete Information / The Springer International Series in Engineering and Computer Science Bd.295"
0 Gebrauchte Artikel zu „Logic Program Synthesis from Incomplete Information / The Springer International Series in Engineering and Computer Science Bd.295“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logic Program Synthesis from Incomplete Information / The Springer International Series in Engineering and Computer Science Bd.295".
Kommentar verfassen