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

• Type: Conference
• Year: 2005
• Where: ICAIL
• Authors: Nathaniel Love, Michael R. Genesereth
• Keywords: Current Computational Tools, Electronic Commerce, Electronic Commerce Fall, ICAIL 2005