{"id":"W1995153384","doi":"10.48550/arxiv.1105.3414","title":"Relating Weight Constraint and Aggregate Programs: Semantics and Representation","year":2011,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Well-founded semantics; Stable model semantics; Semantics (computer science); Constraint (computer-aided design); Computer science; Operational semantics; Representation (politics); Programming language; Set (abstract data type); Aggregate (composite); Theoretical computer science; Mathematics; Denotational semantics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002377728,0.0002502592,0.0002760428,0.0001415053,0.0001898412,0.0001837003,0.0005143132,0.0002488872,0.000006522415],"category_scores_gemma":[0.00005460649,0.0002600304,0.00007914283,0.0002496501,0.0002959587,0.0003438549,0.001648394,0.000414663,0.00001368706],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004785448,"about_ca_system_score_gemma":0.00008517141,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001358037,"about_ca_topic_score_gemma":0.00004360906,"domain_scores_codex":[0.998378,0.0001243727,0.000175899,0.0009835898,0.00006122353,0.0002769643],"domain_scores_gemma":[0.9987063,0.00008498657,0.0002957822,0.00061436,0.0001286306,0.0001699008],"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.00001690185,0.00009384497,0.07640453,0.0001919202,0.0001345962,0.0005016932,0.003785054,0.0002821416,0.0000429742,0.9005301,0.00006272765,0.01795352],"study_design_scores_gemma":[0.001502575,0.0002163087,0.01123121,0.000704197,0.0002674365,0.0001412711,0.0006163015,0.5222983,0.0006231829,0.460474,0.0006312286,0.001293974],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7044435,0.0005007243,0.2684893,0.00007706987,0.0004990555,0.0004950869,0.000002832361,0.0003422877,0.0251502],"genre_scores_gemma":[0.9937856,0.0006644935,0.004488352,0.00001849373,0.00005026388,9.274505e-7,0.000007363926,0.0000112233,0.0009732576],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5220162,"threshold_uncertainty_score":0.9999852,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08438083615240821,"score_gpt":0.1983672698113765,"score_spread":0.1139864336589683,"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."}}