{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003161098,0.0002495941,0.0003300477,0.00005629051,0.0002403822,0.0002878312,0.0005654435,0.00007086529,0.00001306933],"category_scores_gemma":[0.002182691,0.0001857387,0.00006841792,0.0004438027,0.0002477286,0.001247421,0.0002374101,0.0003558286,0.0000118706],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001269016,"about_ca_system_score_gemma":0.00008714556,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006657177,"about_ca_topic_score_gemma":0.000001129051,"domain_scores_codex":[0.9977024,0.0007037559,0.0003066311,0.0005539964,0.0002731323,0.0004601521],"domain_scores_gemma":[0.9972966,0.001633306,0.000353094,0.0003165724,0.000164029,0.000236355],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004937462,0.0001476388,0.0001510765,0.0001417158,0.00009199034,0.0001669231,0.009287698,0.00003646775,0.0003540833,0.4421575,0.00001354372,0.5469576],"study_design_scores_gemma":[0.009780251,0.01842245,0.0003638185,0.001044522,0.001330799,0.006867608,0.05440167,0.02463846,0.01671646,0.1957172,0.6655933,0.00512343],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01793249,0.002612885,0.9649929,0.003316186,0.0001169717,0.0005947176,0.000001847713,0.0004370475,0.009994945],"genre_scores_gemma":[0.7087453,0.00003908945,0.2903332,0.0007153311,0.0001000988,0.00002297504,0.000003151776,0.00001292287,0.00002791046],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6908128,"threshold_uncertainty_score":0.7574202,"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."}}