Art
J-GLOBAL ID：200902021247571522   Reference number：86A0474182

A guide to the modal logics of knowledge and belief: Preliminary draft.

知識と証明の形式論へのガイド 予備検討
Author (2)：
HALPERN J Y

About HALPERN J Y

(IBM, CA)

About IBM, CA

, 
MOSES Y

About MOSES Y

(Stanford Univ., CA)

About Stanford Univ., CA


Material：
Proceedings of the International Joint Conference on Artificial Intelligence  (Proc Int Jt Conf Artif Intell)

About Proceedings of the International Joint Conference on Artificial Intelligence


Volume： 9th  Issue： Vol.1  Page： 480-490  Publication year： 1985 
JST Material Number： C0047D  Document type： Proceedings
Article type： 短報  Country of issue： United States (USA)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
artificial intelligence

About artificial intelligence

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=86A0474182&from=J-GLOBAL&jstjournalNo=C0047D") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Artificial intelligence 
(JE08000Z)

About Artificial intelligence

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
知識

About 知識

, 
証明

About 証明

, 
形式

About 形式

, 
予備検討

About 予備検討


Return to Previous Page

TOP

BOTTOM