Sciweavers

Share
JAIR
2008

Sound and Complete Inference Rules for SE-Consequence

10 years 2 months ago
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.
Ka-Shu Wong
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2008
Where JAIR
Authors Ka-Shu Wong
Comments (0)
books