Login / Signup
Hercule: Representing and Reasoning about Norms as a Foundation for Declarative Contracts over Blockchain.
Samuel H. Christie V.
Amit K. Chopra
Munindar P. Singh
Published in:
CoRR (2021)
Keyphrases
</>
cooperative
data structure
knowledge representation
supply chain
domain independent
spatial reasoning
databases
e learning
decision trees
high level
similarity measure
relational databases
evolutionary algorithm
formal theory
declarative language