{"id":"W150743059","doi":"","title":"Belief revision of logic programs under answer set semantics","year":2008,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Logic programming; Non-monotonic logic; Belief revision; Stable model semantics; Autoepistemic logic; Answer set programming; Circumscription; Default logic; Well-founded semantics; Computer science; Computational logic; Programming language; Intermediate logic; Higher-order logic; Dynamic logic (digital electronics); Theoretical computer science; Semantics (computer science); Zeroth-order logic; Propositional calculus; Formalism (music); Multimodal logic; Description logic; Artificial intelligence; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005188883,0.0006688202,0.0008564338,0.001563929,0.0008830779,0.003916038,0.001882846,0.001461223,0.002003926],"category_scores_gemma":[0.0258318,0.0003902592,0.001908119,0.001255085,0.003593773,0.007334143,0.003246965,0.003157774,0.0002620119],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00198078,"about_ca_system_score_gemma":0.001089598,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001150238,"about_ca_topic_score_gemma":0.0008838801,"domain_scores_codex":[0.9946318,0.001925102,0.0003124166,0.000930669,0.001681182,0.0005187892],"domain_scores_gemma":[0.9818208,0.01248101,0.001687643,0.001884467,0.001648784,0.0004773377],"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.0003033478,0.0001747077,0.001448256,0.0002637158,0.0001249319,0.0003639504,0.001583228,0.0618474,0.006262064,0.8427426,0.001264177,0.08362161],"study_design_scores_gemma":[0.00005302537,0.0001314088,0.0003663859,0.00003775037,0.00007441324,0.0001555978,0.0001604663,0.3096246,0.004729723,0.682857,0.001770505,0.0000391619],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08330701,0.0002888774,0.9104337,0.0009844697,0.00005692057,0.00009980197,0.00007868864,0.0005014404,0.00424922],"genre_scores_gemma":[0.7698252,0.0002467903,0.2263941,0.0003606816,0.0001858936,0.0001787038,0.0001809621,0.00008856711,0.002539117],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005188883,"threshold_uncertainty_score":0.02744174,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05219998354239883,"score_gpt":0.2726289060955931,"score_spread":0.2204289225531943,"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."}}