スポンサーリンク

Dept. of Computing and Information Technology, Okayama University | 論文

• General Stable Model Semantics and SLDNF Resolution with Non-Safe Rule for Abduction

スポンサーリンク