precedent-based-reasoning.ipynb: Implementation of constraint-based reasoning described in The Logic of Precedent: Constraint and Freedom in Common Law Reasoning by J. Horty.
precedent-based-reasoning.ipynb: Implementation of constraint-based reasoning described in The Logic of Precedent: Constraint and Freedom in Common Law Reasoning by J. Horty.