Contents of Report


[Data of Report]

Report Number:
TR0833
Date of Registration:
1993.03
English Title:
Rules Representing Two Types of Epistemic Statements
Japanese Title:
***
English Author:
N.Iwayama
Japanese:
岩山 登
Name of Organization to which author belongs:
ICOT
PDF:
tr0833.pdf

[Contents]

0Abstract.... 2
1Introduction.... 2
2Language Definition.... 5
3Proposed Semantics.... 6
4Default Logic Translated in GK.... 8
5Correspondence to Stationary Semantics.... 9
6Translation of Logic Programs with Integrity Constraints into GK.... 13
7Comparison with Stationary Extensions.... 14
8Concluding Remarks.... 15
9References.... 15
End.... 16


目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports