É o campo da computação que estuda formas de expressão de lógica jurídica em linguagem computacional.