Title: Nonmonotonic Reasoning with Defeasible Rules on Feasible and Infeasible Worlds
Subjects: Artificial intelligence