2 papers
cs.LO2014
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
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…
cs.LO2010
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…