{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002452279,0.0005315148,0.0004616153,0.001732679,0.000678797,0.003491768,0.00162688,0.001226966,0.00418166],"category_scores_gemma":[0.01073329,0.0004101074,0.001155636,0.002307869,0.003183403,0.006030649,0.002728118,0.002031195,0.000367509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001367579,"about_ca_system_score_gemma":0.001434432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003094704,"about_ca_topic_score_gemma":0.001628762,"domain_scores_codex":[0.9961145,0.001248332,0.0002632756,0.0005772602,0.001478007,0.0003185612],"domain_scores_gemma":[0.9933364,0.003813725,0.0007129034,0.0007713991,0.001203763,0.0001618256],"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.00011744,0.0001104254,0.001122669,0.0001479366,0.00004050294,0.0002364214,0.00100118,0.03005807,0.005920813,0.9219776,0.001430344,0.03783662],"study_design_scores_gemma":[0.00002529803,0.00005643094,0.0003076877,0.00005066437,0.00004187489,0.0001231124,0.0002207735,0.2275078,0.008766295,0.7566643,0.006208194,0.00002746654],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04977437,0.0000967825,0.9429582,0.000714663,0.00003410253,0.00009410444,0.0002241926,0.0009991915,0.005104381],"genre_scores_gemma":[0.6788335,0.0002472682,0.3144082,0.0004847428,0.00009410388,0.0003024933,0.000674238,0.0004593394,0.004496052],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00418166,"threshold_uncertainty_score":0.01398903,"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."}}