堅岡 良知 | 新潟大学工学部 情報工学科
スポンサーリンク
概要
新潟大学工学部 情報工学科 | 論文
- セマンティックWeb推論と議論エージェントシステムとの統合(「自動化:推論,発見,学習,データマイニング」及び一般)
- 論理学対議論学(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
- 論証プログラミング
- 汎用論証支援システムEUODHILOS-IIの設計と実装
- セマンティック Web 推論と議論エージェント推論の統合