{"id":"W2001560360","doi":"10.1145/2480759.2480766","title":"A Model-Theoretic Approach to Belief Change in Answer Set Programming","year":2013,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":46,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; Austrian Science Fund; Deutsche Forschungsgemeinschaft; Technische Universitat Wien","keywords":"Belief revision; Autoepistemic logic; Interpretation (philosophy); Zeroth-order logic; Logic programming; Stable model semantics; Non-monotonic logic; Answer set programming; Propositional calculus; Intermediate logic; Set (abstract data type); Circumscription; Mathematics; Semantics (computer science); Dynamic logic (digital electronics); Operator (biology); Computer science; Logic program; Abstract model theory; Default logic; Theoretical computer science; Discrete mathematics; Artificial intelligence; Multimodal logic; Programming language; Description logic","routes":{"ca_aff":true,"ca_fund":true,"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.009516712,0.0009505652,0.00118734,0.002363731,0.001647414,0.004906144,0.004571511,0.002987492,0.004758446],"category_scores_gemma":[0.02388286,0.0009191079,0.003330682,0.002268821,0.006972685,0.01073801,0.005535081,0.00741719,0.000509895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003877932,"about_ca_system_score_gemma":0.001521658,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001462219,"about_ca_topic_score_gemma":0.001210717,"domain_scores_codex":[0.9907403,0.004218768,0.0003941997,0.001384224,0.002583305,0.0006791102],"domain_scores_gemma":[0.9833408,0.01165054,0.001234889,0.002102823,0.001153359,0.0005176094],"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.00002511839,0.00005731235,0.0002237034,0.0000728384,0.00004437561,0.00006436682,0.0004965591,0.01874653,0.0007869315,0.9658424,0.0006695846,0.01297035],"study_design_scores_gemma":[0.00001725694,0.00004949671,0.00008539476,0.00002859916,0.00002947353,0.00005778088,0.00008958098,0.09933931,0.000750033,0.8961928,0.003338414,0.00002192178],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005535049,0.000323098,0.9876788,0.001891697,0.00006257457,0.00004995598,0.00003876246,0.0001161224,0.004304032],"genre_scores_gemma":[0.4394409,0.0006671466,0.5522982,0.001219151,0.0006492948,0.0004639615,0.0001606544,0.0001386038,0.004962082],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009516712,"threshold_uncertainty_score":0.0503298,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06109427292373652,"score_gpt":0.284544185857898,"score_spread":0.2234499129341615,"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."}}