{"id":"W2056850725","doi":"10.1145/1119439.1119440","title":"Unfolding partiality and disjunctions in stable model semantics","year":2006,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":142,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Partial evaluation; Computer science; Stable model semantics; Semantics (computer science); Modular design; Programming language; Program transformation; Model transformation; Theoretical computer science; Disjunctive normal form; Transformation (genetics); Stability (learning theory); Core (optical fiber); State (computer science); Operational semantics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002404284,0.0006048529,0.0004608088,0.0008059588,0.0006994105,0.001535825,0.001335108,0.0004943172,0.00278494],"category_scores_gemma":[0.004157874,0.0007605394,0.001388154,0.000840782,0.00291973,0.005343448,0.002856727,0.001879915,0.0005054903],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001203011,"about_ca_system_score_gemma":0.001038973,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00197701,"about_ca_topic_score_gemma":0.00300512,"domain_scores_codex":[0.9978588,0.0006660138,0.0001245663,0.0004289275,0.0007362855,0.0001853573],"domain_scores_gemma":[0.9981828,0.0008747171,0.0001166342,0.0005039584,0.0002556676,0.00006612324],"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.0001340152,0.0000637554,0.0009847715,0.0001754312,0.00004981449,0.0001699348,0.001171047,0.03692455,0.008593243,0.8528652,0.0008936785,0.09797457],"study_design_scores_gemma":[0.00003422787,0.0001150466,0.0002872513,0.00005153124,0.00006913487,0.0001536114,0.000234883,0.208923,0.01969451,0.7548564,0.01554599,0.00003461625],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01275497,0.0000575456,0.9844204,0.0001059808,0.00001039875,0.0000351124,0.00003995757,0.0007182654,0.001857552],"genre_scores_gemma":[0.3454171,0.0002474765,0.6499996,0.00012709,0.00004046722,0.0001434128,0.0002986739,0.0004073969,0.003318738],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00278494,"threshold_uncertainty_score":0.01271522,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02826933730030486,"score_gpt":0.2572350780560444,"score_spread":0.2289657407557395,"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."}}