証明木パターン記述言語としてのTactics
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1998-10-05
著者
関連論文
- 口コミ機構のコスト制御法
- エージェント社会における資源管理
- 5K-4 キーワード利用傾向に基づく発想検索支援
- 検索ログを用いたキーワード推薦エージェント
- SASS : Web文書の発送検索支援システム
- 参照履歴を用いたWeb文書推薦方法の提案
- 論証プログラミング
- 口コミ機構のコスト制御法
- 口コミによる情報伝達を利用した情報資源管理
- エージェント社会における資源管理
- 汎用論証支援システムEUODHILOS-IIの設計と実装
- 汎用論証支援システム EUODHILOS の応用と評価
- 汎用論証支援システム EUODHlLOS の応用と評価
- 確定節文法のための内部構造変換機能付きパーザとアンパーザの自動生成方式
- 証明木パターン記述言語としてのTactics
- 関連度を用いたWeb文書のナビゲーション
- 論証支援システムのための論理式エディタ
- 論証支援システムのための証明支援 : 思考シートによる証明方法
- 対話型論証支援システムEUODHILOS (「人工知能と定理証明システム」)
- 論証支援のための証明コンストラクタ