Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 3
2	Characteristic Clauses	.... 4
3	Linear Abductive Procedure	.... 5
4	The CMS	.... 7
5	An ATMS	.... 9
6	Related Works	.... 11
6.1	Saturation and Abduction	.... 11
6.2	Query Answering Circumscription	.... 12
7	Conclusion	.... 13
	Acknowledgment	.... 13
	References	.... 13
A	Appendix;Proofs of Theorems	.... 15
	End	.... 19

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