| 0 | Abstract | .... 2 |
| 1 | Introduction | .... 2 |
| 2 | Language Definition | .... 5 |
| 3 | Proposed Semantics | .... 6 |
| 4 | Default Logic Translated in GK | .... 8 |
| 5 | Correspondence to Stationary Semantics | .... 9 |
| 6 | Translation of Logic Programs with Integrity Constraints into GK | .... 13 |
| 7 | Comparison with Stationary Extensions | .... 14 |
| 8 | Concluding Remarks | .... 15 |
| 9 | References | .... 15 |
| End | .... 16 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports