Kostenloser Versand
Bequem zahlen
Wir sind gerne für Sie da
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.
Produkteigenschaften
- Artikelnummer: 9781461359258
- Medium: Buch
- ISBN: 978-1-4613-5925-8
- Verlag: Springer US
- Erscheinungstermin: 26.09.2012
- Sprache(n): Englisch
- Auflage: Softcover Nachdruck of the original 1. Auflage 1995
- Serie: The Springer International Series in Engineering and Computer Science
- Produktform: Kartoniert
- Gewicht: 406 g
- Seiten: 242
- Format (B x H x T): 155 x 235 x 15 mm
- Ausgabetyp: Kein, Unbekannt