2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30628The 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.Artificial IntelligenceComputers and SocietyI.2text