文献

J-GLOBAL ID：201502236059820276   整理番号：15A0448643

MaxSATソルバを用いた帰納論理プログラミング

著者 (4件)： 力規晃 (徳山工高専) ,  越村三幸 (九大) ,  藤田博 (九大) ,  長谷川隆三 (九大)
資料名： 人工知能学会人工知能基本問題研究会資料  (SIG-FPAI-C)
巻： 97th  ページ： 85-90  発行年： 2015年03月18日 
JST資料番号： X0830A  ISSN： 2436-4584  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *充足可能性問題 ,  *論理プログラミング ,  *帰納学習 ,  述語論理 ,  高速化 ,  探索問題 ,  プログラム検証 ,  Boole代数 ,  命題論理 ,  符号化 ,  ツリー構造 ,  ループ
準シソーラス用語： *MaxSAT ,  MaxSATソルバー ,  カバレッジ ,  *帰納論理プログラミング

分類 (3件)： 論理代数  (JB03000H) ,  計算機システム開発  (JD02010R) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (2件)： ソルバ ,  帰納論理プログラミング