Contents of Report

[Data of Report]

Report Number:: TM0788
Date of Registration:: 1989.08
English Title:: A Note on Proof Procedures for Nonmonotonic Reasoning Systems
Japanese Title:: ***
English Author:: N.Helft,K.Inoue
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tm0788.pdf

1	Introduction	.... 2
2	Siegel's Framework	.... 3
3	Przymusinski's Theorems	.... 4
4	Generalizing Przymusinski's Results	.... 7
5	Przymusinski's and Siegel's Algorithms	.... 7
6	Reiter and de Kleer	.... 12
7	Ginsberg	.... 14
8	Conclusion	.... 17
	References	.... 18

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