Reasoning with Prioritized Defaults (1997)

by M Gelfond, T C Son
Venue:In Proc. LPKR ’97, 164–223. LNCS 1471