{"id":"W3040098638","doi":"10.1109/re48521.2020.00049","title":"Symboleo: Towards a Specification Language for Legal Contracts","year":2020,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":54,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Executable; Design by contract; Specification language; Formal specification; Smart contract; Programming language; Ontology; Software engineering; Semantics (computer science); Axiom; Language Of Temporal Ordering Specification; Computer security; Software; Software development; Database transaction","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01170037,0.001354836,0.001211493,0.002856663,0.001746708,0.006646315,0.003252623,0.002975472,0.00785321],"category_scores_gemma":[0.01431022,0.002020978,0.002918153,0.002570297,0.004928421,0.009732258,0.005404672,0.007263892,0.003618385],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002871145,"about_ca_system_score_gemma":0.007580953,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006064706,"about_ca_topic_score_gemma":0.005347895,"domain_scores_codex":[0.9903501,0.00359645,0.001572259,0.0008098467,0.003064268,0.0006070443],"domain_scores_gemma":[0.9908968,0.004741189,0.0009031699,0.001050117,0.001951833,0.0004568194],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00006569539,0.00004771303,0.0003014142,0.0003232247,0.0000224771,0.0002602385,0.001145394,0.007496859,0.003541882,0.9497182,0.01037809,0.02669895],"study_design_scores_gemma":[0.0001399747,0.00008878722,0.0001910276,0.0004781731,0.00004920529,0.0007427943,0.0005450408,0.09577794,0.008959344,0.4099474,0.4829373,0.0001429599],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009715196,0.0001775912,0.990936,0.0008203837,0.0001157135,0.000201012,0.0005584227,0.002318769,0.003900632],"genre_scores_gemma":[0.03232871,0.0008570319,0.9547112,0.0012426,0.0001583311,0.0008831887,0.002608194,0.001538996,0.00567176],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01170037,"threshold_uncertainty_score":0.06187814,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03012364973396586,"score_gpt":0.2636554690119168,"score_spread":0.2335318192779509,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}