The Representation of Legal Contracts
Aspassia Daskalopulu, Marek Sergot

TL;DR
This paper discusses ongoing research on logic-based tools for analyzing and representing legal contracts, focusing on contract formation and performance to enable automated support in complex legal scenarios.
Contribution
It introduces a novel approach to formalize legal contracts using logic-based methods for improved analysis and automation.
Findings
Identification of key representational issues in legal contracts
Potential for automated support tools in contract analysis
Framework applicable to large-scale engineering and trading agreements
Abstract
The paper outlines ongoing research on logic-based tools for the analysis and representation of legal contracts of the kind frequently encountered in large-scale engineering projects and complex, long-term trading agreements. We consider both contract formation and contract performance, in each case identifying the representational issues and the prospects for providing automated support tools.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAI-based Problem Solving and Planning · Logic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation
