Non-monotonic logic (0)

by D McDermott, J Doyle
Venue:I, Artificial Intelligence