SATソルバと後ろ向き推論によるアクション言語Aの実装

• 鍋島 英知

• 坂田 史郎

• 井上 克巳

Bibliographic Information

Other Title

• SAT ソルバ ト ウシロ ムキ スイロン ニ ヨル アクション ゲンゴ A ノ ジッソウ
• 2000年度人工知能学会全国大会(第14回) ; 探索・推論
• 2000ネンド ジンコウ チノウ ガッカイ ゼンコク タイカイ ダイ14カイ ; タンサク スイロン

Journal

• 人工知能学会全国大会論文集

  人工知能学会全国大会論文集 14 104-107, 2000

  東京 : 人工知能学会

Details

• CRID: 1520009409788913024
• NII Article ID: 10009928752
• NII Book ID: AN10258229
• ISSN: 09144293
• NDL BIB ID: 5604410
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I5604410
• Text Lang: ja
• NDL Source Classification:
  • ZM1(科学技術--科学技術一般)
• Data Source:
  • NDL
  • CiNii Articles