{"id":"W2078711049","doi":"10.1016/s0743-1066(99)00074-6","title":"An abductive approach to disjunctive logic programming","year":2000,"lang":"en","type":"article","venue":"The Journal of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Abductive reasoning; Programming language; Computer science; Logic programming; Mathematics; Theoretical computer science; Artificial intelligence","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.004604106,0.0009581954,0.001079316,0.00247248,0.001221771,0.004060639,0.004559489,0.001809282,0.006152004],"category_scores_gemma":[0.01434945,0.001003661,0.001882796,0.002362697,0.003716685,0.005496581,0.003850504,0.004940936,0.0007010027],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001329956,"about_ca_system_score_gemma":0.00149949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003187823,"about_ca_topic_score_gemma":0.005344678,"domain_scores_codex":[0.9961333,0.001276457,0.0003780567,0.000464868,0.001548957,0.0001983569],"domain_scores_gemma":[0.9916461,0.006069058,0.0002433093,0.0008617673,0.001028101,0.0001516716],"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.00009371076,0.0001650432,0.0005243777,0.0003205918,0.0001098977,0.0002424581,0.0005071665,0.0342805,0.001352346,0.7854224,0.003906716,0.1730747],"study_design_scores_gemma":[0.00003530589,0.00002132718,0.00009226694,0.0000973736,0.0000557074,0.0001152112,0.00008971016,0.1871142,0.001106803,0.8042243,0.007029152,0.00001876341],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002419903,0.0005098287,0.9885548,0.001047435,0.00008238252,0.00008325925,0.0000800017,0.0002405228,0.006981911],"genre_scores_gemma":[0.1018415,0.0007444073,0.8926217,0.0004338633,0.000221371,0.0001222092,0.0002119286,0.0000488781,0.003754024],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006152004,"threshold_uncertainty_score":0.02434909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0271003463705564,"score_gpt":0.274029048157347,"score_spread":0.2469287017867906,"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."}}