Computational Law
(Stanford Logic Group Definition): The study of formal representations and automated reasoning with laws (governmental regulations, business rules, and contracts) in electronically-mediated domains.

Oodles of links and informatsia.

Stanford Computational Law