A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.

Christos Nomikos Panos Rondogiannis William W. Wadge

Published in: ICLP (2005)

Keyphrases

sufficient conditions
strong equivalence
logic programs
exponential stability
fixed point
asymptotic stability
special case
equilibrium point
stable models
lyapunov function
answer set programming
linear complementarity problem
linear matrix inequality