Suche ›

Logic Program Synthesis from Incomplete Information

Springer US,
208,60 € Lieferbar in 5-7 Tagen
Dieses Produkt ist auch verfügbar als:


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.


Titel: Logic Program Synthesis from Incomplete Information
Autoren/Herausgeber: Pierre Flener
Aus der Reihe: The Springer International Series in Engineering and Computer Science
Ausgabe: Softcover reprint of the original 1st ed. 1995

ISBN/EAN: 9781461359258

Seitenzahl: 242
Format: 23,5 x 15,5 cm
Produktform: Taschenbuch/Softcover
Gewicht: 409 g
Sprache: Englisch - Newsletter
Möchten Sie sich für den Newsletter anmelden?

Bitte geben Sie eine gültige E-Mail-Adresse ein.
Lieber nicht