Contents of Report

[Data of Report]

Report Number:
TR0825
Date of Registration:
1992.12
English Title:
Negation in Disjunctive Logic Programs
Japanese Title:
***
English Author:
C.Sakuma,K.Inoue
Japanese:
***
Name of Organization to which author belongs:
ASTEM,ICOT
PDF:
tr0825.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Negation in Positive Disjunctive Programs.... 3
2.1Positive Disjunctive Programs.... 3
2.2GCWA,WGCWA and PWA.... 24
3Negation in General Disjunctive Programs.... 7
3.1General Disjunctive Programs.... 7
3.2GCWA,WGCWA and PWA.... 8
4Computing Negation.... 12
4.1Bottom-up Model GenerationProof Procedure.... 12
4.2Program Transformation.... 14
5Related Work.... 18
6Concluding Remarks.... 18
References.... 18
End.... 20

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

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports