{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000219281,0.0002200675,0.0002041731,0.0003337853,0.0001959909,0.000181591,0.0008943233,0.0000973487,0.00004805807],"category_scores_gemma":[0.00002933995,0.0001943747,0.00009547072,0.0008254501,0.00005765322,0.0004871385,0.00003710989,0.0002438405,0.0003752702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009704497,"about_ca_system_score_gemma":0.00006665019,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000768109,"about_ca_topic_score_gemma":0.00002078061,"domain_scores_codex":[0.9983252,0.00008873502,0.0002713643,0.0005758799,0.0003302598,0.0004085461],"domain_scores_gemma":[0.9989763,0.00019343,0.00005172524,0.0004537147,0.0001565682,0.000168208],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001165508,0.0009491427,0.0001427268,0.00003305874,0.00002298377,0.000005265157,0.006134407,0.61857,0.00001350784,0.2305031,0.000148262,0.1434658],"study_design_scores_gemma":[0.0003423255,0.0001642041,0.002492147,0.00001911617,0.000005322444,0.00001989892,0.00005381896,0.8291731,0.0000127349,0.1673105,0.0001534239,0.0002534247],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007115841,0.00004300266,0.9872185,0.00184929,0.0001595241,0.0008334902,0.000005658409,0.0002172682,0.002557424],"genre_scores_gemma":[0.6680886,0.000003123023,0.3301286,0.001090832,0.00003099763,0.0005469008,0.00001127815,0.000009975043,0.00008965355],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6609728,"threshold_uncertainty_score":0.7926372,"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."}}