Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Disjunctive Logic Programs and Default Theories	.... 3
3	Positive Default Theory Revisited	.... 5
4	Translating Disjunctive Logic Programs into Default Theories	.... 6
5	Default Translation of Extended Disjunctive Programs	.... 9
6	Relationship to Disjunctive Default Theory	.... 12
7	Connection to Autoepistemic Logic and Circumscription	.... 14
8	Conclusion	.... 15
	References	.... 16
	End	.... 17

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