Stanford Computational Law
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.
Frameworks being investigated
Propositional Nets
Process Algebra (including Pi Calculus, Calculus of Communicating Systems)
J.C.M. Baeten, W.P. Weijland: Process Algebra. Cambridge tracts in theoretical computer science, 1990.
State Machines
Process Specification Language
General knowledge about PSL.
People involved from Stanford Logic Group
Michael Genesereth (Professor)

Nathaniel Love (PhD Student)

Charles Petrie (Research Scientist)

Dumitru Roman (Visiting PhD Student from DERI)

Harry Surden (Fellow at Stanford Codex Center)

Evan Fanfan Zeng (PhD Student)
Online Legal Sources
U.S. Federal Law and U.S. State Laws, plus additional legal resources
U.S. Congress Legislative Information Site
U.S. Code: Statutes
GPO's U.S. Code archive in searchable text
U.S. Code of Federal Regulations
GPO's Code of Federal Regulations in searchable text
California Code: Statutes
California code, statutes, and constitution
California Code of Regulations
Regulations formally adopted by California's 200 regulatory agencies
U.S. Supreme Court
Supreme Court decisions and docket
Computational Law Tools
Legal XML
Organization creating standards for electronic exchange of legal data
Creative Commons
Custom-generated copyright licenses for internet content
Legal software and forms, as well as legal resource books
IRS Free File
IRS Online Tax Preparation Resources
Online Estate Planning tool example
Research in AI and Law
International Association for AI and Law
Stanford Center for Computers and Law
Computers and Law
Stanford seminar course on computational law
Stanford project to enhance regulation accessibilty through structured, machine-processable formatting
AAAI Law Links
Variety of links to AI and Law papers
Legal Machines
Rensselaer Polytechnic Institute AI and Law Manifesto