一階論理コンパイラに関する研究 : 予備実験
スポンサーリンク
概要
- 論文の詳細を見る
- 1993-07-20
著者
-
岩沼 宏治
山梨大学 大学院 医学工学総合研究部
-
芦澤 宏樹
山梨大学工学部電子情報工学科
-
茅野 康臣
山梨大学工学部電子情報工学科
-
茅野 康臣
山梨大学 工学部 電子情報工学科
-
芦澤 宏樹
山梨大学 工学部 電子情報工学科
-
三橋 直治
山梨大学 工学部 電子情報工学科
関連論文
- 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
- LL_005 専門検索エンジンの高速半自動生成法(L分野:ネットワークコンピューティング)
- L-083 精錬手法に基づく検索隠し味型専門検索エンジンの半自動構築(L分野:ネットワークコンピューティング)
- エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
- F-045 マルチコア環境に向けた高速並列SATソルバの開発(F分野:人工知能・ゲーム)
- トップダウン型分散定理証明システムにおける協調の形態に関する研究
- タブローに基づく論理的帰結発見手続きSOL
- トップダウン型定理証明における補題の有用性 : その実装と評価
- トップダウン型定理証明における補題の有用性 : その実装と評価
- 一階論理コンパイラを用いる分散定理証明システムの実装と性能評価
- 一階論理コンパイラを用いる分散定理証明システムの実装と性能評価
- 一階論理コンパイラに関する研究 : 予備実験
- 事例に基づく HTML 文書から XML 文書への変換
- LF_006 緩和法に基づく系列データからの頻出部分系列の高速マイニング(F分野:人工知能・ゲーム)
- 論理プログラムによるゲームのプロトタイプ開発支援ツールGALOPの開発
- リンク元コンテキストを用いたWEB文書の最重要箇所の同定法