Page 29
17 June 2002
future work:
contract formation
contract formation
•use daml+oil to model the structure of
contracts (clauses, dependencies and constraints between
clauses)
•use deontic logic to model the semantic of
clauses (obligation, permission, prohibition)
•contract
formation: from a contract template to a contract