Sign in
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:
IEEE Internet Comput. (2021)
Keyphrases
</>
high level
databases
knowledge representation
spatial reasoning
declarative language
decision making
supply chain
domain independent
qualitative reasoning
feature selection
reinforcement learning
search algorithm
theoretical foundation
graphical representation
cognitive agents
formal theory