On the Progression Semantics and Boundedness of Answer Set Programs

In this paper, we propose a progression semantics for firstorder answer set programs. Based on this new semantics, we are able to define the notion of boundedness for answer set programming. We prove that boundedness coincides with the notions of recursion-free and loop-free under program equivalence, and is also equivalent to first-order definability of answer set programs on arbitrary structures.

• Type: Journal
• Year: 2010
• Where: KR
• Authors: Yan Zhang, Yi Zhou
• Keywords: Answer Set, Answer Set Programming, Answer Set Programs, Automated Reasoning, KR 2010