Default reasoning, nonmonotonic logics, and the frame problem
APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMON SENSE KNOWLEDGE