{"id":"W134340496","doi":"","title":"Solving Temporal Constraints in Real Time and in a Dynamic Environment","year":2002,"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 Lethbridge","funders":"","keywords":"Local consistency; Constraint satisfaction problem; Constraint learning; Constraint (computer-aided design); Constraint satisfaction; Constraint satisfaction dual problem; Mathematical optimization; Computer science; Consistency (knowledge bases); Backtracking; Preprocessor; Algorithm; Mathematics; Artificial intelligence; 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.002122823,0.0008450405,0.0007092313,0.0006195006,0.0007536914,0.00143314,0.001680846,0.001142527,0.003372706],"category_scores_gemma":[0.007178173,0.0005172451,0.0009935346,0.001801583,0.001171049,0.003296128,0.001186624,0.001517661,0.0004044491],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008409378,"about_ca_system_score_gemma":0.001873607,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004564307,"about_ca_topic_score_gemma":0.005967641,"domain_scores_codex":[0.9976906,0.0009570564,0.0001151908,0.0004783934,0.0005491994,0.0002095356],"domain_scores_gemma":[0.9947537,0.003854466,0.0004101494,0.0005483488,0.0003342824,0.00009895305],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001834219,0.0001509088,0.0008761592,0.0004464387,0.0001344853,0.0002081539,0.0002762841,0.8067699,0.005226109,0.05925821,0.001879885,0.12459],"study_design_scores_gemma":[0.00005680092,0.000113903,0.000248802,0.00002976817,0.00003303063,0.0001820372,0.0001978607,0.9443777,0.006343565,0.04129106,0.00710341,0.0000219881],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02095759,0.0005349163,0.9758191,0.000307332,0.00003678095,0.00005750193,0.00007706042,0.0003067058,0.001903106],"genre_scores_gemma":[0.2341324,0.001103288,0.7617024,0.0001508484,0.00006897333,0.000171686,0.0003693854,0.0002080103,0.002093125],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004564307,"threshold_uncertainty_score":0.0112828,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009794186294228157,"score_gpt":0.2045410731716332,"score_spread":0.1947468868774051,"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."}}