Computational Law Law without Lawyers   Lessons Color Code   Black - Lecture Materials   Blue - Readings   Green - Exercises   Red - Assignments   Grey - Comment   Lesson 1 - Computational Law   Lecture 1 - Introduction   Example - Nine Board Tic Tac Toe   Example - Gates   Example - Portico   Reading 1.1 - Computational Law   Reading 1.2 - The British Nationality Act as a Logic Program   Reading 1.3 - The Rule of Law as a Law of Rules   Reading 1.4 - Computer Elected Governor of California   Assignment 1.1 - Nine Board Tic Tac Toe   Assignment 1.2 - Gates   Assignment 1.3 - Portico   Lesson 2 - Ontologies   Lecture 2.1 - Datasets   Lecture 2.2 - Queries   Lecture 2.3 - Updates   Reading 2.1 - Datasets (Chapter 2 in Logic Programming)   Reading 2.2 - Queries (Chapter 3 in Logic Programming)   Reading 2.3 - Updates (Chapter 4 in Logic Programming)   Exercise 2.1 - Likes   Exercise 2.2 - Friends   Exercise 2.3 - Younger   Exercise 2.4 - Sibling   Exercise 2.5 - Syntax   Exercise 2.6 - Safety   Exercise 2.7 - Query Evaluation   Exercise 2.8 - Kinship   Exercise 2.9 - Syntax   Exercise 2.10 - Update Execution   Exercise 2.11 - Kinship   Exercise 2.12 - Travellers   Assignment 2.1 - Nine Board Tic Tac Toe   Assignment 2.2 - Gates   Assignment 2.3 - Portico   Lesson 3 - Definitions   Lecture 3.1 - View Definitions   Lecture 3.2 - Examples   Reading 3.1 - View Definitions (Sections 7.1 - 7.2 in Logic Programming)   Reading 3.2 - Examples (Sections 9.1 - 9.3 in Logic Programming)   Exercise 3.1 - Syntax   Exercise 3.2 - Siblings   Exercise 3.3 - Aunts and Uncles   Exercise 3.4 - Blocks World   Assignment 3.1 - Nine Board Tic Tac Toe   Assignment 3.2 - Gates   Assignment 3.3 - Portico   Lesson 4 - Actions   Lecture 4 - Operation Definitions   Reading 4.1 - Operation Definitions (Chapter 13 in Logic Programming)   Reading 4.2 - Blocks World   Exercise 4.1 - Syntax   Exercise 4.2 - Safety   Exercise 4.3 - Example   Exercise 4.4 - Example   Exercise 4.5 - Blocks World   Assignment 4.1 - Nine Board Tic Tac Toe   Assignment 4.2 - Gates   Assignment 4.3 - Portico   Lesson 5 - Complaw Technology   Lecture 5 - Complaw Technology (Forthcoming)   Example - Portico Worksheet   Example - Portico Wizard   Example - Portico Chatbot   Example - Corpus Legis (Forthcoming)   Reading 5.1 - Sierra   Reading 5.2 - Worksheets (Chapter 16 in Logic Programming)   Reading 5.3 - Wizards (Forthcoming)   Reading 5.4 - Personal Agents (Forthcoming)   Reading 5.5 - Chatbots (Forthcoming)   Reading 5.6 - Eliza   Reading 5.7 - The Eliza Effect   Reading 5.8 - Eliza Meets Parry   Exercise 5.1 - Sierra   Assignment 5.1 - Portico Worksheet   Assignment 5.2 - Portico Wizard   Assignment 5.3 - Portico Chatbot   Assignment 5.4 - Comparison   Lesson 6 - Government Relationship Management   Example - Taxes - Intuit (Sudhir Agarwal)   Example - Building Codes - Symbium (Leila Banijamali)   Example - Spectrum Management (Jameson Dempsey)   Example - Lawsuit Support - DoNotPay (Joshua Browder)   Lesson 7 - Computable Contracts   Lecture 7 - Computable Contracts (Forthcoming)   Reading 7.1 - Computable Contracts   Reading 7.2 - Simplified Loan Agreement   Reading 7.3 - Deals Among Rational Agents (Optional)   Assignment 7.1 - Simplified Loan Agreement   Lesson 8 - Legislation, Enforcement, and Adjudication   Lecture 8 - Legislation and Common Law (Forthcoming)   Example - Pelican Hunters   Assignment 8.1 - Pelican Hunters   Lesson 9 - Legal Informatics   Lecture 8 - Overview of Legal Informatics (Forthcoming)   Reading 8.1 - The Coming of Age of Legal Technology   Reading 8.2 - AI, Work, and 'Outcome-Thinking'   Reading 8.3 - Law's Information Revolution