Propositional theories are strongly equivalent to logic programs

Details Propositional theories are strongly equivalent to logic programs Propositional theories are strongly equivalent to logic programs

2007-01-16

arxiv.org/abs/cs/0701095v1

Computer Science

Artificial Intelligence

15 pages

Scientific paper

This paper presents a property of propositional theories under the answer sets semantics (called Equilibrium Logic for this general syntax): any theory can always be reexpressed as a strongly equivalent disjunctive logic program, possibly with negation in the head. We provide two different proofs for this result: one involving a syntactic transformation, and one that constructs a program starting from the countermodels of the theory in the intermediate logic of here-and-there.

Affiliated with

Also associated with

No associations

Rating

Propositional theories are strongly equivalent to logic programs 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 Propositional theories are strongly equivalent to logic programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Propositional theories are strongly equivalent to logic programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-188700