APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMON SENSE ( 1-Dec-2003)