Contents of Report

[Data of Report]

Report Number:
TR0693
Date of Registration:
1991.09
English Title:
Logic-oriented Inferential Framework Extensions LIFE-Ω
Japanese Title:
***
English Author:
J.Ymaguchi
Japanese:
***
Name of Organization to which author belongs:
Kanagawa Univ.
PDF:
tr0693.pdf

[Contents]

Abustract.... 2
Keywords.... 2
Introduction.... 3
1The Idea of LIFE-Ω.... 4
2Boolean alegebaic sementics of SLD-resolusion.... 7
3Boolean-valued logic programming language scheme LIFE-I.... 9
4Generalizations.... 11
5Conclusion.... 13
Reference.... 15

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

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