SATソルバーを用いた帰納論理プログラミング
-
- 山本 章博
- 京都大学
書誌事項
- タイトル
- SATソルバーを用いた帰納論理プログラミング
- 著者
- 近藤誠一, 山本章博
収録刊行物
-
- 第84回人工知能基本問題研究会資料
-
第84回人工知能基本問題研究会資料 SIG-FPAI-B104-14 75-80, 2012