{"id":"W1998941980","doi":"10.1109/icicisys.2009.5358396","title":"Towards tractable reasoning on temporal projection problems","year":2009,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Disjoint sets; Projection (relational algebra); Computer science; Pairwise comparison; Simple (philosophy); Theoretical computer science; Representation (politics); Graph; Decision problem; Mathematics; Artificial intelligence; Discrete mathematics; Combinatorics; Algorithm","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.006282238,0.001522353,0.001530507,0.002009909,0.001648901,0.005253282,0.002896146,0.00243311,0.00697039],"category_scores_gemma":[0.03398834,0.001424549,0.003328622,0.00330184,0.004187472,0.01239322,0.006060979,0.008282601,0.0008000676],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002987747,"about_ca_system_score_gemma":0.002058411,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004947455,"about_ca_topic_score_gemma":0.006677896,"domain_scores_codex":[0.9924624,0.003693657,0.000366182,0.001050449,0.001938127,0.0004891701],"domain_scores_gemma":[0.972779,0.02382877,0.0007992224,0.001359995,0.0009025513,0.0003304695],"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.00006438994,0.00008903192,0.0003041416,0.0003784768,0.00007779423,0.0003581327,0.0004450947,0.1213329,0.0008083544,0.8476825,0.004179747,0.02427953],"study_design_scores_gemma":[0.00002484325,0.000008883624,0.00004425601,0.00003022203,0.00001391833,0.00005221037,0.00009834491,0.1398481,0.0003089809,0.8567259,0.002836351,0.000008043661],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01197859,0.0006294341,0.9744184,0.003266907,0.00006020003,0.0001357413,0.0003997155,0.0003428418,0.008768163],"genre_scores_gemma":[0.3229215,0.002265129,0.6663657,0.001141559,0.0005714081,0.0004889964,0.00185817,0.0002778738,0.004109664],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00697039,"threshold_uncertainty_score":0.03322405,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01614813501669786,"score_gpt":0.2480502403000962,"score_spread":0.2319021052833984,"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."}}