A dedicated connective for rules
? The relevance of a rule’s antecedent for the rule’s consequent
?/? Exceptions to rules
? Poole’s framework for default reasoning
?/? Rule conflicts
? Poole’s framework for default reasoning
?/? Reasoning about rules
? Deriving rules
? Reasoning with facts about rules