{"id":"W2059768731","doi":"10.1023/b:aire.0000007179.60276.39","title":"Reasoning with Numeric and Symbolic Time Information","year":2003,"lang":"en","type":"article","venue":"Artificial Intelligence Review","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Regina","funders":"","keywords":"Computer science; Constraint satisfaction problem; Qualitative reasoning; Tabu search; Constraint satisfaction; Constraint satisfaction dual problem; Metric (unit); Constraint (computer-aided design); Scheduling (production processes); Constraint programming; Theoretical computer science; Local consistency; Mathematical optimization; Artificial intelligence; Mathematics; Probabilistic logic","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.003684917,0.0009886548,0.001530109,0.002949897,0.0005769518,0.00461108,0.003250736,0.001615867,0.003757601],"category_scores_gemma":[0.01384313,0.0007742093,0.0017704,0.0058932,0.003103554,0.01008656,0.001499986,0.002804111,0.0007557735],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002347613,"about_ca_system_score_gemma":0.002477967,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00664838,"about_ca_topic_score_gemma":0.008306778,"domain_scores_codex":[0.995912,0.0009397329,0.000420878,0.0004253561,0.00215811,0.0001440278],"domain_scores_gemma":[0.9906971,0.006919782,0.0003725243,0.0007822888,0.001111884,0.0001164443],"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.0000682049,0.00006682519,0.001100574,0.001916367,0.0002613474,0.0001701952,0.0002100394,0.04489389,0.0008866963,0.6008498,0.01417314,0.335403],"study_design_scores_gemma":[0.00002398995,0.00002378724,0.0006221997,0.0003725539,0.00009867645,0.0003044673,0.0001566252,0.0984124,0.001091855,0.843994,0.05485684,0.00004268607],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01047198,0.1246909,0.8090029,0.01108337,0.0007872094,0.00007958779,0.0006932902,0.0003996603,0.04279121],"genre_scores_gemma":[0.217985,0.1800691,0.5864354,0.001782198,0.002481401,0.000208518,0.002444761,0.0001647091,0.008428889],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00664838,"threshold_uncertainty_score":0.01948798,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01452773223888117,"score_gpt":0.2480979524556574,"score_spread":0.2335702202167762,"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."}}