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.
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
CTR/CTR-S
A.J. Bonner, M. Kifer: Concurrency and communication in transaction logic. Joint International Conference and Symposium on Logic Programming, 1996;
H. Davulcu, M. Kifer, C.R. Ramakrishnan, I.V. Ramakrishnan: Logic based modeling and analysis of workflows. ACM Symposium on Principles of Database Systems, 1998;
P. Senkul, M. Kifer, I.H. Toroslu: A logical framework for scheduling workflows under resource allocation constraints. VLDB 2002;
H. Davulcu, M. Kifer, I.V. Ramakrishnan: CTR-S: A logic for specifying contracts in semantic web services. WWW2004.
A.J. Bonner, M. Kifer: Concurrency and communication in transaction logic. Joint International Conference and Symposium on Logic Programming, 1996;
H. Davulcu, M. Kifer, C.R. Ramakrishnan, I.V. Ramakrishnan: Logic based modeling and analysis of workflows. ACM Symposium on Principles of Database Systems, 1998;
P. Senkul, M. Kifer, I.H. Toroslu: A logical framework for scheduling workflows under resource allocation constraints. VLDB 2002;
H. Davulcu, M. Kifer, I.V. Ramakrishnan: CTR-S: A logic for specifying contracts in semantic web services. WWW2004.
Petri Nets/Workflow Nets
Workflow Patterns;
W.M.P. van der Aalst: The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 1998;
W.M.P. van der Aalst: Making work flow: On the application of petri nets to business process management. Lecture Notes in Computer Science, 2002;
W.M.P. van der Aalst, A.H.M. ter Hofstede: YAWL: Yet another workflow language. Information Systems, 2005;
N.R. Adam, V. Atluri, W.-K. Huang: Modeling and analysis of workflows using petri nets. Journal of Intelligent Information Systems, 1998;
W.M.P. van der Aalst: Verification of Workflow Nets. International Conference on Application and Theory of Petri Nets, 1997.
Workflow Patterns;
W.M.P. van der Aalst: The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 1998;
W.M.P. van der Aalst: Making work flow: On the application of petri nets to business process management. Lecture Notes in Computer Science, 2002;
W.M.P. van der Aalst, A.H.M. ter Hofstede: YAWL: Yet another workflow language. Information Systems, 2005;
N.R. Adam, V. Atluri, W.-K. Huang: Modeling and analysis of workflows using petri nets. Journal of Intelligent Information Systems, 1998;
W.M.P. van der Aalst: Verification of Workflow Nets. International Conference on Application and Theory of Petri Nets, 1997.
Event Algebra
M.P. Singh: Semantical considerations on workflows: An algebra for intertask dependencies. International Workshop on Database Programming Languages, 1995;
M.P. Singh: Synthesizing distributed constrained events from transactional workflow specifications. IEEE International Conference on Data Engineering, 1996.
M.P. Singh: Semantical considerations on workflows: An algebra for intertask dependencies. International Workshop on Database Programming Languages, 1995;
M.P. Singh: Synthesizing distributed constrained events from transactional workflow specifications. IEEE International Conference on Data Engineering, 1996.
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.
J.C.M. Baeten, W.P. Weijland: Process Algebra. Cambridge tracts in theoretical computer science, 1990.
Temporal Logic
J. Chomicki, D. Toman: Temporal logic in informationi systems. Logics for Databases and Information Systems, 1998;
P. Attie, M. Singh, A. Sheth, M. Rusinkiewicz: Specifying and enforcing intertask dependencies. VLDB 1993.
J. Chomicki, D. Toman: Temporal logic in informationi systems. Logics for Databases and Information Systems, 1998;
P. Attie, M. Singh, A. Sheth, M. Rusinkiewicz: Specifying and enforcing intertask dependencies. VLDB 1993.
State Machines
Abstract State Machines
E. Borger, A. Cavarra, E. Riccobene: An ASM Semantics for UML Activity Diagrams. International Conference on Algebraic Methodology and Software Technology, 2000;
General knowledge about ASM. Umich.
E. Borger, A. Cavarra, E. Riccobene: An ASM Semantics for UML Activity Diagrams. International Conference on Algebraic Methodology and Software Technology, 2000;
General knowledge about ASM. Umich.
Process Specification Language
General knowledge about PSL.
General knowledge about PSL.
Situation Calculus/State Calculus
J. McCarthy, P.J. Hayes: Some philosophical problems from the standpoint of Artificial Intelligence. Machine Intelligence 4, 1969.
J. McCarthy, P.J. Hayes: Some philosophical problems from the standpoint of Artificial Intelligence. Machine Intelligence 4, 1969.
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)
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
Findlaw
U.S. Federal Law and U.S. State Laws, plus additional legal resources
U.S. Federal Law and U.S. State Laws, plus additional legal resources
Thomas
U.S. Congress Legislative Information Site
U.S. Congress Legislative Information Site
U.S. Code: Statutes
GPO's U.S. Code archive in searchable text
GPO's U.S. Code archive in searchable text
U.S. Code of Federal Regulations
GPO's Code of Federal Regulations in searchable text
GPO's Code of Federal Regulations in searchable text
California Code: Statutes
California code, statutes, and constitution
California code, statutes, and constitution
California Code of Regulations
Regulations formally adopted by California's 200 regulatory agencies
Regulations formally adopted by California's 200 regulatory agencies
U.S. Supreme Court
Supreme Court decisions and docket
Supreme Court decisions and docket
Computational Law Tools
Legal XML
Organization creating standards for electronic exchange of legal data
Organization creating standards for electronic exchange of legal data
Creative Commons
Custom-generated copyright licenses for internet content
Custom-generated copyright licenses for internet content
Nolo
Legal software and forms, as well as legal resource books
Legal software and forms, as well as legal resource books
IRS Free File
IRS Online Tax Preparation Resources
IRS Online Tax Preparation Resources
LegacyWriter
Online Estate Planning tool example
Online Estate Planning tool example
Research in AI and Law
IAAIL
International Association for AI and Law
International Association for AI and Law
CodeX
Stanford Center for Computers and Law
Stanford Center for Computers and Law
Computers and Law
Stanford seminar course on computational law
Stanford seminar course on computational law
Regnet
Stanford project to enhance regulation accessibilty through structured, machine-processable formatting
Stanford project to enhance regulation accessibilty through structured, machine-processable formatting
AAAI Law Links
Variety of links to AI and Law papers
Variety of links to AI and Law papers
Legal Machines
Rensselaer Polytechnic Institute AI and Law Manifesto
Rensselaer Polytechnic Institute AI and Law Manifesto