文摘
英文文摘
论文说明:List of Tables, List of Figures
声明
序言
Chapter 1Introduction
1.1 Motivations
1.2 Problems
1.3 Results
Chapter 2 Normal Logic Programming
2.1 Syntax
2.2 Semantics
2.2.1 Least model
2.2.2 Stable model
2.2.3 Well-founded model
2.3 Computation
2.3.1 Complexity
2.3.2 Smodels
2.3.3 ASSAT
2.4 Syntactic extensions
2.4.1 Constraints and classical negation
2.4.2 Disjunctions
2.4.3 Nested expressions
2.5 Applications
2.5.1 Planning
2.5.2 CSP
2.5.3 Combinational graph problems
2.5.4 Timetabling
Chapter 3 Weakly Auto-compatible Logic Programs
3.1 Motivations
3.2 Weakly auto-compatibility
3.2.1 Properties
3.2.2 Algorithms
3.2.3 Reasoning complexities
3.3 Comparison
3.3.1 FC-normality
3.3.2 Call-consistency and order-consistency
3.3.3 WF-irreducible
3.4 Concluding remarks
Chapter 4 First-order Loop Formulas
4.1 Motivations
4.2 Preliminaries
4.3 First-order loops and loop formulas
4.4 Some properties
4.5 Concluding remarks
Chapter 5 Conclusion and Future Work
5.1 Conclusion
5.2 Further work
Acknowledgements
Bibliography
Appendix
在学期间在省级以上刊物发表的论文目录及参加的科研项目及获奖情况