スポンサーリンク
国立情報学研究所:総合研究大学院大学 | 論文
- 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,先端ソフトウェアツール)
- UMLクラス図の論理プログラミングへの変換によるデバッグについて (テーマ:特集「スキルサイエンス」および一般)
- 人工知能への論理的アプローチにおける学習(機械学習,それが人に及ばざる理由)
- 双対化を用いた新しい極大頻出アイテム集合の計算(「21世紀の知識情報科学に向けて」,及び一般)
- エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
- DL : Description Logics(「哲学とAIにおける対象世界モデリング」〔第6回〕)
- アブダクションによる極小限定プリファレンスの発見
- 特集「定理証明, 推論関係の新技術」にあたって
- 中小規模スタッフスケジューリング問題における調整の容易なスケジュール作成に関する研究
- 「IDEA: 適応のためのインタラクション設計」特集にあたって(IDEA: 適応のためのインタラクション設計)
- 人間と擬人化エージェントによるマインドマッピングの相互適応(IDEA: 適応のためのインタラクション設計)
- Relevance Feedback Document Retrieval using Non-Relevant Documents(Text Mining I)
- 拡張論理プログラムへの意味論的関係に基づく変換による優先順位付き極小限定の計算
- 事例の相対距離による類似度学習とその検索誤り率について
- タブローに基づく論理的帰結発見手続きSOL
- Ripple Down Rules法における近傍事例の積極的活用に関する検討
- 0-1整数計画法を用いた優先順位付き極小限定における極小モデルの計算
- 不完全通信環境下におけるアブダクションによる投機的計算 (テーマ:「インターネットとAI」及び一般)
- 形式手法の潮流 : アーキテクチャへの関心(システム設計のための形式手法の基礎と応用)
- 制約概念を用いるソフトウェアデザイン