{"id":"W2572760676","doi":"","title":"Using metric temporal logic to specify scheduling problems","year":2016,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Temporal logic; Computer science; Linear temporal logic; Formalism (music); Theoretical computer science; Scheduling (production processes); Programming language; Artificial intelligence; Mathematics; Mathematical optimization","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.003208916,0.001185894,0.0006175024,0.001210444,0.0008435718,0.002430701,0.001898107,0.001200379,0.003814222],"category_scores_gemma":[0.009225682,0.0006567699,0.001750178,0.00200574,0.002038092,0.00545599,0.002425005,0.002739132,0.0006524956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002263006,"about_ca_system_score_gemma":0.002693155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006107187,"about_ca_topic_score_gemma":0.00911334,"domain_scores_codex":[0.9967982,0.001316624,0.000417105,0.0003819638,0.0008368875,0.0002492717],"domain_scores_gemma":[0.9965484,0.002096358,0.0003752403,0.0003854412,0.0004212086,0.0001732842],"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.00004216281,0.00004100258,0.0003015823,0.0001575118,0.00003021813,0.0002841587,0.0002835666,0.0922858,0.002069881,0.8772606,0.002066452,0.02517714],"study_design_scores_gemma":[0.00004985682,0.00004506173,0.0000833821,0.00004945359,0.00002511768,0.0001437507,0.00009709535,0.3518891,0.002383001,0.6239746,0.02123154,0.00002810499],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003506731,0.0001342254,0.9910548,0.0005167511,0.00004821362,0.00008610152,0.0002889977,0.0004160178,0.003948216],"genre_scores_gemma":[0.1160393,0.0004341868,0.8791179,0.000398226,0.00009456288,0.0004431068,0.0007991198,0.0001822514,0.002491406],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006107187,"threshold_uncertainty_score":0.01697057,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09561138242305982,"score_gpt":0.3375175428627435,"score_spread":0.2419061604396837,"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."}}