Sound and Complete Inference Rules for SE-Consequence

The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound and complete set of inference rules for SE-consequence on disjunctive logic programs.

• Type: Journal
• Year: 2008
• Where: JAIR
• Authors: Ka-Shu Wong
• Keywords: Answer Set Semantics, JAIR 2008, Logic Program Rules, Logic Programs