"In this paper, we propose a translation from normal first-order logic programs under the stable modelnsemantics to first-order sentences on finite structures. The translation is done through, what we call,nordered completion which is a modification of Clark's completion with some auxiliary predicates added tonkeep track of the derivation order," scientists writing in the journal Artificial Intelligence report.
展开▼
