{"id":"W2058110750","doi":"10.1016/s0743-1066(99)00071-0","title":"Abducing through negation as failure: stable models within the independent choice logic","year":2000,"lang":"en","type":"article","venue":"The Journal of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":103,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Negation; Stable model semantics; Semantics (computer science); Proposition; Logic program; Computer science; Programming language; Higher-order logic; Set (abstract data type); Circumscription; Simple (philosophy); Theoretical computer science; Non-monotonic logic; Game semantics; Logic programming; Mathematics; Description logic; Epistemology; Operational semantics; Denotational semantics","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.003043138,0.0002280434,0.0002843741,0.00005526739,0.000661139,0.0004901626,0.002052786,0.0001029555,0.0000612198],"category_scores_gemma":[0.0001989021,0.0001095678,0.000154303,0.0005671472,0.000127941,0.001478697,0.0002030397,0.0007248148,0.00005503044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00011553,"about_ca_system_score_gemma":0.0001844866,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002150179,"about_ca_topic_score_gemma":0.00007658671,"domain_scores_codex":[0.9975625,0.0004250318,0.0006095507,0.0002341212,0.0006943527,0.0004744203],"domain_scores_gemma":[0.9980202,0.0004069895,0.0006730884,0.0005492308,0.0002530492,0.00009738885],"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.0001595145,0.0005583349,0.0004715102,0.00005434445,0.000286423,0.0001422264,0.05492112,0.1253067,0.0008242246,0.4765216,0.00142741,0.3393266],"study_design_scores_gemma":[0.001535334,0.001291961,0.0005036068,0.0002342516,0.0001857137,0.002899396,0.003285249,0.07509162,0.001795997,0.8908703,0.02166567,0.0006408462],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1147338,0.004820846,0.8515945,0.00757349,0.0008827786,0.0007651308,5.181508e-7,0.0002072491,0.0194217],"genre_scores_gemma":[0.9624177,0.000163558,0.03570784,0.0007852279,0.0003581346,0.000008081798,4.333625e-7,0.00001252552,0.0005464532],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.847684,"threshold_uncertainty_score":0.5085014,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03285870710316814,"score_gpt":0.2698132210536349,"score_spread":0.2369545139504667,"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."}}