On the Properties of Atom Definability and Well-Supportedness in Logic Programming.

Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro, David Pearce, Agustn Valverde

Browse the full EPIA paper archive.