An algorithm is also presented to decide whether a default theory is ordered.
而且，给出了一个判定缺省理论是否有序的可行算法。
The present paper investigates the representability of default theories by means of the set of extensions of a default theory.
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。
The present paper investigates the representability of default theories by means of the set of extensions of a default theory.
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。
应用推荐