| 摘要 | 第1-3页 |
| 序言 | 第3-12页 |
| Table of Contents | 第12-14页 |
| List of Tables | 第14-15页 |
| List of Figures | 第15-16页 |
| Abstract | 第16-18页 |
| 1 Introduction | 第18-25页 |
| ·Motivations | 第19-21页 |
| ·Problems | 第21-22页 |
| ·Results | 第22-25页 |
| 2 Normal Logic Programming | 第25-55页 |
| ·Syntax | 第25-28页 |
| ·Semantics | 第28-34页 |
| ·Least model | 第28-30页 |
| ·Stable model | 第30-32页 |
| ·Well-founded model | 第32-34页 |
| ·Computation | 第34-42页 |
| ·Complexity | 第34-37页 |
| ·Smodels | 第37-39页 |
| ·ASSAT | 第39-42页 |
| ·Syntactic extensions | 第42-48页 |
| ·Constraints and classical negation | 第42-45页 |
| ·Disjunctions | 第45-46页 |
| ·Nested expressions | 第46-48页 |
| ·Applications | 第48-55页 |
| ·Planning | 第49-50页 |
| ·CSP | 第50-51页 |
| ·Combinational graph problems | 第51-53页 |
| ·Timetabling | 第53-55页 |
| 3 Weakly Auto-compatible Logic Programs | 第55-90页 |
| ·Motivations | 第55-56页 |
| ·Weakly auto-compatibility | 第56-73页 |
| ·Properties | 第59-64页 |
| ·Algorithms | 第64-69页 |
| ·Reasoning complexities | 第69-73页 |
| ·Comparison | 第73-88页 |
| ·FC-normality | 第73-79页 |
| ·Call-consistency and order-consistency | 第79-87页 |
| ·WF-irreducible | 第87-88页 |
| ·Concluding remarks | 第88-90页 |
| 4 First-order Loop Formulas | 第90-116页 |
| ·Motivations | 第90-91页 |
| ·Preliminaries | 第91-96页 |
| ·First-order loops and loop formulas | 第96-110页 |
| ·Some properties | 第110-114页 |
| ·Concluding remarks | 第114-116页 |
| 5 Conclusion and Future Work | 第116-120页 |
| ·Conclusion | 第116页 |
| ·Further work | 第116-120页 |
| Bibliography | 第120-127页 |
| A The Encodings of Various Problems | 第127-134页 |
| A.1 Planning domain | 第127-130页 |
| A.1.1 The block world panning, Niemel(?)'s version | 第127-128页 |
| A.1.2 The block world planning, Lifschitz's version | 第128-129页 |
| A.1.3 Hanoi tower planning | 第129-130页 |
| A.2 Combinatorial graph domain | 第130-131页 |
| A.2.1 Independent set | 第130页 |
| A.2.2 Maximal matching | 第130页 |
| A.2.3 Graph matching | 第130-131页 |
| A.3 Timetabling | 第131-134页 |
| 在学期间在省级以上刊物发表的论文目录 | 第134页 |
| 在学期间参加的科研项目及获奖情况 | 第134-136页 |
| 详细摘要 | 第136-149页 |
