Generality in artificial intelligence
A Logic for Default Reasoning