Logic program synthesis from incomplete information
Logic program synthesis from incomplete information
复制标题
从不完全信息合成逻辑程序
DOI：
10.1007/978-1-4615-2205-8
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
P. Flener
中科院分区：
文献类型：
--
作者：
P. Flener
逻辑算法、图形和表格列表。前言。前言。我：最先进的。 1.自动编程。 2.自动编程中的演绎推理。 3.自动编程中的归纳推理。 4.逻辑程序开发方法。 5. 目标。二：积木。 6. 规范方法。 7. 逐步逻辑算法综合框架。 8.算法分析和算法架构。 9. 证明即程序方法。 10. 最具体的泛化方法。 III：逻辑算法综合机制。 11.合成机制概述。 12. 扩展阶段。 13. 减少阶段。 14. 结论。附录：约定、缩写和符号。参考。主题索引。
Lists of Logic Algorithms, Figures, and Tables. Foreword. Preface. 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. Subject Index.