| 書(shū)目名稱 | Logic Program Synthesis from Incomplete Information | | 編輯 | Pierre Flener | | 視頻video | http://file.papertrans.cn/588/587886/587886.mp4 | | 叢書(shū)名稱 | The Springer International Series in Engineering and Computer Science | | 圖書(shū)封面 |  | | 描述 | Program synthesis is a solution to the software crisis. If wehad a program that develops correct programs from specifications, thenprogram validation and maintenance would disappear from the softwarelife-cycle, and one could focus on the more creative tasks ofspecification elaboration, validation, and maintenance, because replayof program development would be less costly. .This monograph describes a novel approach to Inductive LogicProgramming (ILP), which cross-fertilizes logic programming andmachine learning. Aiming at the synthesis of recursive logic programsonly, and this from incomplete information, we take a softwareengineering approach that is more appropriate than a pure artificialintelligence approach. .This book is suitable as a secondary text for graduate level coursesin software engineering and artificial intelligence, and as areference for practitioners of program synthesis. | | 出版日期 | Book 1995 | | 關(guān)鍵詞 | algorithms; artificial intelligence; development; intelligence; learning; logic programming; machine learn | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4615-2205-8 | | isbn_softcover | 978-1-4613-5925-8 | | isbn_ebook | 978-1-4615-2205-8Series ISSN 0893-3405 | | issn_series | 0893-3405 | | copyright | Springer Science+Business Media Dordrecht 1995 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 08:22
發(fā)表于 2025-3-21 17:32:54
