Rules as contingent rules of inference
? The relevance of a rule’s antecedent for the rule’s consequent
? Exceptions to rules
? In Reiter’s default logic: p : ?e / q
? Rule conflicts
? In Reiter’s default logic: p1 : q / q, p2 : ?q / ?q
? Reasoning about rules
? Deriving rules
? Reasoning with facts about rules