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

Dov Gabbay, David Pearce, Agustí n Valverde

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…