Picture for Agustí n Valverde

Agustí n Valverde

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

Add code
Dec 17, 2010
Viaarxiv icon