Cumulative Default Logic: in defense of nonmonotonic inference rules (1991)

by G Brewka
Venue:Artificial Intelligence