Guarded resolution for answer set programming

Details Guarded resolution for answer set programming Guarded resolution for answer set programming

2009-04-25

arxiv.org/abs/0904.3953v4

Computer Science

Artificial Intelligence

13 pages, some results added. Accepted for publication at TPLP

Scientific paper

We describe a variant of resolution rule of proof and show that it is
complete for stable semantics of logic programs. We show applications of this
result.

Affiliated with

Also associated with

No associations

Rating

Guarded resolution for answer set programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Guarded resolution for answer set programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Guarded resolution for answer set programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-671257