文献
J-GLOBAL ID：200902021247571522   整理番号：86A0474182

知識と証明の形式論へのガイド 予備検討

A guide to the modal logics of knowledge and belief: Preliminary draft.
  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=86A0474182&from=J-GLOBAL&jstjournalNo=C0047D") }}
著者 (2件)：
HALPERN J Y

HALPERN J Y について

(IBM, CA)

IBM, CA について

, 
MOSES Y

MOSES Y について

(Stanford Univ., CA)

Stanford Univ., CA について


資料名：
Proceedings of the International Joint Conference on Artificial Intelligence  (Proceedings of the International Joint Conference on Artificial Intelligence)

Proceedings of the International Joint Conference on Artificial Intelligence について


巻： 9th  号： Vol.1  ページ： 480-490  発行年： 1985年 
JST資料番号： C0047D  資料種別： 会議録 (C)
記事区分： 短報  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
知識と証明のためのpossible-worldセマンティクス...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
人工知能

人工知能 について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=86A0474182&from=J-GLOBAL&jstjournalNo=C0047D") }}
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
人工知能 
(JE08000Z)

人工知能 について

タイトルに関連する用語 (4件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
知識

知識 について

, 
証明

証明 について

, 
形式

形式 について

, 
予備検討

予備検討 について


前のページに戻る

TOP

BOTTOM