Contents of Report

[Data of Report]

	Header	.... 2
	Summary	.... 3
1	Introduction	.... 4
2	Translating Abductive Framework to Logic Program with Integrity Constraints	.... 6
3	Computing Stable Models for Logic Program with Integrity Constraints	.... 11
3.1	The Subprocedure of Propagation	.... 12
3.2	The Subprocedure of Rule Selection	.... 13
4	Examples	.... 15
5	Related Work	.... 17
6	Conclusion	.... 17
	References	.... 19
	Appendix	.... 21
	Figures	.... 31
	End	.... 36

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