{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001460466,0.00007602484,0.00006584985,0.00009508619,0.00009997284,0.0001518523,0.000124344,0.00003980432,0.00007797065],"category_scores_gemma":[0.00001993093,0.00006492824,0.00002941222,0.0002943639,0.000007228343,0.0005414417,0.00001091551,0.00008374496,0.00003750591],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004501022,"about_ca_system_score_gemma":0.00006056812,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006205052,"about_ca_topic_score_gemma":0.00002090038,"domain_scores_codex":[0.9993371,0.00002206691,0.0001242584,0.0002150124,0.0001646027,0.0001369447],"domain_scores_gemma":[0.9996847,0.000007706381,0.00004703426,0.0001704802,0.00004403972,0.0000460562],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006143106,0.00009101468,0.0008029712,0.000003068807,0.000003889264,0.000002526962,0.0003576486,0.003502699,0.0004355896,0.1432361,0.001460118,0.8500983],"study_design_scores_gemma":[0.0008400139,0.0008151857,0.06699207,0.0000683438,0.000005174821,0.00007962662,0.00007751503,0.9056366,0.005650581,0.006331549,0.01301886,0.0004844618],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002527949,0.000004752743,0.8625488,0.002457052,0.0001856123,0.0001761759,2.068775e-7,0.0004240687,0.1316754],"genre_scores_gemma":[0.8942378,0.000005338656,0.1035967,0.0006326301,0.00003553841,0.000005397321,0.000002695071,0.000002740131,0.001481144],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9021339,"threshold_uncertainty_score":0.2647697,"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."}}