Contents of Report

[Data of Report]

Report Number:: TR0625
Date of Registration:: 1991.02
English Title:: A Bottom-up Procedure with Top-down Expectation for General Logic Program with Integrity Constraint
Japanese Title:: ***
English Author:: Noboru Iwayama,Ken Satoh
Japanese:: 岩山　登,佐藤　健
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0625.pdf

1	Introduction	.... 2
2	General Logic Program with Integrity Constraints	.... 4
3	Computing Stable Models for Logic Program with Integity Constraint	.... 6
3.1	Bottom-up Part of the Procedure	.... 7
3.2	Top-down Part of the Procedure	.... 8
3.3	Examples	.... 10
4	Related Work	.... 13
5	Appendix	.... 13
6	References	.... 15
	End	.... 16

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