{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001655431,0.0001766375,0.0002968039,0.00004544466,0.0002104397,0.0001708138,0.001049737,0.00007534735,0.000002528049],"category_scores_gemma":[0.0003477645,0.000115683,0.0001647659,0.0003704934,0.000128291,0.0004017411,0.0001177417,0.001065658,0.000004462878],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000220239,"about_ca_system_score_gemma":0.001303172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004332597,"about_ca_topic_score_gemma":0.0007573929,"domain_scores_codex":[0.9974201,0.0001732647,0.0003716137,0.0003053748,0.0002251129,0.001504482],"domain_scores_gemma":[0.9990644,0.0001539633,0.0003011861,0.0002021135,0.000176124,0.0001022329],"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.00007792171,0.00007086628,0.0004119559,0.00001027728,0.0000516988,0.000006802865,0.002299767,0.00002979577,0.0003431251,0.9823802,0.00005639064,0.01426127],"study_design_scores_gemma":[0.0118667,0.009012044,0.001502827,0.0003219817,0.0001606932,0.001335066,0.00637717,0.05868312,0.01209025,0.8237048,0.07347997,0.001465342],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07135646,0.006963329,0.9016328,0.01057891,0.0003406644,0.001760477,0.000002425699,0.000136631,0.007228283],"genre_scores_gemma":[0.9944177,0.0001035487,0.004802376,0.0002499105,0.0001916137,0.00003972451,0.000001086008,0.00001253111,0.0001815107],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9230613,"threshold_uncertainty_score":0.4717417,"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."}}