{"id":"W1550045328","doi":"10.3233/kes-130251","title":"Specifying and solving symbolic and numeric temporal constraints","year":2013,"lang":"en","type":"article","venue":"International Journal of Knowledge-based and Intelligent Engineering Systems","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Computer science; Constraint programming; Constraint (computer-aided design); Representation (politics); Consistency (knowledge bases); Temporal logic; Theoretical computer science; Graph; Temporal database; Variety (cybernetics); Local consistency; Task (project management); Programming language; Constraint satisfaction; Artificial intelligence; Mathematical optimization; Data mining; Mathematics","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.003952239,0.001268886,0.000968547,0.001574028,0.001207358,0.004185456,0.002277949,0.001565776,0.006305892],"category_scores_gemma":[0.01328042,0.0008713366,0.00214518,0.002048339,0.001954864,0.004859981,0.002647913,0.002070152,0.0008408614],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001117265,"about_ca_system_score_gemma":0.003356912,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004908893,"about_ca_topic_score_gemma":0.008913098,"domain_scores_codex":[0.9960881,0.001566501,0.000404143,0.0005718064,0.001141571,0.0002278127],"domain_scores_gemma":[0.9914518,0.006438401,0.0006534819,0.0007343623,0.0005794726,0.0001424782],"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.0001103482,0.0001374097,0.001436376,0.00124667,0.0001359684,0.001179413,0.001002522,0.3276841,0.009456337,0.5117663,0.007822309,0.1380224],"study_design_scores_gemma":[0.00006657341,0.00005157343,0.000256128,0.0002292492,0.00005297996,0.0005420328,0.0005840055,0.6630806,0.01079521,0.272725,0.05153907,0.00007762754],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004660801,0.00009167374,0.9903405,0.000254719,0.00002223543,0.0001049572,0.0003120248,0.0009748275,0.003238311],"genre_scores_gemma":[0.04981318,0.0002747277,0.947096,0.0001006959,0.00002021584,0.0002644488,0.000572846,0.0003606478,0.001497177],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006305892,"threshold_uncertainty_score":0.02109534,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01052608049350543,"score_gpt":0.2243821387620523,"score_spread":0.2138560582685469,"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."}}