{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002507354,0.0001334121,0.0001883585,0.0003467465,0.00004298005,0.0004200733,0.000194826,0.00004621072,0.00002404873],"category_scores_gemma":[0.00008480671,0.0001197543,0.00003947786,0.00009562472,0.00005912765,0.0004685278,0.0000574555,0.0001426599,0.000005961148],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005828623,"about_ca_system_score_gemma":0.00005888042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001826346,"about_ca_topic_score_gemma":9.386135e-7,"domain_scores_codex":[0.9990726,0.00002987698,0.0004281606,0.0001502474,0.0001933307,0.0001257639],"domain_scores_gemma":[0.9990911,0.0001349861,0.0001831156,0.00007272881,0.0003691328,0.0001489072],"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.00003519784,0.0002169518,0.09601586,0.0005520773,0.0007505273,0.0001198785,0.006248266,0.05269342,0.008581775,0.06593889,0.000976863,0.7678703],"study_design_scores_gemma":[0.0005647047,0.0000928708,0.01184672,0.0006287979,0.00001151241,0.0008175885,0.0002948344,0.9818511,0.0006621184,0.00007331838,0.002915084,0.0002413758],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07860258,0.002027773,0.9167911,0.0002915596,0.001836209,0.0001213186,0.000001549746,0.00003879625,0.0002891229],"genre_scores_gemma":[0.9917613,0.0001797891,0.007783817,0.00002837275,0.0001977998,0.000003827017,8.253083e-7,0.000008467324,0.00003581172],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9291577,"threshold_uncertainty_score":0.4883438,"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."}}