文献
J-GLOBAL ID:201902266279332014
整理番号:19A0038182
デフォルト論理に基づく自動非単調推論のための認識プログラミング手法【JST・京大機械翻訳】
An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default Logic
著者 (2件):
Goto Yuichi
,
Ito Takuya
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2018
号:
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
ページ:
222-227
発行年:
2018年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)