{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002516068,0.001162886,0.0009633941,0.00162488,0.001947335,0.00753734,0.002661878,0.001464482,0.06231113],"category_scores_gemma":[0.006340117,0.0007947516,0.00164617,0.001868043,0.003084073,0.007454971,0.003883851,0.004342963,0.02424618],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002315712,"about_ca_system_score_gemma":0.002268262,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000994647,"about_ca_topic_score_gemma":0.001024546,"domain_scores_codex":[0.9969102,0.0008474514,0.0003575885,0.0006499386,0.0009985471,0.0002363829],"domain_scores_gemma":[0.9962593,0.001853024,0.0002185584,0.0007485038,0.0006813873,0.0002392946],"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.00004128822,0.0000363151,0.0002206418,0.0004325398,0.00002772423,0.00014304,0.0003257072,0.0008735129,0.0005597327,0.8465301,0.0508544,0.09995508],"study_design_scores_gemma":[0.00001954149,0.00001576087,0.00009050746,0.0001684433,0.00001182868,0.0003063501,0.00009316654,0.002018087,0.0005397723,0.578996,0.4177232,0.00001734844],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00213451,0.008104672,0.6226662,0.009486922,0.001562619,0.000392846,0.00264675,0.006320476,0.3466849],"genre_scores_gemma":[0.1170508,0.01554202,0.6387153,0.008631898,0.003026759,0.0009411827,0.006626902,0.002646327,0.2068188],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.06231113,"threshold_uncertainty_score":0.2084515,"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."}}