{"id":"W12713029","doi":"10.1385/bter:91:1:57","title":"Temporally-expressive planning as constraint satisfaction problems","year":2007,"lang":"en","type":"article","venue":"International Conference on Automated Planning and Scheduling","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Planner; Semantics (computer science); Encoding (memory); Constraint programming; Constraint (computer-aided design); Automated planning and scheduling; Constraint satisfaction; Focus (optics); Scheduling (production processes); Temporal logic; Artificial intelligence; Theoretical computer science; Programming language; Mathematical optimization; 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.001861025,0.001166564,0.0009610302,0.0008642582,0.0009330293,0.002059138,0.001402094,0.001514895,0.007746434],"category_scores_gemma":[0.006719017,0.0007009289,0.001489227,0.002190752,0.001985083,0.002244319,0.002372143,0.001970184,0.000500051],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002226758,"about_ca_system_score_gemma":0.00204417,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01026521,"about_ca_topic_score_gemma":0.014483,"domain_scores_codex":[0.9975194,0.001209214,0.0001590171,0.0004043898,0.0004429245,0.0002649703],"domain_scores_gemma":[0.9955143,0.003700144,0.0002276383,0.0001824915,0.0002422268,0.0001331645],"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.0002429642,0.0001474849,0.0007763548,0.0005474254,0.0001305729,0.0005885207,0.0006092862,0.6986155,0.001538276,0.2414635,0.004805249,0.0505348],"study_design_scores_gemma":[0.0001007605,0.0000559915,0.000202069,0.00005085183,0.0000332699,0.00009195641,0.0002763568,0.6675162,0.0008229633,0.3223014,0.00852639,0.0000218918],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0576507,0.001404636,0.908104,0.002378875,0.000126597,0.000424975,0.001622452,0.001119085,0.02716877],"genre_scores_gemma":[0.4882189,0.001200027,0.4933769,0.0004750516,0.00014582,0.001002524,0.002619497,0.0003175995,0.01264357],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01026521,"threshold_uncertainty_score":0.02591437,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04623718749288479,"score_gpt":0.3259850224904252,"score_spread":0.2797478349975404,"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."}}