{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001896564,0.0001190786,0.0001884664,0.00005061937,0.00009798018,0.00003348856,0.0005561587,0.00007546136,0.00004617263],"category_scores_gemma":[0.00002610084,0.00008133096,0.00008304303,0.0003552283,0.00009218483,0.000194132,0.0002310404,0.00008283034,0.0001251934],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001530224,"about_ca_system_score_gemma":0.00005145444,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002094878,"about_ca_topic_score_gemma":0.00001067325,"domain_scores_codex":[0.9989856,0.00004322963,0.000210345,0.000283974,0.0002363766,0.0002404929],"domain_scores_gemma":[0.999174,0.00004181808,0.00007953396,0.0004831131,0.0001441596,0.00007735168],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000007325928,0.0007037514,0.01476652,0.0001002433,0.00004024258,0.00007003343,0.003220792,0.00006161241,0.0004992941,0.9099395,0.01836932,0.05222139],"study_design_scores_gemma":[0.007417188,0.007981659,0.08962181,0.0009909492,0.0001575327,0.00207911,0.001328739,0.1937663,0.05377453,0.2081037,0.429481,0.005297569],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07016876,0.0006422951,0.8675992,0.0008336552,0.0004469391,0.0003174454,6.758494e-7,0.0003599644,0.05963103],"genre_scores_gemma":[0.9557557,0.000129367,0.04060821,0.0002962763,0.00005389947,0.000001458972,0.000003248429,0.000005888391,0.003145997],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8855869,"threshold_uncertainty_score":0.331658,"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."}}