| Abstract | .... 2 | |
| 1 | Introduction | .... 3 |
| 2 | CAL(Containte avec Logique) | .... 4 |
| 2.1 | Language and domain | .... 4 |
| 2.2 | Buchberger Algorithm and Grobner Bases | .... 5 |
| 3 | Soft Constraints | .... 6 |
| 4 | CHAL(Contrainte Hierarchique avec Logique) | .... 8 |
| 5 | Examples | .... 10 |
| 6 | Conclusion | .... 11 |
| Appendix A;An Algorithm for solving constraint hierarchy | .... 13 | |
| References | .... 15 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports