SHIRAI Yasuyuki   Faculty of Business Administration Department of Business Management   Professor

■ Title   Answer Set Computation on a Minimal Model Generation Theorem Prover MM-MGTP

■ Outline      Yasuyuki Shirai and Ryuzo Hasegawa   Collaboration   Dagstuhl Seminar on Nonmonotonic Reasoning, Answer Set Programming and Constraints (Seminar 02381), Dagstuhl, Germany      2002/09

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