2001/06/07 by Aspassia Daskalopulu, Marek Sergot · 1 citation
Computer Science · #cs.AI #cs.CY
published as AI & Society, vol. 11, Nos 1/2, pp. 6-17, 1997
arxiv created 2001/06/07 · arxiv updated 2009/11/30
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.