Contents of Report

[Data of Report]

Report Number:: TR0527
Date of Registration:: 1990.02
English Title:: On Theorem Prover for Circumscription
Japanese Title:: ***
English Author:: K.Inoue,Nicolas Helft
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0527.pdf

[Contents]

	Abstract	.... 2
	Keyword	.... 2
1	Introduction	.... 3
2	Comparing the Theorem	.... 3
2.1	Przymusinski's Results	.... 5
2.2	Ginsberg's Results	.... 7
3	Comparing the Algorithms	.... 8
3.1	What Needs to be Computed	.... 9
3.2	How it is Computed	.... 10
4	Improving Efficiency	.... 11
4.1	Summary	.... 12
4.2	Example	.... 13
5	Concluding Remarks	.... 14
	Acknowledgement	.... 15
	References	.... 15
A	Appendix Proofs of Theorems	.... 17
	End	.... 19

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

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