Art
J-GLOBAL ID：200902197441969252   Reference number：99A0679414

Computing intersections of Horn theories for reasoning with models.

モデルを用いた推論に対するHorn理論の共通部分の計算
Author (3)：
EITER T

About EITER T

(Technische Univ. Wien, Wien, AUT)

About Technische Univ. Wien, Wien, AUT

, 
IBARAKI T

About IBARAKI T

(Kyoto Univ., Kyoto, JPN)

About Kyoto Univ., Kyoto, JPN

, 
MAKINO K

About MAKINO K

(Osaka Univ., Osaka, JPN)

About Osaka Univ., Osaka, JPN


Material：
Artificial Intelligence  (Artif Intell)

About Artificial Intelligence


Volume： 110  Issue： 1  Page： 57-101  Publication year： May. 1999 
JST Material Number： E0180C  ISSN： 0004-3702  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  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 intelligent inference

About artificial intelligent inference

,...
Semi 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.
*computational complexity

About computational complexity

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

About Artificial intelligence

,  Theory of computation 
(JB02000A)

About Theory of computation

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