| Abstract | .... 2 | |
| 1 | Introduction | .... 2 |
| 2 | Qupras | .... 5 |
| 2.1 | Structure of Qupras | .... 5 |
| 2.2 | Representations of Qupras | .... 6 |
| 2.3 | Reasoning of Qupras | .... 15 |
| 3 | Example | .... 20 |
| 4 | Discussion | .... 25 |
| Acknowledgements | .... 27 | |
| References | .... 27 | |
| End | .... 28 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports