Encodings for Equilibrium Logic and Logic Programs with Nested Expressions.

David Pearce, Hans Tompits, Stefan Woltran

Browse the full EPIA paper archive.