Contents of Report

[Data of Report]

	Abstract	.... 2
	Keywords	.... 2
1	Introduction	.... 3
2	Characterizing Consequence-Finding	.... 5
2.1	Characterizing Clauses	.... 5
2.2	Applications	.... 8
3	A Complete Ordered-Linear Resolition Procedure for Consequence-Finding	.... 11
3.1	Basic Procedure	.... 11
3.2	Consistency Checking	.... 15
3.3	Computing Prime Implicates	.... 15
4	Variations	.... 16
4.1	Preferring Resolution	.... 16
4.2	Preferring Skip	.... 16
4.3	Between Skipping and Resolving	.... 17
4.4	Approximation	.... 18
5	Conclusion	.... 18
	Acknowledgements	.... 19
	References	.... 19
	End	.... 21

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