A Formal Language for Writing Contracts.

William M. Farmer Qian Hu

Published in: IRI (2016)

Keyphrases

formal language
formal semantics
natural language interface
natural language
representation language
supply chain
formal languages
artificial intelligence
knowledge base
database
databases
expert systems
fine grained
access control policies