SHIRAI Yasuyuki   Faculty of Business Administration Department of Business Management   Professor

■ Title   Answer Set Computation based on a Minimal Model Generation Theorem Prover

■ Outline      Yasuyuki Shirai, Ryuzo Hasegawa   Collaboration   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.