文献

J-GLOBAL ID：200902077104067101   整理番号：94A0199358

高階論理における帰納的汎化に向けて

Towards Inductive Generalisation in Higher Order Logic.

著者 (2件)： FENG C (Turing Inst., Glasgow, GBR) ,  MUGGLETON S (Turing Inst., Glasgow, GBR)
資料名： Machine Learning, 1992  (Machine Learning, 1992)
ページ： 154-162  発行年： 1992年 
JST資料番号： K19940149  ISBN： 1-55860-247-X  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 熟語間に関係があるような複雑な場合には,高階論理によるHor...

シソーラス用語： 汎化 ,...

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

分類 (2件)： 人工知能  (JE08000Z) ,  論理代数  (JB03000H)

タイトルに関連する用語 (2件)： 高階論理 ,  汎化