人工知能基本問題研究会

• 資料種別: 雑誌
• タイトル: 人工知能基本問題研究会
• タイトルよみ: ジンコウ チノウ キホン モンダイ ケンキュウカイ
• 巻次・部編番号: 106:2018.3.16・17
• シリーズタイトル: 人工知能学会研究会資料
• 著者標目: 人工知能学会 ジンコウ チノウ ガッカイ
• 出版事項: 東京 : 人工知能学会
• 出版年月日等: 2018
• 出版年（W3CDTF）: 2018
• 刊行巻次・年月次: 56回 (2004年7月25/26日)-
• 大きさ: 26cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn; eng
• NDLC: ZM13
• 一般注記: 本タイトル等は最新号による
• 所蔵機関: 国立国会図書館
• 請求記号: Z14-1667
• 改題前: 継続前; https://ndlsearch.ndl.go.jp/books/R100000002-I000000073840
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000007429400; http://id.ndl.go.jp/bib/000007429400
• 目録規則: 日本目録規則1987年版改訂版

目次

招待講演 ブール論理に基づく,情報システムのテスト・検証のためのアプローチ (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

二分決定グラフを用いた帰納論理プログラミングの解の列挙 (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

ZDDを用いた三角形分割パターンの列挙とその応用に向けて (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

ZDDを用いた組合せテストケースの列挙索引化に関する実験と考察 (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

実数上の非線形制約のためのSMTソルバraSAT (特集 「命題論理の充足可能性問題SATの最新動向」および一般)