{"id":"W2054036244","doi":"10.1145/1806512.1806515","title":"Logic programming","year":2010,"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":"Simon Fraser University","funders":"Simon Fraser University; Universitat Rovira i Virgili; European Commission","keywords":"Computer science; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.000283603,0.00008602744,0.00008934638,0.00004134068,0.00009211607,0.0002634623,0.0006637177,0.00006716526,0.00005802366],"category_scores_gemma":[0.0000303934,0.00005962452,0.00004856604,0.0002037651,0.00003529132,0.0002308029,0.0001448606,0.0001521767,0.0004682314],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005101687,"about_ca_system_score_gemma":0.00002640113,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006855467,"about_ca_topic_score_gemma":0.00008716118,"domain_scores_codex":[0.9991761,0.00001726315,0.0001257764,0.0002563417,0.0001554573,0.000269054],"domain_scores_gemma":[0.9993365,0.00002452183,0.00004178142,0.0004579306,0.00005041063,0.00008886542],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[1.997679e-7,0.00002469573,0.0008491097,0.000003485035,0.00000261627,0.000007363896,0.00009651446,1.77939e-7,0.0005009437,0.8446564,0.0003184494,0.15354],"study_design_scores_gemma":[0.0002628528,0.000140314,0.001094258,7.62175e-7,0.000003276209,0.0001124963,0.00004667736,0.002950137,0.002251215,0.1365113,0.8562949,0.0003319122],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001772873,0.00003001701,0.9140184,0.0005231745,0.001390474,0.0001871184,2.510786e-8,0.0006883747,0.08138958],"genre_scores_gemma":[0.9130828,5.988157e-7,0.08408071,0.0002121125,0.0001411175,0.00001890825,5.235773e-7,0.000004144341,0.002459083],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.91131,"threshold_uncertainty_score":0.6018323,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0247539879056617,"score_gpt":0.2581092193884084,"score_spread":0.2333552314827467,"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."}}