Abstract specification of legal contracts.

Cristian Prisacariu Gerardo Schneider

Published in: ICAIL (2009)

Keyphrases

high level
state machines
state machine
knowledge level
legal knowledge
supply chain
real time
asynchronous circuits
intellectual property
legal reasoning
specification language
case based reasoning
higher level
low level
genetic algorithm
database
legal cases
legal texts
transition systems
abstract interpretation