Reasoning in Attempto Controlled English: Non-monotonicity

RACE is a first-order reasoner with equality for Attempto Controlled English ACE that can show the consistency of a set of ACE axioms and deduce ACE theorems and ACE queries from ACE axioms. This paper presents various forms of non-monotonic reasoning.