User-Defined Smart Contracts Using Answer Set Programming
Australian Joint Conference on Advances in Artificial Intelligence (AUS-AI)（2022）
Key words
Answer Set Programming,Legal Logic,Model Validation,Ontology,Smart Contract,Verbalisation,Visualisation
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined