| Abstract | .... 2 | |
| 1 | Introduction | .... 2 |
| 2 | Background | .... 3 |
| 2.1 | Plan Generation | .... 4 |
| 2.2 | Content Dependent Plan Generation | .... 5 |
| 3 | Resolution Variation | .... 7 |
| 4 | Setting Evaluation | .... 8 |
| 4.1 | Setting Assembly Algorithm | .... 8 |
| 4.2 | Unit Resolution with Setting using Relational Operations | .... 9 |
| 4.3 | Iteration | .... 10 |
| 4.4 | Completeness and Termination | .... 12 |
| 4.5 | Efflciency | .... 13 |
| 5 | Conclusion | .... 14 |
| Acknowldgments | .... 15 | |
| Reference | .... 15 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports