Contents of Report

[Data of Report]

Report Number:
TR0605
Date of Registration:
1990.11
English Title:
Computing Abduction by Using TMS
Japanese Title:
***
English Author:
K.Satoh,N.Iwashita
Japanese:
佐藤　健,岩山　登
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tr0605.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Translating Aductive Framework to Logic Program with Integity Constraint.... 3
3Computing Stable Models for Logic Program with Integrity Constraint.... 8
4Related Work.... 14
4.1Eshghi's Topdown Procedure.... 14
4.2Truth Maintenance System.... 15
5Conclusion.... 16
Acknowledgements.... 16
References.... 16
Appendix.... 18
End.... 22

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

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