{"id":"W2141088850","doi":"10.1016/s0004-3702(99)00071-5","title":"Using temporal logics to express search control knowledge for planning","year":2000,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":556,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke; University of Toronto","funders":"","keywords":"Computer science; Forward chaining; Domain (mathematical analysis); Domain knowledge; Planner; Automated planning and scheduling; Plan (archaeology); Control (management); Artificial intelligence; Range (aeronautics); Modularity (biology); Theoretical computer science; Machine learning; Expert system; Mathematics; Engineering","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.000800703,0.0001826951,0.0002120462,0.0001241639,0.0004269026,0.0002865926,0.0008665408,0.00009039648,0.00007563254],"category_scores_gemma":[0.00008396434,0.0001807006,0.00007999114,0.0004508841,0.0000506827,0.0002937247,0.0000816348,0.0001801494,0.0002676731],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004790725,"about_ca_system_score_gemma":0.0001207696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001169535,"about_ca_topic_score_gemma":0.00001024556,"domain_scores_codex":[0.998219,0.0001034469,0.0003861293,0.0005124293,0.0001989091,0.0005800568],"domain_scores_gemma":[0.9987136,0.0004889029,0.00004841445,0.0004049713,0.0001504273,0.000193685],"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.0001628974,0.0001277288,0.001037557,0.00003695842,0.00002304614,0.00002819526,0.008645399,0.5621808,0.005504815,0.03033849,0.0007157386,0.3911984],"study_design_scores_gemma":[0.00004758646,0.0002084196,0.00002459216,0.0001054921,0.000006664851,0.000008261299,0.000149753,0.9616513,0.02247983,0.009198193,0.005814473,0.0003054321],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04408639,0.0001876956,0.953585,0.0003809789,0.0002922266,0.0003963502,0.00001128664,0.0001726328,0.0008874675],"genre_scores_gemma":[0.8532366,0.000001268971,0.1459043,0.000365493,0.0002087395,0.00002598283,0.000003280173,0.00001402186,0.0002403031],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8091503,"threshold_uncertainty_score":0.7368757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2188542455742783,"score_gpt":0.3932797970025497,"score_spread":0.1744255514282714,"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."}}