Computational Law Diary: What does GPT-3 Mean for Rules as Code?

GPT-3 is a newly announced AI model produced by OpenAI, that is showing some remarkable capabilities. I’m going to give you a quick…

Introducing L4-Docassemble

SMU CClaw brings logic-based legal encodings, defaults and exceptions…

Computational Law Diary: Explainable Legal AI in s(CASP)

So yesterday, I learned about something…

Computational Law Diary: Drooling over Rules as Code

Video of Legislative Drafting Conference Presentation

Drooling over Rules as Code

How Rules as Code Makes Laws Better

Drafting the Rock Paper Scissors Act in s(CASP)

I want to give you an intuition for why Rules as Code in logical tools like s(CASP) makes laws better.

Computational Law Diary: Encoding Covid-19 rules using Basic Event Calculus in s(CASP)

What is Justified Stable Model Constraint Query-Driven Answer Set Programming?

I spent some time today trying to understand where s(CASP) fits into the world of programming languages more generally, and here’s what I think is going on.

s(CASP) as a Rules as Code Tool

OK, I think I’m going to call it. Flora-2 is no longer my favourite tool for doing Rules as Code. My new favourite is s(CASP).

I’m working on a paper for the International Conference on Artificial Intelligence and Law at work, and I’m doing an…