シライ ヤスユキ
  白井 康之   経営学部 経営学科   准教授
■ 標題
  Answer Set Computation based on a Minimal Model Generation Theorem Prover
■ 概要
  
  Yasuyuki Shirai, Ryuzo Hasegawa
  共著   In Proc. of 8th Pacific Rim International Conference on Artificial Intelligence (PRICAI), LNAI 3157, pp 43-52, Springer, August 2004, Auckland, New Zealand      2004/08


Copyright(C) 2011 Daito Bunka University, All rights reserved.