Rules
In the following, two types of facts are considered:
There is a rule with antecedent P and consequent Q
There is no exception to the rule with antecedent P and consequent Q
? Verheij, B. (1998). Formalism and interpretation in the logic of law. Review of H. Prakken’s ‘Logical Tools for Modelling Legal Argument’. To appear in Artificial Intelligence and Law.
? Reason-Based Logic