人工知能学会誌（1986～2013, Print ISSN:0912-8085）
論理的問題の等価変換による解法(1) : その理論的基礎
1998 年 13 巻 6 号 p. 928-935
詳細
1998 年 13 巻 6 号 p. 928-935
=g. Secondly, it is proved that the set L(P, q) can be transformed into another form f(M(P')), i.e., it is represented by declarative semantics of a program P' determined by P and q. Finally, equivalent transformation (ET) is proposed as a new m
