{"id":"W1975880448","doi":"10.1145/502090.502100","title":"Logics with aggregate operators","year":2001,"lang":"en","type":"article","venue":"Journal of the ACM","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":74,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; Bell (Canada)","funders":"","keywords":"Aggregate (composite); Rotation formalisms in three dimensions; Computer science; Class (philosophy); Query language; Set (abstract data type); Theoretical computer science; Relation (database); Deductive database; Mathematics; Programming language; Database; 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.003905231,0.001015618,0.0007517916,0.001873035,0.002109552,0.004282627,0.002292642,0.001247003,0.004313672],"category_scores_gemma":[0.008460006,0.0008420833,0.00299367,0.002922645,0.004508467,0.01311238,0.004859605,0.003951532,0.0007612943],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002341091,"about_ca_system_score_gemma":0.001254293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002966114,"about_ca_topic_score_gemma":0.002415497,"domain_scores_codex":[0.9958884,0.001125917,0.0004080583,0.0008175395,0.001303683,0.0004564758],"domain_scores_gemma":[0.9938075,0.003662389,0.0006740722,0.0009211595,0.0005702227,0.0003646312],"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.00003540987,0.00003409162,0.0003300905,0.0001047385,0.00003010762,0.0001457811,0.000379855,0.004990988,0.001344933,0.973257,0.001215104,0.01813181],"study_design_scores_gemma":[0.00002625341,0.00004433189,0.0001454209,0.00003378013,0.00007189836,0.0002141786,0.0001128799,0.02415367,0.002216026,0.9527496,0.02020705,0.00002501828],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02592067,0.0008149419,0.9394845,0.001681396,0.0001585314,0.0001314309,0.0003246232,0.0009415688,0.03054235],"genre_scores_gemma":[0.4372976,0.001300047,0.5461806,0.001745019,0.0007502301,0.0003418438,0.0006140641,0.0002523751,0.01151816],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004313672,"threshold_uncertainty_score":0.02065313,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01872268061635748,"score_gpt":0.2368956651088596,"score_spread":0.2181729844925021,"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."}}