Contents of Report

[Data of Report]

Report Number:: TR0722
Date of Registration:: 1991.12
English Title:: Embedding Negation as Failure into a Model Generation Theorem Prover
Japanese Title:: ***
English Author:: K.Inoue,M.Koshimura,R.Hasegawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT
PDF:: tr0722.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Positive Disjunctive Programs	.... 4
2.1	Minimal Models	.... 4
2.2	MGTP	.... 5
3	General Logic Programs	.... 7
4	Extended Disjunctive Databass	.... 12
5	Implementation of Schemata	.... 15
5.1	Implementation on the MGTP	.... 15
5.2	Restrinction of Model Candidate Extensions	.... 16
6	Discussion	.... 17
6.1	Computation	.... 17
6.2	Application to Leagal Reasoning	.... 18
7	Conclusion	.... 19
	Acknowledegment	.... 20
	Reference	.... 20
	End	.... 23

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