Contents of Report

[Data of Report]

Report Number:
TR0592
Date of Registration:
1991.09
English Title:
The Hierarchical Constraint Logic Language CHAL
Japanese Title:
***
English Author:
K.Satoh,A.Aiba
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tr0592.pdf

[Contents]

Abstract.... 2
1Introduction.... 3
2CAL(Containte avec Logique).... 4
2.1Language and domain.... 4
2.2Buchberger Algorithm and Grobner Bases.... 5
3Soft Constraints.... 6
4CHAL(Contrainte Hierarchique avec Logique).... 8
5Examples.... 10
6Conclusion.... 11
Appendix A;An Algorithm for solving constraint hierarchy.... 13
References.... 15

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

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