{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00480348,0.0004810065,0.0006728467,0.001585577,0.0009626546,0.004258991,0.002335903,0.001245931,0.004138493],"category_scores_gemma":[0.008819259,0.000519192,0.001705225,0.000967531,0.003463842,0.005037966,0.002752037,0.003225233,0.0005125052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002098621,"about_ca_system_score_gemma":0.001625528,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002384804,"about_ca_topic_score_gemma":0.002107355,"domain_scores_codex":[0.995739,0.001661693,0.0002990636,0.0005659199,0.001344295,0.0003901367],"domain_scores_gemma":[0.9946637,0.002351908,0.000348255,0.001051513,0.001384653,0.000199857],"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.00007644248,0.0001039623,0.0005318735,0.0001449987,0.00004274055,0.0002092199,0.001148444,0.02281742,0.0062663,0.9112102,0.001155072,0.05629344],"study_design_scores_gemma":[0.00004440746,0.0001185445,0.0002527399,0.00006696589,0.00008867201,0.0001630968,0.0002219128,0.1901851,0.009543041,0.7810897,0.01817659,0.00004919669],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01037511,0.0001247781,0.9827915,0.0005937748,0.00004615,0.0001294892,0.0000613099,0.0006241752,0.005253735],"genre_scores_gemma":[0.3376138,0.0002275126,0.653991,0.0005477861,0.0002459937,0.0003555244,0.00022583,0.0002910598,0.006501524],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00480348,"threshold_uncertainty_score":0.0254035,"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."}}