1. Nonmonotonic Reasoning: Logical Foundations of Commonsense, Vol. 12;Brewka,1991
2. Nonmonotonic reasoning;Reiter,1988
3. Knowledge and Justification;Pollock,1974
4. Circumscription—a form of non-monotonic reasoning;McCarthy;Artificial Intelligence,1980
5. Logic programs with exceptions;Kowalski;New Gener. Comput.,1991