On the relation between default and modal nonmonotonic reasoning

Alexander Bochman
1998 Artificial Intelligence  
The notion of a default consequence relation is introduced as a generalization of both default and modal formalizations of nonmonotonic reasoning. It is used to study a general problem of correspondence between these two formalisms.
doi:10.1016/s0004-3702(98)00011-3 fatcat:xehewctilbho5ch3vm6wn3zdze