Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	A Samantics of Abductive Framework	.... 5
3	Query Evaluation for Abduction	.... 7
4	Examples	.... 12
5	Related Work	.... 14
5.1	The procedure of Kakas and Mancarella	.... 14
5.2	Integrity check method of Sadri and Kowalski	.... 14
5.3	Poole's Theorist	.... 15
6	Conclusion	.... 15
	Acknowledgements	.... 16
	References	.... 16
	Appendix	.... 16
	End	.... 19

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