A Free Logic for Stable Models with Partial Intensional Functions.

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

Browse the full JELIA paper archive.