{"id":"W2002154970","doi":"10.1017/s1471068410000281","title":"A program-level approach to revising logic programs under the answer set semantics","year":2010,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Stable model semantics; Set (abstract data type); Answer set programming; Computer science; Logic program; Analogy; Semantics (computer science); Circumscription; Logic programming; Discrete mathematics; Belief revision; Preference; Programming language; Theoretical computer science; Algorithm; Artificial intelligence; Mathematics; Operational semantics; Epistemology; Philosophy","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.008296142,0.0003361973,0.0003757732,0.00009567721,0.0005029298,0.0007199288,0.001214678,0.000199919,0.00000640454],"category_scores_gemma":[0.002121672,0.0002087219,0.0001229013,0.0008082684,0.0004743418,0.0008422969,0.0006199978,0.0007369464,0.00001883142],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001601196,"about_ca_system_score_gemma":0.00008875281,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001867988,"about_ca_topic_score_gemma":0.000008394013,"domain_scores_codex":[0.9968329,0.0009919357,0.0004341173,0.0006743306,0.000393172,0.0006735501],"domain_scores_gemma":[0.9961786,0.001933615,0.0004098672,0.0009319159,0.0003273592,0.0002186536],"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.00007232889,0.000468882,0.0000650465,0.0000707846,0.00005845705,0.000007991532,0.002811893,0.00000604309,0.0002354717,0.6444528,0.00002485362,0.3517255],"study_design_scores_gemma":[0.001822738,0.003744713,0.00127261,0.0003313962,0.0008417445,0.003513767,0.0166071,0.004667304,0.0009092786,0.6503403,0.3137188,0.002230256],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01212553,0.001881198,0.9298158,0.0045588,0.0006768806,0.002934454,0.000002337631,0.0006708636,0.04733407],"genre_scores_gemma":[0.6194152,0.00002779299,0.3793245,0.0007675759,0.0001427775,0.0001264796,0.000005142546,0.00001689998,0.0001735759],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6072897,"threshold_uncertainty_score":0.8511433,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06849882632326876,"score_gpt":0.3296679072681382,"score_spread":0.2611690809448695,"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."}}