{"id":"W3012364298","doi":"10.1017/s1471068420000046","title":"Train Scheduling with Hybrid Answer Set Programming","year":2020,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Answer set programming; Scheduling (production processes); Heuristics; Preprocessor; Job shop scheduling; Mathematical optimization; Distributed computing; Set (abstract data type); Routing (electronic design automation); Artificial intelligence; Programming language; Embedded system; Operating system; 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.001917627,0.0008877192,0.0007523614,0.001049734,0.0005033807,0.001937863,0.001980276,0.00119346,0.005566442],"category_scores_gemma":[0.005408613,0.0004416929,0.00125762,0.001318628,0.001068055,0.001708974,0.001878096,0.00217181,0.0008212411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001117061,"about_ca_system_score_gemma":0.001578507,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003699796,"about_ca_topic_score_gemma":0.004733446,"domain_scores_codex":[0.9981835,0.0008326517,0.0000823973,0.0002528051,0.0004527329,0.0001958208],"domain_scores_gemma":[0.997152,0.001942731,0.0001328007,0.0003421144,0.0003304619,0.00009992384],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002899582,0.0003561166,0.0006923795,0.0001759106,0.00008939303,0.000130826,0.0001623878,0.8102775,0.003382445,0.07666377,0.00613457,0.1016448],"study_design_scores_gemma":[0.00004496808,0.00003886548,0.00006625069,0.00001196272,0.00001223165,0.00001751515,0.00003347162,0.9489143,0.001285586,0.04679372,0.002773982,0.000007052992],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02283129,0.0001398948,0.9672596,0.0006574962,0.00006830697,0.0001356207,0.0003146775,0.002363385,0.006229773],"genre_scores_gemma":[0.2993673,0.0001217178,0.6954853,0.0004813634,0.00006128575,0.0002369898,0.0008092258,0.0002983393,0.003138577],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005566442,"threshold_uncertainty_score":0.01862162,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03509764070194063,"score_gpt":0.2860400346852408,"score_spread":0.2509423939833002,"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."}}