Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case

Details Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case

2010-12-17

arxiv.org/abs/1012.3947v1

Computer Science

Logic in Computer Science

ASPOCP 2010

Scientific paper

Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propositional version of the non-monotonic system of equilibrium logic, establishing weaker or stronger forms of interpolation depending on the precise interpretation of the inference relation. These results also yield a form of interpolation for ground logic programs under the answer sets semantics. For disjunctive logic programs we also study the property of uniform interpolation that is closely related to the concept of variable forgetting.

Affiliated with

Also associated with

No associations

Rating

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case 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 Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-639528