Contents of Report

[Data of Report]

Report Number:: TM0966
Date of Registration:: 1991.01
English Title:: A Comparative Study of the Well-founded and the Stable Model Semantics Transformation's Viewpoint
Japanese Title:: ***
English Author:: H.Seki
Japanese:: ***
Name of Organization to which author belongs:: TOSHIBA
PDF:: tm0966.pdf

1	Introduction	.... 2
2	Unfold/fold Transformation	.... 3
3	Preservation of the Well-Founded Semantics	.... 5
4	Preservation of the Model Semantics	.... 7
5	Concluding Remarks	.... 9
	Acknowledgements	.... 10
	References	.... 11
	End	.... 12

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