{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002634881,0.0003365848,0.0004671549,0.0001741899,0.0004870339,0.000433642,0.002580787,0.0001148767,0.00002504211],"category_scores_gemma":[0.0001591553,0.0001911845,0.0002222591,0.00101301,0.0001963402,0.0009831123,0.0002015077,0.0006143548,0.00006222889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001456267,"about_ca_system_score_gemma":0.0001285537,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002863923,"about_ca_topic_score_gemma":0.000005874207,"domain_scores_codex":[0.9970773,0.0005085671,0.0005993391,0.0004133369,0.000616302,0.0007851213],"domain_scores_gemma":[0.9979346,0.0001756307,0.0004326439,0.0006804006,0.0003893067,0.0003874673],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001415572,0.000933229,0.0002707126,0.00001672304,0.00009723776,0.00004924743,0.01419639,0.00120254,0.0001863724,0.04106504,0.0001523858,0.9416885],"study_design_scores_gemma":[0.01046066,0.04489348,0.02041883,0.0009882691,0.001534314,0.0200262,0.04288391,0.05564692,0.003951499,0.4501741,0.341297,0.007724792],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0381933,0.001384084,0.9456807,0.000888752,0.0004801123,0.000930057,7.417758e-7,0.0002400739,0.01220215],"genre_scores_gemma":[0.7436815,0.00004350634,0.2551682,0.0003415298,0.0004821629,0.00002645941,0.000001057817,0.00001824745,0.0002373964],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9339638,"threshold_uncertainty_score":0.7796278,"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."}}