Contents of Report

[Data of Report]

Report Number:: TR0611
Date of Registration:: 1991.01
English Title:: Query Answerering Circumscription
Japanese Title:: ***
English Author:: Nicolas Helft,K.Inoue,D.Poole
Japanese:: ***
Name of Organization to which author belongs:: SRI,ICOT,British Columbia Univ.
PDF:: tr0611.pdf

	Abstract	.... 3
1	Introduction	.... 4
2	Background	.... 5
2.1	Circumscription	.... 5
2.2	Theorem Proving Results	.... 5
2.3	Quency Answering Procedure	.... 7
3	Example	.... 9
4	Answer Extraction	.... 11
4.1	Obtaining Instances of the Query	.... 11
4.2	Computing Answers	.... 12
4.3	Example	.... 14
5	Conclusion	.... 15
	Acknowledgement	.... 15
	References	.... 16
	End	.... 17

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