Contents of Report

[Data of Report]

Report Number:: TR0817
Date of Registration:: 1992.12
English Title:: A Uniform Approach to Fixpoint Characterization of Disjunctive and General Logic Programs
Japanese Title:: ***
English Author:: K.Inoue,K.Sakama
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ASTEM
PDF:: tr0817.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Fixpoint Semantics for Positive Disjunctive Programs	.... 4
2.1	Positive Disjunctive Programs	.... 4
2.2	Fixpoint Semantics	.... 4
3	Fixpoint Semantics for General Disjunctive Programs	.... 9
3.1	General Disjunctive Programs	.... 9
3.2	Transformation	.... 10
3.3	Extended Disjunctive Programs	.... 13
4	Comparison with Other Approaches	.... 14
5	Conclusion	.... 17
	References	.... 18
	End	.... 20

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