3 papers
cs.SE2001
Model Checking Contractual Protocols
Aspassia Daskalopulu
This paper discusses how model checking, a technique used for the verification of behavioural requirements of dynamic systems, can be usefully deployed for the verification of cont…
cs.AI2001
A Constraint-Driven System for Contract Assembly
Aspassia Daskalopulu, Marek Sergot
We present an approach for modelling the structure and coarse content of legal documents with a view to providing automated support for the drafting of contracts and contract datab…
cs.AI2001
The Representation of Legal Contracts
Aspassia Daskalopulu, Marek Sergot
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 projec…