検索結果 1 件
デジタル記事
インターネットで読める全国の図書館
- 要約等...ortant notions in Reiter's default logic, is not computable in general. This ......-extension and approximate extension whic......d from a given default theory. By introducing a time-bound into them, we sho......nstruction terminates in a finite time. We al......hat the set of approximate extensions contains the set of extensions in Reiter's sense.
- 件名Ocean Engineering
- 関連情報RIFIS Technical Report || 47 Bulletin of informatics and cybernetics || 25(1/2) || p7-19 http://bic.math.kyushu-...
検索結果は以上です。