検索結果 1 件
デジタル記事
インターネットで読める全国の図書館
- 要約等The framework of the $ or $-type knowledge base is propos......th disjunctive information in knowledge bases. Recently, it ......ctively we use information which may have some incompleteness. In or-type knowledge bases, the predicate......ny disjunctive information is included in a predicate as......e naturally defined for the incompleteness of the disjunctive information. The ......tem, where the incompleteness does not influence the ded......tem, where the incompleteness influences them. ......loped the fixpoint theorem and t......e completeness of resolution in the Box-system. In this paper, we show the fixpoint theorem, and the completenes...
- 件名Ocean Engineering
- 関連情報RIFIS Technical Report || 18 Bulletin of informatics and cybernetics || 24(1/2) || p27-37 http://bic.math.kyushu...
検索結果は以上です。