{"id":"W2399696728","doi":"10.1609/aaai.v29i1.9402","title":"A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs","year":2015,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Forgetting; Computer science; Logic program; Characterization (materials science); Set (abstract data type); Programming language; Syntax; Atom (system on chip); Inference; Artificial intelligence; Linguistics; Logic programming; Philosophy; Operating system; Physics","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.005156723,0.001079963,0.001136152,0.002229414,0.001214153,0.003548439,0.005470442,0.001603031,0.004257262],"category_scores_gemma":[0.0151228,0.001352016,0.004411147,0.0019898,0.004730757,0.01128591,0.006233057,0.006840178,0.000788014],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001721645,"about_ca_system_score_gemma":0.00171673,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001393001,"about_ca_topic_score_gemma":0.001975356,"domain_scores_codex":[0.9925882,0.001365921,0.0006332216,0.001483829,0.003289261,0.0006395171],"domain_scores_gemma":[0.983427,0.007501676,0.000808304,0.006138522,0.001804687,0.0003197731],"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.0003692087,0.0002414434,0.00225044,0.0007631048,0.0001893291,0.0007223616,0.001897509,0.04481166,0.02082889,0.6991997,0.00365801,0.2250683],"study_design_scores_gemma":[0.00007246568,0.0001466155,0.0004555725,0.0001150499,0.0002643238,0.0005980461,0.0001654946,0.1651613,0.0377792,0.7739008,0.02123931,0.0001018815],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01111147,0.0002370103,0.9840943,0.0003881296,0.00006061683,0.00008317894,0.0001132949,0.001703039,0.002208851],"genre_scores_gemma":[0.216504,0.0005207332,0.7753102,0.0008742517,0.0003168473,0.000213735,0.0006016872,0.00100856,0.00465],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005470442,"threshold_uncertainty_score":0.02727169,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.138961573690154,"score_gpt":0.3008111010752447,"score_spread":0.1618495273850907,"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."}}