{"id":"W2406651931","doi":"","title":"On forgetting postulates in answer set programming","year":2015,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Forgetting; Answer set programming; Set (abstract data type); Operator (biology); Computer science; Logic program; Property (philosophy); Theoretical computer science; Logic programming; Programming language; Artificial intelligence","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.000416374,0.00009113782,0.00009900732,0.00007812608,0.00003885748,0.0001247729,0.0003789206,0.00004273155,0.000006143133],"category_scores_gemma":[0.0001584595,0.00006736362,0.00002753494,0.0002801132,0.00001391052,0.0002590294,0.0001489589,0.00008912172,0.0001258535],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000403667,"about_ca_system_score_gemma":0.00004523342,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006820635,"about_ca_topic_score_gemma":0.00009292833,"domain_scores_codex":[0.9991641,0.00003395181,0.0001253443,0.0002477974,0.0001463915,0.0002824023],"domain_scores_gemma":[0.9995083,0.00007078394,0.00003141866,0.0002351073,0.00005629431,0.00009804635],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001729043,0.0003141386,0.07770743,0.00002037892,0.00001504556,0.0001052201,0.0150533,0.0001916098,0.0001169024,0.6532474,0.01042156,0.2427898],"study_design_scores_gemma":[0.007426713,0.003393216,0.04596948,0.0003916262,0.0000177485,0.0001716626,0.003551375,0.4972019,0.01357441,0.2460031,0.1792366,0.003062193],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6566109,0.0003350371,0.117302,0.00158549,0.001130673,0.0005096556,4.802239e-7,0.0008140075,0.2217117],"genre_scores_gemma":[0.9738048,6.249393e-7,0.02487218,0.0002676597,0.00004678627,0.000007661413,0.000001184433,0.000005036338,0.0009941105],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4970103,"threshold_uncertainty_score":0.2747009,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03794572597603977,"score_gpt":0.276879381133437,"score_spread":0.2389336551573973,"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."}}