人工知能学会論文誌 = Transactions of the Japanese Society for Artificial Intelligence : AI

• 資料種別: 雑誌
• タイトル: 人工知能学会論文誌 : AI
• タイトルよみ: ジンコウ チノウ ガッカイ ロンブンシ : AI
• 巻次・部編番号: 16巻 2001年
• 著者標目: 人工知能学会 ジンコウ チノウ ガッカイ ( 00310286 )典拠
• 出版事項: 東京 : 人工知能学会
• 出版年月日等: 2001
• 出版年（W3CDTF）: 2001
• 刊行巻次・年月次: 16巻 (2001)-22巻 (2007)
• 大きさ: 30cm
• 並列タイトル等: Transactions of the Japanese Society for Artificial Intelligence Transactions of the Japanese Society for Artificial Intelligence; Transactions of the Japanese Society for Artificial Intelligence
• その他のタイトル（キー・タイトル）: Jinkou Chinou Gakkai rombunshi (Print)
• ISSN（掲載誌）: 1346-0714
• ISSN-L（掲載誌）: 1346-0714
• 出版地（国名コード）: JP
• 本文の言語コード: jpn; eng
• 著者別名: Japanese Society for Artificial Intelligence; JSAI
• NDLC: ZM13
• 所蔵機関: 国立国会図書館
• 請求記号: Z74-C589
• 改題前: 派生前 : 人工知能学会誌 (ISSN:0912-8085); https://ndlsearch.ndl.go.jp/books/R100000002-I000000050074
• 別の記録形式（ISSN）: 他媒体版 : 1346-8030; http://iss.ndl.go.jp/issn/1346-8030
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000000400907; http://id.ndl.go.jp/bib/000000400907
• 目録規則: 日本目録規則1987年版改訂版

目次

プロダクションシステムにおける動的特性のベリフィケーション

k-確実探査法と動的計画法を用いたMDPs環境の効率的探索法

用例ベースによるテンス・アスペクト・モダリティの日英翻訳

最弱仮説の入出力モード解析に基づく論理プログラムの効率的帰納

確率的制約充足アルゴリズムにおける局所最適構造