87-36 条件付き論理にもとづく暗黙推論の試み
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1987-12-15
著者
関連論文
- 時相論理とその応用 (<特集>非標準論理とその応用)
- 並列プログラムの知的プログラミング支援システムMENDELS(1) : システム構成
- 株データからの命題獲得
- 推論ツールKINOの開発
- 階層的問題解決システムにおける抽象階層の決定方法
- Knuth-Bendix完備化手続きにおける等式選択の戦略について
- 89-28 効率的時間推論
- 87-36 条件付き論理にもとづく暗黙推論の試み
- 時制論理とペトリネット(AIの推論とOR)
- 制御ソフトウェア開発のための参照モデル
- 参照モデルに基づくオブジェクト指向フレームワーク開発手法
- オブジェクト指向によるエアコン制御シミュレータの開発 ( インターネットによるソフトウェア開発環境および一般)
- 優先度つき状態遷移図における経路評価