{"id":"W3037763758","doi":"10.2139/ssrn.3577239","title":"Spreadsheets for Legal Reasoning: The Continued Promise of Declarative Logic Programming in Law","year":2020,"lang":"en","type":"article","venue":"SSRN Electronic Journal","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Programming language; Declarative programming; Computer science; Logic programming; Deductive reasoning; Law; Artificial intelligence; Political science; Inductive programming; Programming paradigm","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.0153592,0.001085201,0.001422329,0.003143307,0.00131677,0.01380461,0.00618795,0.004401195,0.03740223],"category_scores_gemma":[0.05906859,0.001491768,0.001610129,0.005149544,0.007464864,0.04464633,0.006053645,0.01109401,0.007936473],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002044877,"about_ca_system_score_gemma":0.003231467,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004002374,"about_ca_topic_score_gemma":0.003366152,"domain_scores_codex":[0.9927088,0.003452695,0.0005503389,0.0007178796,0.002338666,0.0002317192],"domain_scores_gemma":[0.9113841,0.06649067,0.001443121,0.0144982,0.004640628,0.00154323],"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.0001557736,0.0001017503,0.0004091002,0.0003267926,0.00005797379,0.00004988625,0.000351944,0.005440287,0.0005276739,0.8119873,0.02856603,0.1520256],"study_design_scores_gemma":[0.00008984083,0.0000286299,0.0001085435,0.0004157061,0.00002269276,0.00005630171,0.0001278289,0.03419459,0.0008850608,0.8725896,0.09142434,0.00005687369],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006305248,0.01034692,0.8966917,0.04369439,0.001068871,0.0001183127,0.0009974054,0.005938928,0.03483817],"genre_scores_gemma":[0.09672854,0.01765397,0.8577055,0.006038301,0.002587043,0.0003439903,0.00147281,0.0022199,0.01524985],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03740223,"threshold_uncertainty_score":0.125123,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01891785872731214,"score_gpt":0.2587676563384473,"score_spread":0.2398497976111351,"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."}}