Declarative smart contracts.

Haoxian Chen Gerald Whitters Mohammad Javad Amiri Yuepeng Wang Boon Thau Loo

Published in: ESEC/SIGSOFT FSE (2022)

Keyphrases

supply chain
knowledge representation
artificial intelligence
expert systems
smart environments
declarative language
high level
databases
knowledge base
smart spaces
declarative knowledge