Theoretical foundations for non-monotonic reasoning in expert systems (1989)

by D M Gabbay
Venue:In Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems