22 citations · 34 across the 4 of their papers we have counts for
4 papers
Modelling Legal Contracts as Processes
Aspassia Daskalopulu
This paper concentrates on the representation of the legal relations that obtain between parties once they have entered a contractual agreement and their evolution as the agreement…
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…
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…
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…