文献

J-GLOBAL ID：200902197441969252   整理番号：99A0679414

モデルを用いた推論に対するHorn理論の共通部分の計算

Computing intersections of Horn theories for reasoning with models.

著者 (3件)： EITER T (Technische Univ. Wien, Wien, AUT) ,  IBARAKI T (Kyoto Univ., Kyoto, JPN) ,  MAKINO K (Osaka Univ., Osaka, JPN)
資料名： Artificial Intelligence  (Artificial Intelligence)
巻： 110  号： 1  ページ： 57-101  発行年： 1999年05月 
JST資料番号： E0180C  ISSN： 0004-3702  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 論理知識べースの表現およびアクセスの代替形式としてモデルベー...

シソーラス用語： *人工知能推論 ,...
準シソーラス用語： *計算の複雑さ ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0679414&from=J-GLOBAL&jstjournalNo=E0180C") }}

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

タイトルに関連する用語 (4件)： モデル ,  推論 ,  理論 ,  計算