Sciweavers

ICAIL
2005
ACM

Computational Law

14 years 4 months ago
Computational Law
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallymediated actions. Current computational tools for electronic commerce fall short of the demands of business, organizations, and individuals conducting complex transactions over the web. However, the growth of semantic data in the world of electronic commerce and online transactions, coupled with grounded rulesets that explicitly reference that data, provides a setting where applying automated reasoning to law can yield fruitful results, reducing inefficiencies, enabling transactions and empowering individuals with knowledge of how laws affect their behavior. Categories and Subject Descriptors I.2.4 [Artificial Intelligence]: Knowledge Representation Formalisms and Methods—relation systems, representations; F.4.1 [Theory of Computation]: Mathematical Logic— computational logic
Nathaniel Love, Michael R. Genesereth
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where ICAIL
Authors Nathaniel Love, Michael R. Genesereth
Comments (0)