User-Defined Smart Contracts Using Answer Set Programming.

Kevin Purnell Rolf Schwitter

Published in: AI (2022)

Keyphrases

user defined
answer set programming
answer sets
logic programs
logic programming
data types
causal theories
constraint logic programming
query language
haplotype inference
stable model semantics
answer set programs
knowledge base
stable models
orders of magnitude
query processing
preprocessing