Sciweavers

Share
AAAI
2010

Ordered Completion for First-Order Logic Programs on Finite Structures

8 years 11 months ago
Ordered Completion for First-Order Logic Programs on Finite Structures
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introduce ordered completions which are modifications of Clark's completions with some extra predicates added to keep track of the derivation order, and show that on finite structures, classical models of the ordered-completion of a normal logic program correspond exactly to the answer sets (stable models) of the logic program.
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2010
Where AAAI
Authors Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
Comments (0)
books