{"id":"W2964029271","doi":"10.1017/s147106841100038x","title":"Relating weight constraint and aggregate programs: Semantics and representation","year":2011,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Stable model semantics; Well-founded semantics; Semantics (computer science); Computer science; Constraint (computer-aided design); Operational semantics; Programming language; Representation (politics); Set (abstract data type); Theoretical computer science; Logic programming; Aggregate (composite); Denotational semantics; Mathematics","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.002831851,0.0001401747,0.0001930046,0.00005532233,0.000199099,0.0001424671,0.0001544428,0.00008436918,0.000004296836],"category_scores_gemma":[0.00155736,0.0001115691,0.0000257863,0.0001688194,0.0004276613,0.0009307581,0.0002400754,0.0001781016,0.000001538711],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005517942,"about_ca_system_score_gemma":0.00002218353,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000235368,"about_ca_topic_score_gemma":0.000002305691,"domain_scores_codex":[0.9984931,0.0005595676,0.0002518316,0.0003482669,0.0001166352,0.0002305818],"domain_scores_gemma":[0.9979044,0.001303465,0.0003651165,0.0002227902,0.0001062701,0.0000980101],"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.00006100161,0.00006395736,0.001705149,0.00004912498,0.00002800176,0.00002765547,0.008124858,6.926162e-8,0.0001472327,0.5633041,9.940403e-7,0.4264879],"study_design_scores_gemma":[0.001736807,0.001864424,0.002441478,0.0004408512,0.0003519039,0.003133581,0.01571382,0.002421506,0.0039939,0.9609499,0.006144729,0.000807127],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3110044,0.01844859,0.513383,0.001280172,0.0004889573,0.001762014,0.000001551493,0.0006345757,0.1529967],"genre_scores_gemma":[0.8467534,0.0004378658,0.1526505,0.0000548902,0.00002534051,0.00001146668,0.00000107787,0.000005747478,0.00005972158],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.535749,"threshold_uncertainty_score":0.4549656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04945355396791649,"score_gpt":0.2932697694423416,"score_spread":0.2438162154744251,"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."}}