{"id":"W2106637261","doi":"10.48550/arxiv.1404.7541","title":"An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence","year":2014,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Equivalence (formal languages); Forgetting; Logical equivalence; Computer science; Programming language; Stable model semantics; Mathematics; Theoretical computer science; Algebra over a field; Arithmetic; Discrete mathematics; Pure mathematics; Linguistics; Philosophy; Description logic; Multimodal logic","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.004825085,0.000791745,0.0009793689,0.001367205,0.001047887,0.00264262,0.004150022,0.001255337,0.003938999],"category_scores_gemma":[0.01431159,0.0008972085,0.002693394,0.001508163,0.004366188,0.00852031,0.006172536,0.005371475,0.000609019],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001303385,"about_ca_system_score_gemma":0.001525279,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001367845,"about_ca_topic_score_gemma":0.001491862,"domain_scores_codex":[0.9943879,0.0009714143,0.0004723742,0.001306456,0.002273366,0.0005884474],"domain_scores_gemma":[0.9868382,0.005209115,0.0005382018,0.005857895,0.001240459,0.0003160936],"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.0003641633,0.0002571217,0.0019657,0.0005481881,0.0001352111,0.0005851185,0.001875452,0.03172384,0.01687418,0.7049144,0.002579807,0.2381769],"study_design_scores_gemma":[0.00007119475,0.0001867626,0.0004121546,0.00009261659,0.0002030548,0.000500126,0.0001923594,0.1051454,0.03414048,0.837677,0.02131759,0.00006137804],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02148541,0.0001951647,0.971853,0.0004371396,0.00006116366,0.00009739273,0.0001056252,0.002210113,0.003555061],"genre_scores_gemma":[0.3379732,0.0003140047,0.6541548,0.0008220132,0.000204898,0.0001700703,0.0004999382,0.0009103974,0.00495068],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004825085,"threshold_uncertainty_score":0.02551782,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1387383248776635,"score_gpt":0.2237995108571541,"score_spread":0.08506118597949064,"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."}}