{"id":"W2148547662","doi":"10.1109/iccl.1988.13077","title":"Array theory, logic and the Nial language","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Logic programming; Functional programming; Semantics (computer science); Nial; Programming language; Basis (linear algebra); Functional logic programming; Programming paradigm; Artificial intelligence; Theoretical computer science; Inductive programming; Mathematics","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.0008383614,0.00006393814,0.00008496833,0.00001499263,0.00009372587,0.0001483081,0.0002779817,0.00002819719,0.00004526789],"category_scores_gemma":[0.00006620352,0.00002970424,0.00003032242,0.00008890384,0.00009108616,0.00007747288,0.00003821842,0.00005315601,0.0000779012],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004130198,"about_ca_system_score_gemma":0.00001274378,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004332195,"about_ca_topic_score_gemma":0.00001513454,"domain_scores_codex":[0.9993179,0.0002104857,0.00007985844,0.0001555278,0.00009385935,0.0001423558],"domain_scores_gemma":[0.9995233,0.0001208114,0.00002838984,0.0002800575,0.00001395698,0.00003350164],"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.000002089805,0.000006991785,0.00008911928,0.00000193505,0.000004825326,0.000003487189,0.0014198,2.342507e-7,0.00006954624,0.9925212,0.0001618804,0.005718874],"study_design_scores_gemma":[0.001147871,0.000064026,0.0001519874,8.869671e-7,0.000006644171,0.00009950885,0.0008734347,0.0001937321,0.002300011,0.9486199,0.04636839,0.0001735876],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009916436,0.0005743508,0.7521778,0.0003561593,0.000282332,0.0001329842,4.235958e-8,0.0000988981,0.2453857],"genre_scores_gemma":[0.9914331,0.000004023723,0.002946441,0.0006056772,0.00004797134,0.000008211508,1.332745e-7,0.000002442538,0.004951986],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9904414,"threshold_uncertainty_score":0.1430139,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01277445811844449,"score_gpt":0.2345933137644212,"score_spread":0.2218188556459768,"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."}}