{"id":"W2748627688","doi":"10.1007/978-3-319-66167-4_6","title":"Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions","year":2017,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Satisfiability; Cardinality (data modeling); Integer programming; Scalability; Answer set programming; Set (abstract data type); Integer (computer science); Automated reasoning; Theoretical computer science; Linear programming; Architecture; Column generation; Mathematical optimization; Algorithm; Programming language; Mathematics; Data mining","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.01267201,0.001621155,0.002100229,0.002644383,0.002794156,0.01130922,0.007443664,0.00411575,0.01265431],"category_scores_gemma":[0.04497562,0.003585916,0.004591119,0.00287265,0.01070435,0.04690026,0.01375869,0.01488288,0.002007331],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00351135,"about_ca_system_score_gemma":0.002412705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004792278,"about_ca_topic_score_gemma":0.004607995,"domain_scores_codex":[0.9857301,0.005991568,0.001217254,0.001985808,0.004065799,0.001009544],"domain_scores_gemma":[0.9613447,0.03088425,0.0006873202,0.004720198,0.001573171,0.0007905018],"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.00007385359,0.00003063279,0.0001954673,0.0002302195,0.00004580599,0.0001390108,0.0008001111,0.007030548,0.0006219855,0.9578042,0.004238245,0.02879006],"study_design_scores_gemma":[0.00001459174,0.000007006207,0.00004072944,0.00009300054,0.00002549325,0.00004663757,0.0001382152,0.01568065,0.0006755404,0.974947,0.008314386,0.00001687059],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01531369,0.00230141,0.9300957,0.008114364,0.0004442945,0.0001327623,0.0005286548,0.001252476,0.04181668],"genre_scores_gemma":[0.3421063,0.003028,0.6352209,0.002674039,0.0008850581,0.0003022607,0.001819951,0.001226397,0.01273706],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01267201,"threshold_uncertainty_score":0.06701678,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02575937911584406,"score_gpt":0.277529945164877,"score_spread":0.2517705660490329,"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."}}