{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002012962,0.000145849,0.0001556454,0.0001380489,0.0003151812,0.000127574,0.0003061928,0.0000677994,0.00001454599],"category_scores_gemma":[0.00002181297,0.0001377064,0.00005758926,0.0004419348,0.0000618058,0.0003723658,0.00002187754,0.0001761616,0.00002375897],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007405273,"about_ca_system_score_gemma":0.00008213166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009341087,"about_ca_topic_score_gemma":0.000177584,"domain_scores_codex":[0.998843,0.00006085612,0.0002597908,0.0003738413,0.0002145826,0.0002479065],"domain_scores_gemma":[0.999222,0.0002973961,0.00005540006,0.0002822347,0.0000816521,0.00006134038],"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.000004586852,0.000203538,0.000508462,0.000007377858,0.000006205617,0.000003755023,0.00009537423,0.768661,0.00002720281,0.2282507,0.00005917136,0.002172553],"study_design_scores_gemma":[0.0002738938,0.00003110326,0.005731964,0.000008663006,0.000006484068,0.0000104774,0.00001134675,0.6472245,0.00006387549,0.346417,0.00009851399,0.0001220844],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02688276,0.0000728716,0.9698123,0.001354618,0.0001703883,0.0001265564,0.000009732352,0.0001431665,0.001427631],"genre_scores_gemma":[0.9081866,0.00001208153,0.091282,0.0001657361,0.0000251814,0.00002230712,0.000009770581,0.000006307157,0.0002900785],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8813038,"threshold_uncertainty_score":0.5615503,"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."}}